1. ^
2. repositories
3. openSUSE:
4. Backports:
5. SLE-15-SP4
6. standard_debug
7. s390x
8. coq-debuginfo-8.13.2-bp154.1.44.s390x.rpm

File information

• Filename: coq-debuginfo-8.13.2-bp154.1.44.s390x.rpm
• Path: /repositories/openSUSE:/Backports:/SLE-15-SP4/standard_debug/s390x/coq-debuginfo-8.13.2-bp154.1.44.s390x.rpm
• Size: 4.8MiB (5049036 bytes)
• Last modified: 12-May-2022 07:57:00 (Unix timestamp: 1652342220)
• SHA-512 Hash: ff9b60a71c2cd865d4762e9da7f149ad824cdfbb7c4bd2a11739c2585ebb95580988a815aca2b4f4db835a210a29f0209f8e8355eddfb27c5abeb4c7adf11a4a
• SHA-256 Hash: be6829499399c31354c07d7adfb914b84a7db0784abd287a5bf8f61cc6458aca
• SHA-1 Hash: 004fe33ac282d6ac099d3c31a9ba6aede39baca7
• MD5 Hash: 20d5a2490c81af95b23e64b0171d54ac
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/openSUSE:/Backports:/SLE-15-SP4/standard_debug/s390x/coq-debuginfo-8.13.2-bp154.1.44.s390x.rpm