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

File information

• Filename: coq-debuginfo-8.19.1-bp157.1.56.aarch64.rpm
• Path: /repositories/openSUSE:/Backports:/SLE-15-SP7/standard_debug/aarch64/coq-debuginfo-8.19.1-bp157.1.56.aarch64.rpm
• Size: 14MiB (14274696 bytes)
• Last modified: 26-Jan-2025 11:17:00 (Unix timestamp: 1737890220)
• SHA-512 Hash: 12b4c96105c27cde4e4059db3f0887a145d975b7c89c50c2a98350a1ef49eb22847d2f131e286b6557293a37fcbb3500cffa9cf7da5432b23a444d363b0716bd
• SHA-256 Hash: d06806756ce38e0a525b9d129e5f7abf46a0effd51998654bc982a93694b8d79
• SHA-1 Hash: 18618e1e3f020e0095156e8aeebb1c1c60d1070c
• MD5 Hash: 02138c354fd09cec210abd19e6ced46b
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/openSUSE:/Backports:/SLE-15-SP7/standard_debug/aarch64/coq-debuginfo-8.19.1-bp157.1.56.aarch64.rpm