File information
- Filename: coq-8.19.1-bp157.1.112.src.rpm
- Path: /repositories/openSUSE:/Backports:/SLE-15-SP7/standard/src/coq-8.19.1-bp157.1.112.src.rpm
- Size: 17MiB (17478850 bytes)
- Last modified: 25-Apr-2025 07:42:00 (Unix timestamp: 1745566920)
- SHA-512 Hash: f03a8e8a3ff7a1c0622641f16aa46dc159f37484a12be0cf68fb67259dbea67b45c5180c200c5ebb432834f252bbcbb346d0463ef15902cbe34177e8111bcf42
- SHA-256 Hash: a88548d32287dbc53c06475cac1687849ff5e440271b8431602d3dee32d3a027
- SHA-1 Hash: c63f46ad315440c2b42c4fb16b5635db94f9c4b1
- MD5 Hash: bc09586c88af14dd1c5094f4ddb6d1f7
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/openSUSE:/Backports:/SLE-15-SP7/standard/src/coq-8.19.1-bp157.1.112.src.rpm
Mirrors
List of best mirrors for IP address 18.223.169.109, 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: 1
- ftp.gwdg.de (DE)