File information

• Filename: debian-coq-tools_0.8_all.deb
• Path: /raspbian/pool/main/d/dh-coq/debian-coq-tools_0.8_all.deb
• Size: 7.2K (7416 bytes)
• Last modified: Wed, 31 Jan 2024 16:23:37 GMT (Unix time: 1706718217)

Download file from preferred mirror

Reliable downloads

Mirrors

List of best mirrors for IP address 3.17.166.2, located at 39.965302,-83.023499 in United States (US).

Map showing the closest mirrors