1. ^
2. repositories
3. science:
4. machinelearning
5. openSUSE_Tumbleweed
6. aarch64
7. openshell-prover-0.1.5-12.1.aarch64.rpm

File information

• Filename: openshell-prover-0.1.5-12.1.aarch64.rpm
• Path: /repositories/science:/machinelearning/openSUSE_Tumbleweed/aarch64/openshell-prover-0.1.5-12.1.aarch64.rpm
• Size: 738KiB (755810 bytes)
• Last modified: 29-Oct-2026 13:57:00 (Unix timestamp: 1793282220)
• SHA-512 Hash: 72b5635b644a0605bce074fd2b84d5c7c6602aff7adfa4bd42b64e869c76257a4ce5ab30666bc80efb44a8fae6c20437ecd17c048b58c078e471655c8025a0ae
• SHA-256 Hash: d26224285b9962d0861b166d3052dd06975b6db7591685e478b43b6ea8a0d126
• SHA-1 Hash: d590b323ddb54d131c0e045cd63f37ba5b05108c
• MD5 Hash: a9546d133fc000671cb18f41bd5977dd
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://downloadcontent2.opensuse.org/repositories/science:/machinelearning/openSUSE_Tumbleweed/aarch64/openshell-prover-0.1.5-12.1.aarch64.rpm