File information
- Filename: coq-ide-8.19.1-bp156.1.11.s390x.rpm
- Path: /distribution/openSUSE-stable/repo/oss/s390x/coq-ide-8.19.1-bp156.1.11.s390x.rpm
- Size: 19MiB (20121496 bytes)
- Last modified: 06-May-2024 15:51:45 (Unix timestamp: 1715010705)
- SHA-512 Hash: 44f22e46d081deba6e2fde572582ff16a4dfd132f053b0f9186f6f4f884353539803857473375028b805a7c6623e51c25823c74697567978e6daf7eab36ebb76
- SHA-256 Hash: 3a6f1313cdffd51d8d007eaf5526f1d5d048898965a9f69c21bf236e5e385372
- SHA-1 Hash: 5973960fe29469994298024433cf6da6ca51527b
- MD5 Hash: d2b135e762bb41e60d04f86734edd5b5
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/distribution/leap/15.6/repo/oss/s390x/coq-ide-8.19.1-bp156.1.11.s390x.rpm
Mirrors
List of best mirrors for IP address 3.22.79.165, located at 39.9625,-83.0061 in (US)
Mirrors which handle this country: 0
- None
Mirrors in other countries, but same continent: 0
- None
Mirrors in other parts of the world: 3
- repo.ugm.ac.id (ID)
- mirror.leitecastro.com (PT)
- mirror.leitecastro.com (PT)