File information
- Filename: bitwuzla-0.8.0-1.16.src.rpm
- Path: /repositories/science/openSUSE_Factory_PowerPC/src/bitwuzla-0.8.0-1.16.src.rpm
- Size: 2.3MiB (2382468 bytes)
- Last modified: 31-Dec-2025 10:07:22 (Unix timestamp: 1767175642)
- SHA-512 Hash: 38d651c401ab58ede7723ac766b9ebd6c81af4e98f2dbd78bcaba6aa05e3cb87f5f128dccc4c6d8bc6acb87d7e2f14165a417e1731122fb50f067805511eae7c
- SHA-256 Hash: 591341fd80bc0c0ab40837136f32aa0917b4e3532a9a139b44752bc85676b64b
- SHA-1 Hash: cd04cc4d4feea1eea0c0885b2b8300af225791d3
- MD5 Hash: 3cc20667e362a8910d55215a9452ed70
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://download.opensuse.org/repositories/science/openSUSE_Factory_PowerPC/src/bitwuzla-0.8.0-1.16.src.rpm
Mirrors
List of best mirrors for IP address 216.73.216.152, 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)
- opensuse.mirror.liquidtelecom.com (KE)