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
4
Security
0
Changelog
Latest Commits
Atom feed
Commits on 2025-07-13
sci-mathematics/z3: Remove old
6b7242a
Michał Górny
committed on 2025-07-13 15:46:59 UTC
sci-mathematics/z3/Manifest
sci-mathematics/z3/z3-4.14.1.ebuild
sci-mathematics/z3/z3-4.15.0.ebuild
sci-mathematics/z3/z3-4.15.1.ebuild
sci-mathematics/z3: Stabilize 4.15.2 sparc, #959965
96b6542
Sam James
committed on 2025-07-13 09:42:11 UTC
sci-mathematics/z3/z3-4.15.2.ebuild
Commits on 2025-07-12
sci-mathematics/z3: Stabilize 4.15.2 ppc64, #959965
ecb6273
Arthur Zamarin
committed on 2025-07-12 17:07:01 UTC
sci-mathematics/z3/z3-4.15.2.ebuild
sci-mathematics/z3: Stabilize 4.15.2 arm64, #959965
e2e0b20
Arthur Zamarin
committed on 2025-07-12 12:50:40 UTC
sci-mathematics/z3/z3-4.15.2.ebuild
sci-mathematics/z3: Stabilize 4.15.2 x86, #959965
0cdc258
Arthur Zamarin
committed on 2025-07-12 11:51:20 UTC
sci-mathematics/z3/z3-4.15.2.ebuild
sci-mathematics/z3: Stabilize 4.15.2 amd64, #959965
7397636
Michał Górny
committed on 2025-07-12 11:32:05 UTC
sci-mathematics/z3/z3-4.15.2.ebuild
sci-mathematics/z3: Stabilize 4.15.2 arm, #959965
76fd83b
Michał Górny
committed on 2025-07-12 11:32:03 UTC
sci-mathematics/z3/z3-4.15.2.ebuild
Commits on 2025-07-05
sci-mathematics/z3: Stabilize 4.15.1 ppc64, #959167
e6a3058
Arthur Zamarin
committed on 2025-07-05 15:48:35 UTC
sci-mathematics/z3/z3-4.15.1.ebuild
Commits on 2025-07-04
sci-mathematics/z3: Stabilize 4.15.1 arm64, #959167
8a891d3
Arthur Zamarin
committed on 2025-07-04 15:39:57 UTC
sci-mathematics/z3/z3-4.15.1.ebuild
sci-mathematics/z3: Stabilize 4.15.1 arm, #959167
0278dee
Arthur Zamarin
committed on 2025-07-04 08:39:43 UTC
sci-mathematics/z3/z3-4.15.1.ebuild
Commits on 2025-06-28
sci-mathematics/z3: Stabilize 4.15.1 amd64, #959167
acac75f
Arthur Zamarin
committed on 2025-06-28 13:59:23 UTC
sci-mathematics/z3/z3-4.15.1.ebuild
sci-mathematics/z3: Stabilize 4.15.1 x86, #959167
34013a4
Arthur Zamarin
committed on 2025-06-28 09:21:04 UTC
sci-mathematics/z3/z3-4.15.1.ebuild
Commits on 2025-06-26
sci-mathematics/z3: Bump to 4.15.2
40cdc16
Michał Górny
committed on 2025-06-26 08:59:09 UTC
sci-mathematics/z3/z3-4.15.2.ebuild
sci-mathematics/z3/Manifest
Commits on 2025-06-11
sci-mathematics/z3: Bump to 4.15.1
45a6e67
Michał Górny
committed on 2025-06-11 07:27:38 UTC
sci-mathematics/z3/z3-4.15.1.ebuild
sci-mathematics/z3/Manifest
Commits on 2025-05-31
sci-mathematics/z3: Stabilize 4.15.0 arm64, #956883
126eece
Michał Górny
committed on 2025-05-31 09:58:52 UTC
sci-mathematics/z3/z3-4.15.0.ebuild
sci-mathematics/z3: Stabilize 4.15.0 amd64, #956883
3ad04d6
Michał Górny
committed on 2025-05-31 09:58:51 UTC
sci-mathematics/z3/z3-4.15.0.ebuild
sci-mathematics/z3: Stabilize 4.15.0 ppc64, #956883
4e5148b
Arthur Zamarin
committed on 2025-05-31 08:50:07 UTC
sci-mathematics/z3/z3-4.15.0.ebuild
sci-mathematics/z3: Stabilize 4.15.0 arm, #956883
27f9d37
Arthur Zamarin
committed on 2025-05-31 08:45:26 UTC
sci-mathematics/z3/z3-4.15.0.ebuild
sci-mathematics/z3: Stabilize 4.15.0 x86, #956883
c32bbc0
Michał Górny
committed on 2025-05-31 08:34:19 UTC
sci-mathematics/z3/z3-4.15.0.ebuild
Commits on 2025-05-10
sci-mathematics/z3: Bump to 4.15.0
158238e
Michał Górny
committed on 2025-05-10 07:41:46 UTC
sci-mathematics/z3/z3-4.15.0.ebuild
sci-mathematics/z3/Manifest
Commits on 2025-03-29
sci-mathematics/z3: Remove old
490354b
Michał Górny
committed on 2025-03-29 10:23:24 UTC
sci-mathematics/z3/Manifest
sci-mathematics/z3/z3-4.14.0.ebuild
sci-mathematics/z3: Stabilize 4.14.1 sparc, #952856
0406a8e
Sam James
committed on 2025-03-29 10:11:58 UTC
sci-mathematics/z3/z3-4.14.1.ebuild
sci-mathematics/z3: Stabilize 4.14.1 ppc64, #952856
b3405fe
Arthur Zamarin
committed on 2025-03-29 07:45:44 UTC
sci-mathematics/z3/z3-4.14.1.ebuild
sci-mathematics/z3: Stabilize 4.14.1 amd64, #952856
502aedc
Arthur Zamarin
committed on 2025-03-29 07:45:44 UTC
sci-mathematics/z3/z3-4.14.1.ebuild
sci-mathematics/z3: Stabilize 4.14.1 x86, #952856
6e747fc
Arthur Zamarin
committed on 2025-03-29 07:45:43 UTC
sci-mathematics/z3/z3-4.14.1.ebuild
sci-mathematics/z3: Stabilize 4.14.1 arm, #952856
3fb2734
Arthur Zamarin
committed on 2025-03-29 07:41:26 UTC
sci-mathematics/z3/z3-4.14.1.ebuild
sci-mathematics/z3: Stabilize 4.14.1 arm64, #952856
fd70825
Arthur Zamarin
committed on 2025-03-29 07:41:25 UTC
sci-mathematics/z3/z3-4.14.1.ebuild
Commits on 2025-03-11
sci-mathematics/z3: Bump to 4.14.1
ec26c27
Michał Górny
committed on 2025-03-11 08:47:24 UTC
sci-mathematics/z3/z3-4.14.1.ebuild
sci-mathematics/z3/Manifest
Commits on 2025-03-08
sci-mathematics/z3: Remove old
3764d6f
Michał Górny
committed on 2025-03-08 17:02:48 UTC
sci-mathematics/z3/Manifest
sci-mathematics/z3/z3-4.13.4.ebuild
sci-mathematics/z3: Stabilize 4.14.0 arm64, #950824
0398ff8
Sam James
committed on 2025-03-08 14:08:04 UTC
sci-mathematics/z3/z3-4.14.0.ebuild
sci-mathematics/z3: Stabilize 4.14.0 x86, #950824
b6e54a9
Jakov Smolić
committed on 2025-03-08 13:07:10 UTC
sci-mathematics/z3/z3-4.14.0.ebuild
sci-mathematics/z3: Stabilize 4.14.0 amd64, #950824
c731940
Jakov Smolić
committed on 2025-03-08 12:33:59 UTC
sci-mathematics/z3/z3-4.14.0.ebuild
sci-mathematics/z3: Stabilize 4.14.0 ppc64, #950824
3d51adc
Arthur Zamarin
committed on 2025-03-08 11:57:47 UTC
sci-mathematics/z3/z3-4.14.0.ebuild
sci-mathematics/z3: Stabilize 4.14.0 arm, #950824
fe1a696
Arthur Zamarin
committed on 2025-03-08 09:32:41 UTC
sci-mathematics/z3/z3-4.14.0.ebuild
sci-mathematics/z3: Stabilize 4.14.0 sparc, #950824
9982665
Arthur Zamarin
committed on 2025-03-08 09:32:41 UTC
sci-mathematics/z3/z3-4.14.0.ebuild
Commits on 2025-02-19
sci-mathematics/z3: Bump to 4.14.0
1bc69ef
Michał Górny
committed on 2025-02-19 07:56:25 UTC
sci-mathematics/z3/z3-4.14.0.ebuild
sci-mathematics/z3/Manifest
Commits on 2025-01-04
sci-mathematics/z3: Remove old
f41f4ec
Michał Górny
committed on 2025-01-04 19:08:48 UTC
sci-mathematics/z3/Manifest
sci-mathematics/z3/z3-4.13.3.ebuild
sci-mathematics/z3: Stabilize 4.13.4 arm, #947419
17fc663
Sam James
committed on 2025-01-04 17:29:39 UTC
sci-mathematics/z3/z3-4.13.4.ebuild
sci-mathematics/z3: Stabilize 4.13.4 arm64, #947419
a8c4bd8
Arthur Zamarin
committed on 2025-01-04 16:22:15 UTC
sci-mathematics/z3/z3-4.13.4.ebuild
sci-mathematics/z3: Stabilize 4.13.4 amd64, #947419
7185145
Sam James
committed on 2025-01-04 14:26:41 UTC
sci-mathematics/z3/z3-4.13.4.ebuild
sci-mathematics/z3: Stabilize 4.13.4 x86, #947419
a9d79ea
Arthur Zamarin
committed on 2025-01-04 13:27:42 UTC
sci-mathematics/z3/z3-4.13.4.ebuild
sci-mathematics/z3: Stabilize 4.13.4 sparc, #947419
b14f293
Sam James
committed on 2025-01-04 11:41:14 UTC
sci-mathematics/z3/z3-4.13.4.ebuild
sci-mathematics/z3: Stabilize 4.13.4 ppc64, #947419
138dc43
Sam James
committed on 2025-01-04 11:41:13 UTC
sci-mathematics/z3/z3-4.13.4.ebuild
Commits on 2024-12-18
sci-mathematics/z3: Bump to 4.13.4
cf95045
Michał Górny
committed on 2024-12-18 08:07:07 UTC
sci-mathematics/z3/z3-4.13.4.ebuild
sci-mathematics/z3/Manifest
Commits on 2024-10-19
sci-mathematics/z3: Remove old
0bae138
Michał Górny
committed on 2024-10-19 09:49:18 UTC
sci-mathematics/z3/Manifest
sci-mathematics/z3/z3-4.13.0.ebuild
sci-mathematics/z3/z3-4.13.2.ebuild
sci-mathematics/z3: Stabilize 4.13.3 sparc, #941789
73288b8
Arthur Zamarin
committed on 2024-10-19 09:22:08 UTC
sci-mathematics/z3/z3-4.13.3.ebuild
sci-mathematics/z3: Stabilize 4.13.3 x86, #941789
7fa1272
Arthur Zamarin
committed on 2024-10-19 09:10:45 UTC
sci-mathematics/z3/z3-4.13.3.ebuild
sci-mathematics/z3: Stabilize 4.13.3 ppc64, #941789
4a2f99c
Arthur Zamarin
committed on 2024-10-19 08:43:25 UTC
sci-mathematics/z3/z3-4.13.3.ebuild
sci-mathematics/z3: Stabilize 4.13.3 amd64, #941789
06dacc1
Arthur Zamarin
committed on 2024-10-19 08:40:54 UTC
sci-mathematics/z3/z3-4.13.3.ebuild
sci-mathematics/z3: Stabilize 4.13.3 arm, #941789
9b89f7d
Arthur Zamarin
committed on 2024-10-19 08:14:25 UTC
sci-mathematics/z3/z3-4.13.3.ebuild