1. ^
2. repositories
3. science
4. openSUSE_Leap_16.0
5. aarch64
6. bitwuzla-debugsource-0.8.0-lp160.1.7.aarch64.rpm

File information

• Filename: bitwuzla-debugsource-0.8.0-lp160.1.7.aarch64.rpm
• Path: /repositories/science/openSUSE_Leap_16.0/aarch64/bitwuzla-debugsource-0.8.0-lp160.1.7.aarch64.rpm
• Size: 702KiB (718786 bytes)
• Last modified: 14-Apr-2026 01:28:00 (Unix timestamp: 1776130080)
• SHA-512 Hash: 64d935fe42e46e5e11cee87058f3f008790f1621c54b9927388d9762cb2aa4f52eacc91f6970f768f0a601a48d3c190c2276d870fc3bf535eb365efd50b7ca40
• SHA-256 Hash: d215f7ea7805ed47b176939a6bd1a345a420e5ae3e3d6a1ee45f8f527153595c
• SHA-1 Hash: 57010609bb7c2d8e9235a5ee53a04b1dc909b848
• MD5 Hash: 295565ce614ab26494722a3b3cb1a868
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: http://download.opensuse.org/repositories/science/openSUSE_Leap_16.0/aarch64/bitwuzla-debugsource-0.8.0-lp160.1.7.aarch64.rpm