1. ^
2. repositories
3. openSUSE:
4. Backports:
5. SLE-15-SP6
6. standard_debug
7. s390x
8. coq-debugsource-8.19.1-bp156.1.14.s390x.rpm

File information

• Filename: coq-debugsource-8.19.1-bp156.1.14.s390x.rpm
• Path: /repositories/openSUSE:/Backports:/SLE-15-SP6/standard_debug/s390x/coq-debugsource-8.19.1-bp156.1.14.s390x.rpm
• Size: 2MiB (2052524 bytes)
• Last modified: 22-May-2024 08:33:00 (Unix timestamp: 1716366780)
• SHA-512 Hash: 5441dc79e070e3019c1395192813e9c35c4ebf7fb696e70837196e602f78cf0660df2434be307ab908ebc4f6bb18aca4f204a2981bcbacb0304ae0c5f36a1a3f
• SHA-256 Hash: 4018a332fea6f296c110e3803017807625f0745b6a5ad2b8998acf17581df9c6
• SHA-1 Hash: e3f0dfd059b0c2fcafe7d3c55ffcc9275b728738
• MD5 Hash: b3239bcc33b9748d973bdd0b37908646
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/openSUSE:/Backports:/SLE-15-SP6/standard_debug/s390x/coq-debugsource-8.19.1-bp156.1.14.s390x.rpm