File information
- Filename: coq-ide-debuginfo-8.13.2-bp154.1.44.x86_64.rpm
- Path: /debug/distribution/leap/15.4/repo/oss/x86_64/coq-ide-debuginfo-8.13.2-bp154.1.44.x86_64.rpm
- Size: 1.8MiB (1922464 bytes)
- Last modified: 12-May-2022 01:45:00 (Unix timestamp: 1652319900)
- SHA-512 Hash: 6c7b33ae2d8c4dfced3332af444dbbc04ef8cf2e33f724f23bba501bf081aa6e98655b96d3d3e2a6c93eb522c8b3773044615bc9e9111ceb53f625f65035aa41
- SHA-256 Hash: 4eed59502801ebb6925ab387f5779cde7ecefe72a618278c14c0983805fe5615
- SHA-1 Hash: 8e5d6ae43793f33a362fc676494fa0b6f72fd696
- MD5 Hash: b89748aaf14285f48de39a31daa8266f
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://download.opensuse.org/debug/distribution/leap/15.4/repo/oss/x86_64/coq-ide-debuginfo-8.13.2-bp154.1.44.x86_64.rpm
Mirrors
List of best mirrors for IP address 216.73.216.82, located at 39.9625,-83.0061 in (US)
Mirrors which handle this country: 2
- slc-mirror.opensuse.org (US)
- mirror.fcix.net (US)
Mirrors in other countries, but same continent: 0
- None
Mirrors in other parts of the world: 1
- ftp.lysator.liu.se (SE)