File information
- Filename: cbmc-6.8.0-2.15.ppc64le.rpm
- Path: /repositories/devel:/tools:/statica/openSUSE_Factory_PowerPC/ppc64le/cbmc-6.8.0-2.15.ppc64le.rpm
- Size: 16MiB (17274950 bytes)
- Last modified: 01-Oct-2026 19:15:39 (Unix timestamp: 1790882139)
- SHA-512 Hash: f9e9a5118975985e6f8b524b563d1b7827237fcaa45a2e9b42fa07bf878f0c605aeb214aa2550bbe6761df4fef63b1a2b7b853ab77a042fb6ca392ba4183ce52
- SHA-256 Hash: 53ae8440171980757390571da88fbdeeb1547c0a86cedfb657ca315b22102ef6
- SHA-1 Hash: 36ca83d35a4111d64230529bf37dbd87cc7496e8
- MD5 Hash: 59ba049865c618ee0cdce53669f50ed2
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/devel:/tools:/statica/openSUSE_Factory_PowerPC/ppc64le/cbmc-6.8.0-2.15.ppc64le.rpm
Mirrors
List of best mirrors for IP address 140.248.79.34, located at 39.9587,-82.9987 in (US)
Mirrors which handle this country: 1
Mirrors in other countries, but same continent: 0
- None
Mirrors in other parts of the world: 1
- ftp.gwdg.de (DE)