File information
- Filename: cbmc-6.8.0-2.8.x86_64.rpm
- Path: /repositories/devel:/tools:/statica/openSUSE_Tumbleweed/x86_64/cbmc-6.8.0-2.8.x86_64.rpm
- Size: 18MiB (18560850 bytes)
- Last modified: 02-May-2026 21:26:00 (Unix timestamp: 1777757160)
- SHA-512 Hash: 27519d7e9f4197e37d6a235063f32dc80808bf61c36754f16515107dd099821e771fcb59743d06fb7c9674e47104f505a51d8975ad9dbe612418e89ea242dff0
- SHA-256 Hash: da4d9f00ac40a377e0b3e467ad91401f373559ff98e2132e0eff1247954fa1b9
- SHA-1 Hash: 7a4e326cf5692f462300c2fa8bfbf1a988ced23d
- MD5 Hash: 102d92d0056ae99c2cc414b77f0a2202
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/devel:/tools:/statica/openSUSE_Tumbleweed/x86_64/cbmc-6.8.0-2.8.x86_64.rpm
Mirrors
List of best mirrors for IP address 216.73.217.132, 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)