File information
- Filename: cbmc-6.8.0-2.12.ppc64le.rpm
- Path: /repositories/devel:/tools:/statica/openSUSE_Factory_PowerPC/ppc64le/cbmc-6.8.0-2.12.ppc64le.rpm
- Size: 16MiB (17275581 bytes)
- Last modified: 25-Aug-2026 12:52:07 (Unix timestamp: 1787662327)
- SHA-512 Hash: 48309578c7e60d7e9b27fb4a88d4d277e583911b582238cc29023d68d4ec8e09beb4ba7c2e9c09a8deb3b9542013a3065f50f7681a30ebd51b20f43f69fd5502
- SHA-256 Hash: 17bd4a71334902ef257a287b7644030e781b810d2c3a65abe6bd98e623818c69
- SHA-1 Hash: bad3010397170230dc06b8c9ea4bc1dce4ab0d8a
- MD5 Hash: d84618b093ad59faf53e1f9d8d0fc80a
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/devel:/tools:/statica/openSUSE_Factory_PowerPC/ppc64le/cbmc-6.8.0-2.12.ppc64le.rpm
Mirrors
List of best mirrors for IP address 216.73.216.31, 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: 2
- ftp.gwdg.de (DE)
- opensuse.mirror.liquidtelecom.com (KE)