1. ^
2. repositories
3. science
4. openSUSE_Tumbleweed
5. x86_64
6. bitwuzla-devel-debuginfo-0.8.0-1.46.x86_64.rpm

File information

• Filename: bitwuzla-devel-debuginfo-0.8.0-1.46.x86_64.rpm
• Path: /repositories/science/openSUSE_Tumbleweed/x86_64/bitwuzla-devel-debuginfo-0.8.0-1.46.x86_64.rpm
• Size: 1MiB (1080110 bytes)
• Last modified: 02-May-2026 17:28:00 (Unix timestamp: 1777742880)
• SHA-512 Hash: 12c2dc5aa730bcfe49d80dec7cfec1b0294506c5308dfa2aae495b6dce3d7277c96f096be428f8c0cf75fb88fec1175267cacb32cfe8bea005c6ecc49ece1024
• SHA-256 Hash: 44ca537ffa8385748e6cf1855dc539d7aa31899ea6a17b49f2dfe986aeadde80
• SHA-1 Hash: e6a706a0e1230b6bab2d508fc982686d4f5b2bf0
• MD5 Hash: 056117dcb235405d2a7857345abd796f
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: http://download.opensuse.org/repositories/science/openSUSE_Tumbleweed/x86_64/bitwuzla-devel-debuginfo-0.8.0-1.46.x86_64.rpm