1. ^
2. repositories
3. openSUSE:
4. Backports:
5. SLE-15-SP6
6. step_debug
7. armv7hl
8. coq-debugsource-8.19.1-bp156.1.1.armv7hl.rpm

File information

• Filename: coq-debugsource-8.19.1-bp156.1.1.armv7hl.rpm
• Path: /repositories/openSUSE:/Backports:/SLE-15-SP6/step_debug/armv7hl/coq-debugsource-8.19.1-bp156.1.1.armv7hl.rpm
• Size: 2MiB (2051992 bytes)
• Last modified: 11-Mar-2024 13:14:04 (Unix timestamp: 1710162844)
• SHA-512 Hash: 3dd04605610b1060e0b67d57b9b92d14dacf9e391d3cfd599c63ddbb3b2251fc5f366342fff55ca6ee1e5072335ff60f79a51f8402402b98108465084f654ea0
• SHA-256 Hash: 82a2ee7d81fe268de36c2b44ad8b2fb19c27b683fa699e52f6ff3200ffb658af
• SHA-1 Hash: df6d1f28480a9385f1e3df37697dc5ec5b2710ce
• MD5 Hash: d616b34feebf8955388f621a27e3d02e
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/openSUSE:/Backports:/SLE-15-SP6/step_debug/armv7hl/coq-debugsource-8.19.1-bp156.1.1.armv7hl.rpm