1. ^
2. repositories
3. home:
4. mge1512:
5. openshell
6. openSUSE_Tumbleweed
7. x86_64
8. openshell-prover-0.1.5-10.1.x86_64.rpm

File information

• Filename: openshell-prover-0.1.5-10.1.x86_64.rpm
• Path: /repositories/home:/mge1512:/openshell/openSUSE_Tumbleweed/x86_64/openshell-prover-0.1.5-10.1.x86_64.rpm
• Size: 831KiB (850570 bytes)
• Last modified: 22-Oct-2026 17:46:00 (Unix timestamp: 1792691160)
• SHA-512 Hash: 71ac9f0887c4fa73912e3f24cb3a83ad5cfb05c35edd3a5214d1aa2519cbaf0df8bc9f0232761cef868e42b938789e90d8ba962adc502a2ed6e08dddcd3dd304
• SHA-256 Hash: b2164a09c56dc2c4affddbb4fea847c33330dd35f7d3b54d149575f8e97a68d0
• SHA-1 Hash: 90414fa57b54a87368c04f4e5df8c2cd191c61f5
• MD5 Hash: f7c9eaaa203c0a11c835afb24ca8028b
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/home:/mge1512:/openshell/openSUSE_Tumbleweed/x86_64/openshell-prover-0.1.5-10.1.x86_64.rpm