1. download
2. repositories
3. science
4. openSUSE_Leap_16.0
5. x86_64
6. bitwuzla-debugsource-0.8.0-lp160.1.3.x86_64.rpm

File information

• Filename: bitwuzla-debugsource-0.8.0-lp160.1.3.x86_64.rpm
• Path: /repositories/science/openSUSE_Leap_16.0/x86_64/bitwuzla-debugsource-0.8.0-lp160.1.3.x86_64.rpm
• Size: 701KiB (717798 bytes)
• Last modified: 19-Nov-2025 12:10:00 (Unix timestamp: 1763554200)
• SHA-512 Hash: f930c461e081b2678bca6634deacfc70e1afac3160b8a7406c4c5355aa2068d1690c63bbab6a66e878119e57999a124e5fe72bd84f013daf78f0d5d2bc200ee7
• SHA-256 Hash: e473c4d6c7d0fef624c9519ec968ee8ef4b556216a32304578e827af8b14ccbd
• SHA-1 Hash: 40cea59c2abe84499181eeec8461e433831a2b6c
• MD5 Hash: 89690cf160a680772b28e097d3d21d62
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/science/openSUSE_Leap_16.0/x86_64/bitwuzla-debugsource-0.8.0-lp160.1.3.x86_64.rpm