File information
- Filename: libcoq-ocaml-dev_8.12.0-3+b2_armhf.deb
- Path: /raspbian/pool/main/c/coq/libcoq-ocaml-dev_8.12.0-3+b2_armhf.deb
- Size: 18M (19075512 bytes)
- Last modified: Thu, 03 Dec 2020 17:49:09 GMT (Unix time: 1607017749)
Download file from preferred mirror