Pisi Dagitik Derleme Ciftligi
pisilinux/main
pisilinux/main
Degisiklikler / Commits
| id | Tarih | Repo | Branch | Paket | Commit | Durum |
|---|
z3 paketi detayi
Source
| Name | z3 |
|---|---|
| Homepage | https://github.com/Z3Prover/z3 |
| Packager | PisiLinux Community |
| Type | library |
| License | MIT |
| Part Of | programming.library |
| Summary | The Z3 Theorem Prover. |
| Description [en] | Z3 is a theorem prover from Microsoft Research. |
| Archive | Type:targz Hash:449bb09a5842bdff80c3c7b6275dad1b11407c3c |
| Archive Url | https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.12.2.tar.gz |
| Build Dependencies |
cmake ninja gmp-devel python3-devel python3-setuptools |
| Patches |
gcc13.patch |
| pspec.xml URI | programming/library/z3/pspec.xml |
Package z3
| Name | z3 |
|---|---|
| Runtime Dependencies |
gmp libgcc |
| File Types |
executable : /usr/bin library : /usr/lib doc : /usr/share/doc |
Package python3-z3
| Name | python3-z3 |
|---|---|
| Runtime Dependencies |
z3 python3 |
| File Types |
library : /usr/lib/python* |
Package z3-devel
| Name | z3-devel |
|---|---|
| Runtime Dependencies |
z3 |
| File Types |
header : /usr/include library : /usr/lib/pkgconfig library : /usr/lib/cmake |
History
| Release | Date | Version | Comment | Packager |
|---|---|---|---|---|
| 8 | 2023-11-04 | 4.12.2 | Version bump. | Mustafa Cinasal |
| 7 | 2023-01-28 | 4.12.1 | Version bump | fury |
| 6 | 2022-09-05 | 4.11.2 | Version bump. | fury |
| 5 | 2022-05-28 | 4.8.17 | Version bump. | fury |
| 4 | 2021-10-11 | 4.8.12 | Version bump. | fury |
| 3 | 2021-07-05 | 4.8.11 | Version bump. | fury |
| 2 | 2021-03-24 | 4.8.10 | Version bump. | fury |
| 1 | 2020-10-08 | 4.8.9 | First build. | fury |