1. ^
2. repositories
3. devel:
4. tools:
5. statica
6. openSUSE_Factory_PowerPC
7. ppc64le
8. cbmc-6.0.0-1.1.ppc64le.rpm

File information

• Filename: cbmc-6.0.0-1.1.ppc64le.rpm
• Path: /repositories/devel:/tools:/statica/openSUSE_Factory_PowerPC/ppc64le/cbmc-6.0.0-1.1.ppc64le.rpm
• Size: 16MiB (17166794 bytes)
• Last modified: 30-May-2025 09:43:00 (Unix timestamp: 1748598180)
• SHA-512 Hash: 030d84df77fff92e0e7ef5e6453da6dbbc18a4db17c1fa4ccac4de4f0e98b85669a712a48334f6177030bc5e0f4256c12bb03255ac13d11ff78f1ba3a4e40412
• SHA-256 Hash: a2dd926e34271357860fbbab30902e8dba52e4e7b87e3b0379fbd14913b7425b
• SHA-1 Hash: 7434e481ae9e447734141b2ca50738d7f8eccb9c
• MD5 Hash: e0af322c24d364352db23cd15476b381
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: http://download.opensuse.org/repositories/devel:/tools:/statica/openSUSE_Factory_PowerPC/ppc64le/cbmc-6.0.0-1.1.ppc64le.rpm