File information
- Filename: coq-devel-8.19.1-bp156.1.11.x86_64.rpm
- Path: /distribution/openSUSE-current/repo/oss/x86_64/coq-devel-8.19.1-bp156.1.11.x86_64.rpm
- Size: 66MiB (69662016 bytes)
- Last modified: 06-May-2024 11:12:00 (Unix timestamp: 1714993920)
- SHA-512 Hash: 7f84694273e304e7ea347096f066009cebcb758121e7b1e5b3afacad3517f50669c86f66ec5a9b2d68d87f308bb1bbe9f172c06ece0f566c385de2b11c48e49a
- SHA-256 Hash: 015802b056392d0e56c62aeff33bd45b8f7bc86ec4287bee8693cf6cf1fb06d4
- SHA-1 Hash: b1c331ae064e0c240506190a0429e957b495d6fe
- MD5 Hash: e7197c1bf3f4f2e6d21bb36950e844f0
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/distribution/leap/15.6/repo/oss/x86_64/coq-devel-8.19.1-bp156.1.11.x86_64.rpm
Mirrors
List of best mirrors for IP address 3.144.232.164, 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: 2
- mirror.leitecastro.com (PT)
- mirror.leitecastro.com (PT)