File information
- Filename: libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb
- Path: /raspbian/pool/main/c/coq/libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb
- Size: 21M (22121064 bytes)
- Last modified: Sat, 20 May 2023 16:08:03 GMT (Unix time: 1684598883)
Download file from preferred mirror