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

File information

• Filename: coq-ide-debuginfo-8.19.1-bp156.1.14.aarch64.rpm
• Path: /repositories/openSUSE:/Backports:/SLE-15-SP6/standard_debug/aarch64/coq-ide-debuginfo-8.19.1-bp156.1.14.aarch64.rpm
• Size: 3MiB (3099736 bytes)
• Last modified: 21-May-2024 23:53:00 (Unix timestamp: 1716335580)
• SHA-512 Hash: 59c22880c4c62cf67f06c794fb6a64893ef87a55e4c89fac4a427a10adef483d94a8aaef5cb931eba954728edef1ea4cca2b6397fb932fb975eeee7b6fae6a59
• SHA-256 Hash: 0e7e079f5d6ed53d961a9aae620670f0bc1cddb85bd2d95b0e13892a4372eb93
• SHA-1 Hash: 48a29516be1e8b1cf78db72854954b5e826cb19d
• MD5 Hash: 042e28756d1e027c5e087301ec383599
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/openSUSE:/Backports:/SLE-15-SP6/standard_debug/aarch64/coq-ide-debuginfo-8.19.1-bp156.1.14.aarch64.rpm