1. download
2. repositories
3. openSUSE:
4. Backports:
5. SLE-15-SP5
6. step_debug
7. armv7hl
8. coq-ide-debuginfo-8.13.2-bp155.2.1.armv7hl.rpm

File information

• Filename: coq-ide-debuginfo-8.13.2-bp155.2.1.armv7hl.rpm
• Path: /repositories/openSUSE:/Backports:/SLE-15-SP5/step_debug/armv7hl/coq-ide-debuginfo-8.13.2-bp155.2.1.armv7hl.rpm
• Size: 1.7MiB (1783936 bytes)
• Last modified: 24-Jul-2022 13:45:00 (Unix timestamp: 1658670300)
• SHA-512 Hash: c0989c11ce769c82c9dc84427abec7019a9a2dd97c2484dfbe538886d9b098eacca0a401f939f0b8037fd8dd0d7ad7ae14935e532b393452ef6b8364a666932a
• SHA-256 Hash: 9850f82a8a61afccb0727fefdf6e2f19e81d85723e361cdd58a3114ef93c3ed2
• SHA-1 Hash: 2238f63c885d997845ab19df00dfe124778ee13e
• MD5 Hash: 4146f95755728d5472b5d08cc30b552b
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://downloadcontent2.opensuse.org/repositories/openSUSE:/Backports:/SLE-15-SP5/step_debug/armv7hl/coq-ide-debuginfo-8.13.2-bp155.2.1.armv7hl.rpm