Home > Repository > base > z3
Z3 is a theorem prover from Microsoft Research.
z3.spec
Richiesto in compilazione da
z3: A theorem prover from Microsoft Research
Z3 is a theorem prover from Microsoft Research.
| Nome: | z3 |
| Versione: | 5.1.0-1mamba |
| Gruppo: | System/Libraries |
| Manutentore: | silvan |
| Licenza: | MIT |
| Dimensione: | 5.10 MB |
| URL di origine: | https://github.com/Z3Prover |
| Data di compilazione: | 2026-08-16 10:17:07 |
File sorgenti
z3-5.1.0.tar.bz2z3.spec
Pacchetti binari e dipendenze
| x86_64 | aarch64 | i586 | |
|---|---|---|---|
| RPM creati | libz3 libz3-devel z3 z3-debug | libz3 libz3-devel z3 z3-debug | libz3 libz3-devel z3 z3-debug |
| Dipendenze di compilazione | cmake [1] glibc-devel [1] libgcc [1] libstdc++6-devel [1] | cmake [1] glibc-devel [1] libgcc [1] libstdc++6-devel [1] | cmake [1] glibc-devel [1] libgcc [1] libstdc++6-devel [1] |
Cronologia delle modifiche
| Data | Packager | Versione | Descrizione |
|---|---|---|---|
| 2026-08-16 | autodist | 5.1.0-1mamba | - automatic version update by autodist |
| 2026-07-17 | autodist | 5.0.0-1mamba | - automatic version update by autodist |
| 2026-02-19 | autodist | 4.16.0-1mamba | - automatic version update by autodist |
| 2026-02-13 | autodist | 4.15.8-1mamba | - automatic version update by autodist |
| 2026-02-09 | autodist | 4.15.7-1mamba | - automatic version update by autodist |
| 2026-02-09 | autodist | 4.15.6-1mamba | - automatic version update by autodist |
| 2026-02-08 | autodist | 4.15.5-1mamba | - automatic version update by autodist |
| 2025-10-30 | autodist | 4.15.4-1mamba | - automatic version update by autodist |
| 2025-08-18 | autodist | 4.15.3-1mamba | - automatic version update by autodist |
| 2025-06-26 | autodist | 4.15.2-1mamba | - automatic version update by autodist |
