File information
- Filename: coq-debugsource-9.3.0-1.3.x86_64.rpm
- Path: /factory/repo/debug/x86_64/coq-debugsource-9.3.0-1.3.x86_64.rpm
- Size: 38KiB (38491 bytes)
- Last modified: 02-Nov-2026 04:09:13 (Unix timestamp: 1793592553)
- SHA-512 Hash: 083b44788f59c586c7da2a19da5e7419483da205837b983f01907be25c44592f4cddeb3c76f0a3a5b28ca0fde9a56a2bcaca52c630d01f2a958a3fe0e47ef6a9
- SHA-256 Hash: 7c17de20931ef786b5d6c43102a39d43cc30c0aba0ee2b02d60932412d23f5cd
- SHA-1 Hash: a71563c8219e69675361b713e4c95171698e52ec
- MD5 Hash: 36a11b22d2b375feb83bbad996e2fd52
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://downloadcontent2.opensuse.org/debug/tumbleweed/repo/oss/x86_64/coq-debugsource-9.3.0-1.3.x86_64.rpm
Mirrors
List of best mirrors for IP address 216.73.216.101, located at 39.9587,-82.9987 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: 8
- 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)