File information
- Filename: bitwuzla-0.8.0-1.13.ppc64le.rpm
- Path: /repositories/science/openSUSE_Factory_PowerPC/ppc64le/bitwuzla-0.8.0-1.13.ppc64le.rpm
- Size: 33KiB (34219 bytes)
- Last modified: 21-Oct-2025 17:46:19 (Unix timestamp: 1761068779)
- SHA-512 Hash: c89d625065cc57712802ad6f20f4cc148c1ca220ab670eb3311fbd256262794fc2e64a19cabfc97716a9ce3cd5c28708d656eea5fd51c389164b1ac2cdfa191a
- SHA-256 Hash: f2dcba2981657c4b8ff2fd0a2ecf72ca40de80ffab825a5cd925f8ab831ae65b
- SHA-1 Hash: 368eb32cfdd375d0556f06b031d098ad4f1db033
- MD5 Hash: 46031ec1e54a584dd1bc95fa28b110c1
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://download.opensuse.org/repositories/science/openSUSE_Factory_PowerPC/ppc64le/bitwuzla-0.8.0-1.13.ppc64le.rpm
Mirrors
List of best mirrors for IP address 216.73.216.0, 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: 2
- ftp.gwdg.de (DE)
- ftp.lysator.liu.se (SE)