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

File information

• Filename: bitwuzla-devel-debuginfo-0.8.0-lp160.1.3.x86_64.rpm
• Path: /repositories/science/openSUSE_Leap_16.0/x86_64/bitwuzla-devel-debuginfo-0.8.0-lp160.1.3.x86_64.rpm
• Size: 1MiB (1076742 bytes)
• Last modified: 19-Nov-2025 12:10:00 (Unix timestamp: 1763554200)
• SHA-512 Hash: d8e225f7f01e4a850a2ee56e0a350ab00a9807cfb9e621e285a5131fc44d71b1796f6315aad22d0d6cd9ef1e048f8936d8dc60568764c681a201780083d8858d
• SHA-256 Hash: e974b38e73f3266cc6036e9f29f3b726db12d124ee62e863871990519b34a66f
• SHA-1 Hash: b8e4a370a8d5e71b0e14f92a51ca30f984a98f89
• MD5 Hash: 89c0d064fa3d412ea3f401a399dceff2
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/science/openSUSE_Leap_16.0/x86_64/bitwuzla-devel-debuginfo-0.8.0-lp160.1.3.x86_64.rpm