1. ^
2. repositories
3. science
4. openSUSE_Tumbleweed
5. i586
6. coq-debugsource-9.2.0-82.35.i586.rpm

File information

• Filename: coq-debugsource-9.2.0-82.35.i586.rpm
• Path: /repositories/science/openSUSE_Tumbleweed/i586/coq-debugsource-9.2.0-82.35.i586.rpm
• Size: 35KiB (36176 bytes)
• Last modified: 08-May-2026 18:04:53 (Unix timestamp: 1778263493)
• SHA-512 Hash: a65d4405fc9fbf19d74f50597e6fa892fbaf2afc5502a6cfac6b3be391c1618ffc0fe092d1a1e754186ad1f644ea2e7411dbf9d535291ef6a54bda491c2d95da
• SHA-256 Hash: 2ffec9512371d2d78fe9f14f57ceb099d080018190513854a24ac271b75c456b
• SHA-1 Hash: 540a81115e1e01c0ac9b05e4d9797fe20fd9e8f0
• MD5 Hash: c3e94e1e3f9246a051ffd4ff48ba6da0
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://downloadcontentcdn.opensuse.org/repositories/science/openSUSE_Tumbleweed/i586/coq-debugsource-9.2.0-82.35.i586.rpm