File information

• Filename: coq-doc-html_8.20.0-2_all.deb
• Path: /raspbian/pool/non-free/c/coq-doc/coq-doc-html_8.20.0-2_all.deb
• Size: 1.6M (1712376 bytes)
• Last modified: Fri, 24 Jan 2025 02:58:15 GMT (Unix time: 1737687495)

Download file from preferred mirror

Reliable downloads

Mirrors

List of best mirrors for IP address 216.73.216.117, located at 34.747101,-118.368698 in United States (US).

Map showing the closest mirrors