File information
- Filename: coq-ide-debuginfo-8.19.1-bp156.1.14.x86_64.rpm
- Path: /debug/distribution/openSUSE-stable/repo/oss/x86_64/coq-ide-debuginfo-8.19.1-bp156.1.14.x86_64.rpm
- Size: 3MiB (3171804 bytes)
- Last modified: 21-May-2024 16:41:47 (Unix timestamp: 1716309707)
- SHA-512 Hash: 43eb23a9855bcf5da40e8b5c17627f45d214500712ed60f67d5dc5af8afe2883ff81e6e6d61e9f943d883f4c07c12e612791c3ffb52b73581a33c39e7e473d59
- SHA-256 Hash: 44da4973f7df8c716423b46601b5d4d89f3adc2dd6fdec0e3d55169c76955478
- SHA-1 Hash: 49f30a0813550dd50884eaae104867668f8b51df
- MD5 Hash: df9f50c924825f8e5eacd2c54da21113
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://downloadcontent2.opensuse.org/debug/distribution/leap/15.6/repo/oss/x86_64/coq-ide-debuginfo-8.19.1-bp156.1.14.x86_64.rpm
Mirrors
List of best mirrors for IP address 3.139.234.124, located at 39.9625,-83.0061 in (US)
Mirrors which handle this country: 2
Mirrors in other countries, but same continent: 0
- None
Mirrors in other parts of the world: 12
- ftp.gwdg.de (DE)
- ftp.gwdg.de (DE)
- fr2.rpmfind.net (FR)
- fr2.rpmfind.net (FR)
- opensuse.mirror.liquidtelecom.com (KE)
- opensuse.mirror.liquidtelecom.com (KE)
- ftp.icm.edu.pl (PL)
- ftp.icm.edu.pl (PL)
- mirror.linux-ia64.org (RU)
- mirror.linux-ia64.org (RU)
- ftp.lysator.liu.se (SE)
- ftp.lysator.liu.se (SE)