1. ^
2. ports
3. zsystems
4. debug
5. tumbleweed
6. repo
7. oss
8. s390x
9. coq-debugsource-9.3.0-1.3.s390x.rpm

File information

• Filename: coq-debugsource-9.3.0-1.3.s390x.rpm
• Path: /ports/zsystems/debug/tumbleweed/repo/oss/s390x/coq-debugsource-9.3.0-1.3.s390x.rpm
• Size: 38KiB (38491 bytes)
• Last modified: 02-Nov-2026 04:13:00 (Unix timestamp: 1793592780)
• SHA-512 Hash: ecf9156e691d6e5db5837e48c8edf79046395ef90bf28196a4c398e465c0df629ed95d887b44cfe6f19c0566d4647d15f1fb617dd7faa7d7285f7b12b23d2f10
• SHA-256 Hash: cc5ff6b6eb5462a9a1b1099c3484046e788a59dc489946c30acfc3ab3d4c51e9
• SHA-1 Hash: 4c6feee226b9d62ea373725ac9ec67cd8fbe2573
• MD5 Hash: 69fb196c86506624b487f25be267e334
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/ports/zsystems/debug/tumbleweed/repo/oss/s390x/coq-debugsource-9.3.0-1.3.s390x.rpm