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