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

File information

• Filename: bitwuzla-devel-debuginfo-0.8.0-1.52.x86_64.rpm
• Path: /repositories/science/openSUSE_Tumbleweed/x86_64/bitwuzla-devel-debuginfo-0.8.0-1.52.x86_64.rpm
• Size: 1MiB (1082095 bytes)
• Last modified: 03-Jul-2026 21:33:41 (Unix timestamp: 1783114421)
• SHA-512 Hash: e89ea2a2cc62e74c244088f9ab22c46ea8cd08c4af86d7cb136932e5a9be4413b9b196e393ac42f40f81457fb07e71c5f54c0d805e2d37cc7c7783821513b3cd
• SHA-256 Hash: d028502ec0caf5df6ec1ca86f1ca61e74fa41f04caca71007dd7eaa1ebed027e
• SHA-1 Hash: ad5fb58f4180d669b155c9edec49d005f9cb83fd
• MD5 Hash: e184f84a0f57c3c1b472a19d2322f1ce
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: http://download.opensuse.org/repositories/science/openSUSE_Tumbleweed/x86_64/bitwuzla-devel-debuginfo-0.8.0-1.52.x86_64.rpm