File information
- Filename: cbmc-6.8.0-2.11.ppc64le.rpm
- Path: /repositories/devel:/tools:/statica/openSUSE_Factory_PowerPC/ppc64le/cbmc-6.8.0-2.11.ppc64le.rpm
- Size: 16MiB (17275554 bytes)
- Last modified: 04-Aug-2026 21:02:00 (Unix timestamp: 1785877320)
- SHA-512 Hash: 5c2953ba8a2a2d7d74b040a66948e6a387a02e845dd2a5b10ca1d6e4527e2af51c34ff0fb9a6b4a8701e5cf1ea9af996638925e5e1dd7adfc7163fe48a1ed2ff
- SHA-256 Hash: 604a055ad81a5bd49a22d2d1f53b94f31f480d29c99c496cb0f08e82075b76ff
- SHA-1 Hash: 16875ddb7906829411860dbb447053b535147cce
- MD5 Hash: a2ce9dfb217addc1c33fbfd58f0a634c
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/devel:/tools:/statica/openSUSE_Factory_PowerPC/ppc64le/cbmc-6.8.0-2.11.ppc64le.rpm
Mirrors
List of best mirrors for IP address 140.248.79.66, 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: 3
- ftp.gwdg.de (DE)
- mirror.aardsoft.fi (FI)
- opensuse.mirror.liquidtelecom.com (KE)