File information
- Filename: coq-debugsource-9.2.0-1.2.x86_64.rpm
- Path: /tumbleweed/repo/debug/x86_64/coq-debugsource-9.2.0-1.2.x86_64.rpm
- Size: 36KiB (36694 bytes)
- Last modified: 03-Apr-2026 06:39:00 (Unix timestamp: 1775198340)
- SHA-512 Hash: 938a257b24b2dd22bf38f48a384b6429b325c00f1465151675eb98836dd2daa7e8499e95f486dccb6291f1652c04b7666a5e73e1d89352fd9cb7d7b20a7a9255
- SHA-256 Hash: 3be2ab249c6160fd2bf9f82acad060adcd75608d8b8566de24b2ef65e391fc48
- SHA-1 Hash: 0c11e9f60c07a075e73cc961cc2f99db00d84ea1
- MD5 Hash: e0989c71a2bbfa33792472580cf16740
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://download.opensuse.org/debug/tumbleweed/repo/oss/x86_64/coq-debugsource-9.2.0-1.2.x86_64.rpm
Mirrors
List of best mirrors for IP address 216.73.216.132, 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: 10
- ftp.gwdg.de (DE)
- ftp.gwdg.de (DE)
- opensuse.0x0.st (DE)
- opensuse.0x0.st (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)