File information
- Filename: cbmc-6.0.0-1.4.x86_64.rpm
- Path: /repositories/devel:/tools:/statica/openSUSE_Tumbleweed/x86_64/cbmc-6.0.0-1.4.x86_64.rpm
- Size: 17MiB (17588162 bytes)
- Last modified: 07-Jun-2025 13:08:33 (Unix timestamp: 1749301713)
- SHA-512 Hash: b6ed6c841fc01d77e90568203d1ed06be666d15114392a99a80826168739b401388670b30e141cd71678b3049de152c03edae10d2870a5d4b8920ad5a50c241d
- SHA-256 Hash: d4d47fe1c8cc524c857352a2db87b46eb77625651e8331700651bc6614372742
- SHA-1 Hash: 9c58eef6bfbbe9b9243f47a48dcc6b9a2050a806
- MD5 Hash: 5a58dba3170ad6c48337a2e9f3fd7fe6
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://download.opensuse.org/repositories/devel:/tools:/statica/openSUSE_Tumbleweed/x86_64/cbmc-6.0.0-1.4.x86_64.rpm
Mirrors
List of best mirrors for IP address 216.73.216.167, 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: 3
- ftp.gwdg.de (DE)
- mirror.aardsoft.fi (FI)
- opensuse.mirror.liquidtelecom.com (KE)