1. ^
2. repositories
3. openSUSE:
4. Backports:
5. SLE-15-SP5
6. standard_debug
7. s390x
8. coq-debuginfo-8.13.2-bp155.2.13.s390x.rpm

File information

• Filename: coq-debuginfo-8.13.2-bp155.2.13.s390x.rpm
• Path: /repositories/openSUSE:/Backports:/SLE-15-SP5/standard_debug/s390x/coq-debuginfo-8.13.2-bp155.2.13.s390x.rpm
• Size: 4.8MiB (5042308 bytes)
• Last modified: 22-May-2023 13:43:16 (Unix timestamp: 1684762996)
• SHA-512 Hash: 329c53fb78597049b05af3574737995f8ec323a229ee36f9c7b523de305311306a0797740117ca1bfebefcbef3b6a08d5a6d8c32c624559159a4c070d0ecdd8c
• SHA-256 Hash: d0a8cca983d6870fa1dbecf925b54e0d5aadc73e98588a151df352fc34f20673
• SHA-1 Hash: 3c4c2cf1333a0ceaa87964246eca666365937572
• MD5 Hash: 14ada331578abf065a955e920875e8ba
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/openSUSE:/Backports:/SLE-15-SP5/standard_debug/s390x/coq-debuginfo-8.13.2-bp155.2.13.s390x.rpm