1. ^
2. repositories
3. openSUSE:
4. Backports:
5. SLE-15-SP7
6. standard_debug
7. aarch64
8. coq-ide-debuginfo-8.19.1-bp157.1.56.aarch64.rpm

File information

• Filename: coq-ide-debuginfo-8.19.1-bp157.1.56.aarch64.rpm
• Path: /repositories/openSUSE:/Backports:/SLE-15-SP7/standard_debug/aarch64/coq-ide-debuginfo-8.19.1-bp157.1.56.aarch64.rpm
• Size: 3MiB (3104340 bytes)
• Last modified: 26-Jan-2025 11:17:00 (Unix timestamp: 1737890220)
• SHA-512 Hash: b8af51b826bb8558c236b7499d4df651dab466d4acde2c321acc45a5f782c08ee67dd057369f0cedfa6db519f956e8099ade680d7833ea8249adc06c180a9eb5
• SHA-256 Hash: 121d70cdb4695b8a87ee26a15c8254229adff5156aa6200a6b00c0a5c7e2ebb9
• SHA-1 Hash: 661b69bff88cfd52ee543e0c506e79209a477209
• MD5 Hash: 835bdecd0f2a99c851deb38569db607b
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/openSUSE:/Backports:/SLE-15-SP7/standard_debug/aarch64/coq-ide-debuginfo-8.19.1-bp157.1.56.aarch64.rpm