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

File information

• Filename: bitwuzla-debugsource-0.8.0-1.52.x86_64.rpm
• Path: /repositories/science/openSUSE_Tumbleweed/x86_64/bitwuzla-debugsource-0.8.0-1.52.x86_64.rpm
• Size: 488KiB (500207 bytes)
• Last modified: 03-Jul-2026 21:33:41 (Unix timestamp: 1783114421)
• SHA-512 Hash: 958bcdfcf139065f97376b9102fa97b7bc675d3750f70eedd2630c72c7aa7b11087f985c5e42f2aebd0a985f407f530dc66e236e956f4fe9d5a497245b0146b0
• SHA-256 Hash: a3d9686f2717265d1e686938e88a0bb134e057166928c02f089124db9dd3706d
• SHA-1 Hash: 8439221a4f12de7dfe2a90b2712473b7696d92a8
• MD5 Hash: 31772705ed1a788b213572cebbff54a2
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: http://download.opensuse.org/repositories/science/openSUSE_Tumbleweed/x86_64/bitwuzla-debugsource-0.8.0-1.52.x86_64.rpm