File information
- Filename: bitwuzla-0.8.0-1.42.src.rpm
- Path: /repositories/science/openSUSE_Tumbleweed/src/bitwuzla-0.8.0-1.42.src.rpm
- Size: 2.3MiB (2382519 bytes)
- Last modified: 26-Feb-2026 05:50:00 (Unix timestamp: 1772085000)
- SHA-512 Hash: 661662c133d41d72d1a4255f40c3cfea3c3c2523fed5c9d5f5b9cd2f1c3213c90ba05f36fd9646bc88fabfe19882d04cfd2464fc33f7713b3b8037a5963736d0
- SHA-256 Hash: cf419a412db3d1ec4368a09d1a5ab13486e959b18ea354674665012e71fbeb6d
- SHA-1 Hash: a57be85fa47f6ac7ec62464a427dc1194a4e154b
- MD5 Hash: 02048dc85f602436926fb6293509a799
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://download.opensuse.org/repositories/science/openSUSE_Tumbleweed/src/bitwuzla-0.8.0-1.42.src.rpm
Mirrors
List of best mirrors for IP address 216.73.216.140, located at 39.9625,-83.0061 in (US)
Mirrors which handle this country: 0
- None
Mirrors in other countries, but same continent: 0
- None
Mirrors in other parts of the world: 1
- ftp.gwdg.de (DE)