File information
- Filename: cbmc-6.8.0-2.1.ppc64le.rpm
- Path: /repositories/devel:/tools:/statica/openSUSE_Factory_PowerPC/ppc64le/cbmc-6.8.0-2.1.ppc64le.rpm
- Size: 17MiB (17910834 bytes)
- Last modified: 17-Dec-2025 11:39:00 (Unix timestamp: 1765971540)
- SHA-512 Hash: ce0a3af2d4a6004acd613549cb3b7acb5376d2089fb75ccdfdbaa053d34de8cfda4c74ad1272fca50292f65bbcc7f116b54add7e4f01911a21ee1d9582438d2a
- SHA-256 Hash: 134f007e3a78c0d7c5335c738f84822f0ab8f429716fbf8e18a4a87fae73c3c1
- SHA-1 Hash: 0d297b7efa053feb75a0f12d776e1ec99b09b392
- MD5 Hash: 593ecb027b6f1bf04b0f79ab48e4d500
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://download.opensuse.org/repositories/devel:/tools:/statica/openSUSE_Factory_PowerPC/ppc64le/cbmc-6.8.0-2.1.ppc64le.rpm
Mirrors
List of best mirrors for IP address 216.73.216.40, located at 39.9625,-83.0061 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)