1. ^
2. repositories
3. devel:
4. tools:
5. statica
6. openSUSE_Tumbleweed
7. x86_64
8. z3-4.13.3-100.10.x86_64.rpm

File information

• Filename: z3-4.13.3-100.10.x86_64.rpm
• Path: /repositories/devel:/tools:/statica/openSUSE_Tumbleweed/x86_64/z3-4.13.3-100.10.x86_64.rpm
• Size: 6.7MiB (7018740 bytes)
• Last modified: 11-Mar-2025 16:08:46 (Unix timestamp: 1741709326)
• SHA-512 Hash: 684047dcba9f023de8bca8eeb30822d4567c180f6e8612dd116f5ffcd3ca19e2789d20e14fadd69e8db1467ccb652e6ad4b7854819aa60b0608771ceb2a18f31
• SHA-256 Hash: fda400db26eaf216669336a55dbe5e06a20cd3cb44ad1d10d5f8e8ded21b4259
• SHA-1 Hash: 9c892b2cb7747e2c99ddbb5e25c47298de13e988
• MD5 Hash: e67750a7ff6ee5bbe44ee65910b4919e
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: http://download.opensuse.org/repositories/devel:/tools:/statica/openSUSE_Tumbleweed/x86_64/z3-4.13.3-100.10.x86_64.rpm