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

File information

• Filename: coq-debugsource-9.2.0-1.3.s390x.rpm
• Path: /ports/zsystems/debug/tumbleweed/repo/oss/s390x/coq-debugsource-9.2.0-1.3.s390x.rpm
• Size: 36KiB (36710 bytes)
• Last modified: 02-May-2026 16:14:00 (Unix timestamp: 1777738440)
• SHA-512 Hash: d849293e054dc2e36478dd4b908393fb668fcd7b766f4a00987387f62e590d875abfefdce1666074aabc5ccb87dae61ddb7921f66fb532bd184b32627ff46dd6
• SHA-256 Hash: 99843eefa8544ae3d28d7c845d0180c3de5cdd9fed13341143dbda2c1d1ac129
• SHA-1 Hash: 4027d17da4fc08fb9dfd2d27d612b50d8c1ae3ec
• MD5 Hash: 5f7b92799ee7e4ce168ba027936f84fc
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: http://download.opensuse.org/ports/zsystems/debug/tumbleweed/repo/oss/s390x/coq-debugsource-9.2.0-1.3.s390x.rpm