1. ^
2. repositories
3. openSUSE:
4. Backports:
5. SLE-15-SP4
6. step
7. armv7hl
8. coq-debuginfo-8.13.2-bp154.1.1.armv7hl.rpm

File information

• Filename: coq-debuginfo-8.13.2-bp154.1.1.armv7hl.rpm
• Path: /repositories/openSUSE:/Backports:/SLE-15-SP4/step/armv7hl/coq-debuginfo-8.13.2-bp154.1.1.armv7hl.rpm
• Size: 5.6MiB (5841468 bytes)
• Last modified: 17-Mar-2022 16:31:46 (Unix timestamp: 1647534706)
• SHA-512 Hash: 0299be7281d1e07a99e8bf698022c8db14668db1e32facaae418d999a69d5cc579fee93f88529032b9578f7ac9b599663703bc9a7d38b27b4d2fed0b88181cfa
• SHA-256 Hash: 2fc02627c72f9b87020531c212e1d827288c71d9777964e9dfce0ffd09fc8caf
• SHA-1 Hash: f25c9a30048f170fa7c602a98724eb2679a4713f
• MD5 Hash: 653933d431c268efd09db822c921e3d0
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://downloadcontent2.opensuse.org/repositories/openSUSE:/Backports:/SLE-15-SP4/step/armv7hl/coq-debuginfo-8.13.2-bp154.1.1.armv7hl.rpm