File information
- Filename: coq-doc-html_8.16.1-1_all.deb
- Path: /raspbian/pool/non-free/c/coq-doc/coq-doc-html_8.16.1-1_all.deb
- Size: 1.5M (1583152 bytes)
- Last modified: Sat, 10 Dec 2022 03:28:53 GMT (Unix time: 1670642933)
Download file from preferred mirror