Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
sci-mathematics
/
z3
An efficient theorem prover
https://github.com/Z3Prover/z3/
Overview
Dependencies
QA report
Pull requests
0
Bugs
1
Security
0
Changelog
Latest Commits
Commits on Feb 16, 2017
sci-mathematics/z3: workaround configure failure on non-ASCII
8111d0a
Sergei Trofimovich
committed on 16 Feb 2017 10:21:42
z3-4.5.0.ebuild
Commits on Jan 28, 2017
sci-mathematics/z3: Fix examples install directory.
07ebca9
Mark Wright
committed on 28 Jan 2017 10:34:37
z3-4.4.1.ebuild
z3-4.5.0.ebuild
sci-mathematics/z3: Fix python API, thanks to Jonas Jelten for reporting.
7cea2df
Mark Wright
committed on 28 Jan 2017 08:49:17
z3-4.4.1.ebuild
z3-4.5.0.ebuild
Commits on Jan 03, 2017
sci-mathematics/z3: Thanks to Daniel Gulotta for reporting.
ecbf572
Mark Wright
committed on 3 Jan 2017 10:25:02
z3-4.4.1.ebuild
z3-4.5.0.ebuild
Commits on Jan 02, 2017
sci-mathematics/z3: Fix install for USE="python -doc", thanks to Toralf F?rster
7949c35
Mark Wright
committed on 2 Jan 2017 13:48:33
z3-4.5.0.ebuild
sci-mathematics/z3: Thanks to Yichao Zhou, jlec and slyfox for development
e1bee05
Mark Wright
committed on 2 Jan 2017 00:20:08
Manifest
files/z3-4.1.2-configure.patch
files/z3-4.4.1-gcc-6.patch
metadata.xml
z3-4.4.1.ebuild
z3-4.5.0.ebuild
Commits on Jun 06, 2022
sci-mathematics/z3: Remove old
06ae9df
Michał Górny
committed on 6 Jun 2022 11:30:55
Manifest
z3-4.8.15-r1.ebuild
z3-4.8.16.ebuild
sci-mathematics/z3: Stabilize 4.8.17 amd64, #850061
05103e9
Jakov Smolić
committed on 6 Jun 2022 10:22:00
z3-4.8.17.ebuild
sci-mathematics/z3: Stabilize 4.8.17 x86, #850061
caa2854
Jakov Smolić
committed on 6 Jun 2022 10:21:17
z3-4.8.17.ebuild
sci-mathematics/z3: Stabilize 4.8.17 arm64, #850061
7b6db73
Jakov Smolić
committed on 6 Jun 2022 10:19:52
z3-4.8.17.ebuild
sci-mathematics/z3: Stabilize 4.8.17 ppc64, #850061
14f33ec
Jakov Smolić
committed on 6 Jun 2022 10:19:51
z3-4.8.17.ebuild
sci-mathematics/z3: Stabilize 4.8.17 arm, #850061
e162c6e
Jakov Smolić
committed on 6 Jun 2022 10:19:49
z3-4.8.17.ebuild
Commits on May 05, 2022
sci-mathematics/z3: Bump to 4.8.17
4742efd
Michał Górny
committed on 5 May 2022 07:09:14
z3-4.8.17.ebuild
Manifest
Commits on Apr 26, 2022
sci-mathematics/z3: Remove old
df149f7
Michał Górny
committed on 26 Apr 2022 16:04:31
Manifest
files/z3-4.8.14-libatomic.patch
z3-4.8.14-r1.ebuild
sci-mathematics/z3: Stabilize 4.8.15-r1 ppc64, #840665
d9f4032
Arthur Zamarin
committed on 26 Apr 2022 14:01:09
z3-4.8.15-r1.ebuild
sci-mathematics/z3: Keyword 4.8.16 sparc, #779742
7ac725a
Sam James
committed on 26 Apr 2022 03:48:25
z3-4.8.16.ebuild
Commits on Apr 25, 2022
sci-mathematics/z3: Stabilize 4.8.15-r1 arm, #840665
a276917
Arthur Zamarin
committed on 25 Apr 2022 19:37:52
z3-4.8.15-r1.ebuild
sci-mathematics/z3: Stabilize 4.8.15-r1 arm64, #840665
81316f0
Arthur Zamarin
committed on 25 Apr 2022 19:37:17
z3-4.8.15-r1.ebuild
sci-mathematics/z3: Stabilize 4.8.15-r1 x86, #840665
442a091
Sam James
committed on 25 Apr 2022 02:40:33
z3-4.8.15-r1.ebuild
sci-mathematics/z3: Stabilize 4.8.15-r1 amd64, #840665
33b0436
Sam James
committed on 25 Apr 2022 02:40:05
z3-4.8.15-r1.ebuild
Commits on Apr 24, 2022
sci-mathematics/z3: Bump to 4.8.16
fe0689d
Michał Górny
committed on 24 Apr 2022 20:26:19
z3-4.8.16.ebuild
Manifest
Commits on Mar 21, 2022
sci-mathematics/z3: fix documentation
5d07ea9
Maciej Barć
committed on 21 Mar 2022 13:36:04
z3-4.8.14-r1.ebuild
z3-4.8.15-r1.ebuild
z3-4.8.14.ebuild
z3-4.8.15.ebuild
sci-mathematics/z3: Bump to 4.8.15
9dd0012
Michał Górny
committed on 21 Mar 2022 08:54:36
z3-4.8.15.ebuild
Manifest
Commits on Mar 16, 2022
sci-mathematics/z3: fix link atomic in riscv
21fd2b2
Han Gao
authored
and
Jakov Smolić
committed on 16 Mar 2022 19:18:07
files/z3-4.8.14-libatomic.patch
z3-4.8.14.ebuild
Commits on Feb 12, 2022
sci-mathematics/z3: Remove old
3c87750
Michał Górny
committed on 12 Feb 2022 09:15:04
Manifest
z3-4.8.13.ebuild
Commits on Feb 11, 2022
sci-mathematics/z3: Stabilize 4.8.14 arm64, #833068
b1a3e68
Arthur Zamarin
committed on 11 Feb 2022 21:32:29
z3-4.8.14.ebuild
sci-mathematics/z3: Stabilize 4.8.14 arm, #833068
77cafe9
Arthur Zamarin
committed on 11 Feb 2022 20:13:06
z3-4.8.14.ebuild
Commits on Feb 10, 2022
sci-mathematics/z3: Stabilize 4.8.14 ppc64, #833068
c764a08
Sam James
committed on 10 Feb 2022 11:43:08
z3-4.8.14.ebuild
sci-mathematics/z3: Stabilize 4.8.14 x86, #833068
fd90b6d
Sam James
committed on 10 Feb 2022 11:41:11
z3-4.8.14.ebuild
sci-mathematics/z3: Stabilize 4.8.14 amd64, #833068
4b5b339
Jakov Smolić
committed on 10 Feb 2022 10:44:56
z3-4.8.14.ebuild
Commits on Jan 11, 2022
sci-mathematics/z3: Remove old
836ecd8
Michał Górny
committed on 11 Jan 2022 09:59:10
Manifest
z3-4.8.11b.ebuild
Commits on Jan 10, 2022
sci-mathematics/z3: Stabilize 4.8.13 arm64, #830771
5393b0d
Sam James
committed on 10 Jan 2022 22:59:54
z3-4.8.13.ebuild
Commits on Jan 09, 2022
sci-mathematics/z3: Stabilize 4.8.13 arm, #830771
f92d6a0
Sam James
committed on 9 Jan 2022 01:11:25
z3-4.8.13.ebuild
sci-mathematics/z3: Stabilize 4.8.13 ppc64, #830771
06f9367
Sam James
committed on 9 Jan 2022 01:11:07
z3-4.8.13.ebuild
Commits on Jan 08, 2022
sci-mathematics/z3: Stabilize 4.8.13 amd64, #830771
8c640fe
Jakov Smolić
committed on 8 Jan 2022 18:02:37
z3-4.8.13.ebuild
sci-mathematics/z3: Stabilize 4.8.13 x86, #830771
ee8ef21
Jakov Smolić
committed on 8 Jan 2022 18:01:38
z3-4.8.13.ebuild
Commits on Dec 24, 2021
sci-mathematics/z3: Bump to 4.8.14
adbd938
Michał Górny
committed on 24 Dec 2021 09:05:40
z3-4.8.14.ebuild
Manifest
Commits on Nov 19, 2021
sci-mathematics/z3: Bump to 4.8.13
3faccd0
Michał Górny
committed on 19 Nov 2021 09:03:01
z3-4.8.13.ebuild
Manifest
Commits on Oct 20, 2021
sci-mathematics/z3: fix build failure with USE="java"
743dc8f
Alexander Golubev
authored
and
Sam James
committed on 20 Oct 2021 02:15:38
z3-4.8.11b.ebuild
Commits on Sep 11, 2021
**/metadata.xml: Replace http by https in DOCTYPE element
38b155f
Ulrich Müller
committed on 11 Sep 2021 13:22:48