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