File information
- Filename: cbmc-6.8.0-2.6.ppc64le.rpm
- Path: /repositories/devel:/tools:/statica/openSUSE_Factory_PowerPC/ppc64le/cbmc-6.8.0-2.6.ppc64le.rpm
- Size: 17MiB (17911987 bytes)
- Last modified: 08-Jun-2026 17:54:00 (Unix timestamp: 1780941240)
- SHA-512 Hash: ec41bb12a1770fab1a3b8dabb085192cf36a977106f3f016de2ce16c9d623fcaf4ea1456ba70a1887f843b4d7500bac4da87ea4b78d5034fe924ec91cc8f23fb
- SHA-256 Hash: fbb6c7c9c36ff3686b48bba221c23324affc1b4edba2a15e1c742b1081576c73
- SHA-1 Hash: fc130e92063d4e01d8cb69a1ab7fe6d2d6d9fdb9
- MD5 Hash: 5775e6481ffab2fbeac13a8682009ad8
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/devel:/tools:/statica/openSUSE_Factory_PowerPC/ppc64le/cbmc-6.8.0-2.6.ppc64le.rpm
Mirrors
List of best mirrors for IP address 216.73.217.73, 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)