1. ^
2. repositories
3. science:
4. machinelearning
5. openSUSE_Factory
6. x86_64
7. openshell-prover-0.1.8-2.1.x86_64.rpm

File information

• Filename: openshell-prover-0.1.8-2.1.x86_64.rpm
• Path: /repositories/science:/machinelearning/openSUSE_Factory/x86_64/openshell-prover-0.1.8-2.1.x86_64.rpm
• Size: 847KiB (867250 bytes)
• Last modified: 11-Nov-2026 09:56:00 (Unix timestamp: 1794390960)
• SHA-512 Hash: 07af362460eb69e77332fedbfbcb444740abb059b37f302c31ec089848d7285e65b5b6f0ffdb584a3dc4e61f9797417d34d881e0e325baeec1408ab26e1b2a7e
• SHA-256 Hash: 4e9d270a982ad264db4e9b6966928ba8cceddb558887c59522e8b0b0b45935f0
• SHA-1 Hash: df4bffd901ffc45e02def266677b14b62b54a624
• MD5 Hash: 7937f205dba3f0b97cfc10f3dd5eb4ea
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/science:/machinelearning/openSUSE_Factory/x86_64/openshell-prover-0.1.8-2.1.x86_64.rpm