1. ^
2. repositories
3. openSUSE:
4. Backports:
5. SLE-15-SP5
6. step_debug
7. armv7hl
8. coq-debuginfo-8.13.2-bp155.2.1.armv7hl.rpm

File information

• Filename: coq-debuginfo-8.13.2-bp155.2.1.armv7hl.rpm
• Path: /repositories/openSUSE:/Backports:/SLE-15-SP5/step_debug/armv7hl/coq-debuginfo-8.13.2-bp155.2.1.armv7hl.rpm
• Size: 5.6MiB (5826552 bytes)
• Last modified: 24-Jul-2022 13:45:00 (Unix timestamp: 1658670300)
• SHA-512 Hash: 3b1933bce4f349c7525b9d8cc6bfcc3066ce43ddc8400fc53bf1df5afdebf6a7a0ae27408733b196abde128dceba50cf8461b038fe88b008a5aad910c2d828f4
• SHA-256 Hash: b58bfd0f1c70a2a1722a877a95cb14aeeb6e27f79f1f815fc72f1daad80982fc
• SHA-1 Hash: 4a40ba9befc31a90f608d1fffa57aa9f16a3cc67
• MD5 Hash: 1e01a545dda0d4a5581883aa01ad9dac
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/openSUSE:/Backports:/SLE-15-SP5/step_debug/armv7hl/coq-debuginfo-8.13.2-bp155.2.1.armv7hl.rpm