1. ^
2. repositories
3. openSUSE:
4. Backports:
5. SLE-15-SP6
6. standard_debug
7. aarch64
8. coq-debugsource-8.19.1-bp156.1.14.aarch64.rpm

File information

• Filename: coq-debugsource-8.19.1-bp156.1.14.aarch64.rpm
• Path: /repositories/openSUSE:/Backports:/SLE-15-SP6/standard_debug/aarch64/coq-debugsource-8.19.1-bp156.1.14.aarch64.rpm
• Size: 2MiB (2052584 bytes)
• Last modified: 21-May-2024 23:53:00 (Unix timestamp: 1716335580)
• SHA-512 Hash: 507d32306d0e9c612eaf41ce9678edceafc3f03934d528c4c487648b22a98aebf14752e196767ca3342a2ba52a09874fc4e0218be8fc98efdbe83fb264983937
• SHA-256 Hash: d5700447471d8ace5235014fa769a5423a592964a0900171b565b4678c1defb0
• SHA-1 Hash: b5c72ba9d8e23555c2ec7f647c116eddb0649ea2
• MD5 Hash: 3827a9d054211b9724583330e6efb3d1
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/openSUSE:/Backports:/SLE-15-SP6/standard_debug/aarch64/coq-debugsource-8.19.1-bp156.1.14.aarch64.rpm