Mirror List

Mirrors for coq-simple-io_1.11.0.orig.tar.gz

File information

Filename: coq-simple-io_1.11.0.orig.tar.gz
Path: /raspbian/pool/main/c/coq-simple-io/coq-simple-io_1.11.0.orig.tar.gz
Size: 35K (35489 bytes)
Last modified: Tue, 18 Mar 2025 12:33:51 GMT (Unix time: 1742301231)

Download file from preferred mirror

Reliable downloads

Metalink

http://raspbian.raspberrypi.org/raspbian/pool/main/c/coq-simple-io/coq-simple-io_1.11.0.orig.tar.gz.meta4 (IETF Metalink)
http://raspbian.raspberrypi.org/raspbian/pool/main/c/coq-simple-io/coq-simple-io_1.11.0.orig.tar.gz.metalink (old (v3) Metalink)

Mirrors

List of best mirrors for IP address 163.172.82.118, located at 48.858200,2.338700 in France (FR).

Map showing the closest mirrors

Found 10 mirrors in other countries, but same continent (EU)

Found 6 mirrors in other parts of the world

Powered by MirrorBrain