File information
- Filename: cbmc-5.85.0-1.15.ppc64le.rpm
- Path: /repositories/devel:/tools:/statica/openSUSE_Factory_PowerPC/ppc64le/cbmc-5.85.0-1.15.ppc64le.rpm
- Size: 15MiB (16145588 bytes)
- Last modified: 14-May-2024 13:18:00 (Unix timestamp: 1715692680)
- SHA-512 Hash: 769415b2c1be76deedfb764da5fe65a224a0ba8d142ba90f1e85a218e20cb2cd15d119c7476438bd98afc295b5ed73ce5b12b67aff0fd0bef966246345383b54
- SHA-256 Hash: 964f81cf546a5726a48aa708e166a90d02e6271bfd9f7715a788e50b349c83a7
- SHA-1 Hash: ab9a103f3e817a15b3800bb05ee3c5c5fde0e055
- MD5 Hash: 25e20ceda693ff79de5528d17983c2d0
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://download.opensuse.org/repositories/devel:/tools:/statica/openSUSE_Factory_PowerPC/ppc64le/cbmc-5.85.0-1.15.ppc64le.rpm
Mirrors
List of best mirrors for IP address 18.190.157.242, 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: 4
- ftp.gwdg.de (DE)
- mirror.aardsoft.fi (FI)
- ftp.lysator.liu.se (SE)
- opensuse.mirror.ac.za (ZA)