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

File information

• Filename: coq-ide-debuginfo-8.19.1-bp156.1.1.armv7hl.rpm
• Path: /repositories/openSUSE:/Backports:/SLE-15-SP6/step_debug/armv7hl/coq-ide-debuginfo-8.19.1-bp156.1.1.armv7hl.rpm
• Size: 2.7MiB (2805676 bytes)
• Last modified: 11-Mar-2024 13:14:06 (Unix timestamp: 1710162846)
• SHA-512 Hash: 943b67ec08b406125fd41814fbae12e81fac7d0b029a2f598b123791ddfdb128d674c52f9a55b6ed79e9ce235445eee5bb9bc848cf4d82316eaee9304e51b04a
• SHA-256 Hash: fa57aa5f02cad468b66ea4af2f276e12b80df1821d998c87a305715e2d214fa6
• SHA-1 Hash: 314369492ed21d20c238c259633bee3862ecc7fc
• MD5 Hash: 84cdc06d880e2629b5c5cbc1ed36ba82
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/openSUSE:/Backports:/SLE-15-SP6/step_debug/armv7hl/coq-ide-debuginfo-8.19.1-bp156.1.1.armv7hl.rpm