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

File information

• Filename: coq-debugsource-8.13.2-bp154.1.1.armv7hl.rpm
• Path: /repositories/openSUSE:/Backports:/SLE-15-SP4/step/armv7hl/coq-debugsource-8.13.2-bp154.1.1.armv7hl.rpm
• Size: 1.8MiB (1840504 bytes)
• Last modified: 17-Mar-2022 16:31:46 (Unix timestamp: 1647534706)
• SHA-512 Hash: 4311a55c79d715190e78401d43015272385d8680be611acbd6504b3c48a127780fccbe3252aca341b0ac73c78182211fd49d74af292ce86a799632381b019800
• SHA-256 Hash: 7a7794a287bcbf722efc4b3f9afe26e489cbb52c086720346911b96090a96904
• SHA-1 Hash: 92a9222f87348396f8a63d8f07dc50f69732744f
• MD5 Hash: 0e9d6364491cdba8c232be6c97802cb8
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://downloadcontent2.opensuse.org/repositories/openSUSE:/Backports:/SLE-15-SP4/step/armv7hl/coq-debugsource-8.13.2-bp154.1.1.armv7hl.rpm