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 2024-03-23
sci-mathematics/z3: Remove old
4c5de83
Michał Górny
committed on 2024-03-23 14:36:05 UTC
sci-mathematics/z3/Manifest
sci-mathematics/z3/z3-4.12.6.ebuild
sci-mathematics/z3: Stabilize 4.13.0 ppc64, #927602
53b6756
Sam James
committed on 2024-03-23 13:38:37 UTC
sci-mathematics/z3/z3-4.13.0.ebuild
sci-mathematics/z3: Stabilize 4.13.0 arm64, #927602
3e2c18a
Michał Górny
committed on 2024-03-23 11:52:49 UTC
sci-mathematics/z3/z3-4.13.0.ebuild
sci-mathematics/z3: Stabilize 4.13.0 x86, #927602
6a764d0
Michał Górny
committed on 2024-03-23 11:52:47 UTC
sci-mathematics/z3/z3-4.13.0.ebuild
sci-mathematics/z3: Stabilize 4.13.0 amd64, #927602
dfe57c1
Michał Górny
committed on 2024-03-23 11:52:46 UTC
sci-mathematics/z3/z3-4.13.0.ebuild
sci-mathematics/z3: Stabilize 4.13.0 sparc, #927602
9ffc2a3
Michał Górny
committed on 2024-03-23 11:52:45 UTC
sci-mathematics/z3/z3-4.13.0.ebuild
sci-mathematics/z3: Stabilize 4.13.0 arm, #927602
a1fff7a
Michał Górny
committed on 2024-03-23 11:52:43 UTC
sci-mathematics/z3/z3-4.13.0.ebuild
Commits on 2024-03-16
sci-mathematics/z3: Remove old
def898d
Michał Górny
committed on 2024-03-16 18:08:26 UTC
sci-mathematics/z3/Manifest
sci-mathematics/z3/z3-4.12.5.ebuild
sci-mathematics/z3: Stabilize 4.12.6 x86, #927109
1dbd73f
Arthur Zamarin
committed on 2024-03-16 17:16:00 UTC
sci-mathematics/z3/z3-4.12.6.ebuild
sci-mathematics/z3: Stabilize 4.12.6 amd64, #927109
61b9ccd
Arthur Zamarin
committed on 2024-03-16 17:08:22 UTC
sci-mathematics/z3/z3-4.12.6.ebuild
sci-mathematics/z3: Stabilize 4.12.6 arm, #927109
de4a589
Arthur Zamarin
committed on 2024-03-16 16:52:23 UTC
sci-mathematics/z3/z3-4.12.6.ebuild
sci-mathematics/z3: Stabilize 4.12.6 sparc, #927109
060936f
Arthur Zamarin
committed on 2024-03-16 16:35:25 UTC
sci-mathematics/z3/z3-4.12.6.ebuild
sci-mathematics/z3: Stabilize 4.12.6 arm64, #927109
2bd1f0c
Arthur Zamarin
committed on 2024-03-16 11:48:51 UTC
sci-mathematics/z3/z3-4.12.6.ebuild
sci-mathematics/z3: Stabilize 4.12.6 ppc64, #927109
3bbb876
Arthur Zamarin
committed on 2024-03-16 10:22:56 UTC
sci-mathematics/z3/z3-4.12.6.ebuild
Commits on 2024-03-08
sci-mathematics/z3: remove the filter-lto/fno-strict-aliasing
64b9a3a
Eli Schwartz
authored
and
Sam James
committed on 2024-03-08 11:09:04 UTC
sci-mathematics/z3/z3-4.13.0.ebuild
sci-mathematics/z3: Bump to 4.13.0
bfb3e84
Michał Górny
committed on 2024-03-08 05:40:28 UTC
sci-mathematics/z3/z3-4.13.0.ebuild
sci-mathematics/z3/Manifest
Commits on 2024-03-04
sci-mathematics/z3: mark as LTO-unsafe, strict-aliasing unsafe
83e5cbb
Eli Schwartz
authored
and
Sam James
committed on 2024-03-04 04:14:11 UTC
sci-mathematics/z3/z3-4.12.5.ebuild
sci-mathematics/z3/z3-4.12.6.ebuild
Commits on 2024-02-26
sci-mathematics/z3: Bump to 4.12.6
182cc8d
Michał Górny
committed on 2024-02-26 17:48:18 UTC
sci-mathematics/z3/z3-4.12.6.ebuild
sci-mathematics/z3/Manifest
Commits on 2024-02-14
*/*: Reassign gienah's packages
32f1144
Michał Górny
committed on 2024-02-14 09:50:24 UTC
sci-mathematics/z3/metadata.xml
Commits on 2024-02-09
sci-mathematics/z3: Remove old
eba970b
Michał Górny
committed on 2024-02-09 03:35:39 UTC
sci-mathematics/z3/Manifest
sci-mathematics/z3/z3-4.12.4.ebuild
sci-mathematics/z3: Stabilize 4.12.5 amd64, #924099
b1243a6
Sam James
committed on 2024-02-09 01:03:32 UTC
sci-mathematics/z3/z3-4.12.5.ebuild
Commits on 2024-02-08
sci-mathematics/z3: Stabilize 4.12.5 arm, #924099
98034af
Michał Górny
committed on 2024-02-08 14:48:14 UTC
sci-mathematics/z3/z3-4.12.5.ebuild
sci-mathematics/z3: Stabilize 4.12.5 arm64, #924099
b605897
Michał Górny
committed on 2024-02-08 14:48:12 UTC
sci-mathematics/z3/z3-4.12.5.ebuild
sci-mathematics/z3: Stabilize 4.12.5 ppc64, #924099
a95e232
Michał Górny
committed on 2024-02-08 14:42:35 UTC
sci-mathematics/z3/z3-4.12.5.ebuild
sci-mathematics/z3: Stabilize 4.12.5 x86, #924099
fba2678
Michał Górny
committed on 2024-02-08 14:42:34 UTC
sci-mathematics/z3/z3-4.12.5.ebuild
sci-mathematics/z3: Stabilize 4.12.5 sparc, #924099
53d86f7
Michał Górny
committed on 2024-02-08 14:42:33 UTC
sci-mathematics/z3/z3-4.12.5.ebuild
Commits on 2024-01-22
sci-mathematics/z3: Bump to 4.12.5
48c31b4
Michał Górny
committed on 2024-01-22 03:32:11 UTC
sci-mathematics/z3/z3-4.12.5.ebuild
sci-mathematics/z3/Manifest
Commits on 2024-01-12
Move {app-doc → app-text}/doxygen
f7fdfda
Michał Górny
committed on 2024-01-12 14:36:00 UTC
sci-mathematics/z3/z3-4.12.4.ebuild
Commits on 2024-01-06
sci-mathematics/z3: Remove old
97f8fea
Michał Górny
committed on 2024-01-06 19:49:47 UTC
sci-mathematics/z3/Manifest
sci-mathematics/z3/z3-4.12.3.ebuild
sci-mathematics/z3: Stabilize 4.12.4 amd64, #921493
fc40bb8
Michał Górny
committed on 2024-01-06 18:46:03 UTC
sci-mathematics/z3/z3-4.12.4.ebuild
sci-mathematics/z3: Stabilize 4.12.4 x86, #921493
711263e
Michał Górny
committed on 2024-01-06 18:46:01 UTC
sci-mathematics/z3/z3-4.12.4.ebuild
sci-mathematics/z3: Stabilize 4.12.4 ppc64, #921493
917ea7b
Arthur Zamarin
committed on 2024-01-06 12:22:36 UTC
sci-mathematics/z3/z3-4.12.4.ebuild
sci-mathematics/z3: Stabilize 4.12.4 sparc, #921493
521867b
Sam James
committed on 2024-01-06 11:53:53 UTC
sci-mathematics/z3/z3-4.12.4.ebuild
sci-mathematics/z3: Stabilize 4.12.4 arm64, #921493
ca524c6
Sam James
committed on 2024-01-06 11:53:52 UTC
sci-mathematics/z3/z3-4.12.4.ebuild
sci-mathematics/z3: Stabilize 4.12.4 arm, #921493
fec082f
Sam James
committed on 2024-01-06 11:53:51 UTC
sci-mathematics/z3/z3-4.12.4.ebuild
Commits on 2023-12-21
sci-mathematics/z3: Remove old
d613e1c
Michał Górny
committed on 2023-12-21 10:47:48 UTC
sci-mathematics/z3/Manifest
sci-mathematics/z3/files/z3-4.12.2-gcc-13.patch
sci-mathematics/z3/z3-4.12.2.ebuild
sci-mathematics/z3: Stabilize 4.12.3 x86, #920427
8f1836d
Arthur Zamarin
committed on 2023-12-21 07:26:25 UTC
sci-mathematics/z3/z3-4.12.3.ebuild
sci-mathematics/z3: Stabilize 4.12.3 arm64, #920427
7d3e7d6
Sam James
committed on 2023-12-21 06:50:48 UTC
sci-mathematics/z3/z3-4.12.3.ebuild
sci-mathematics/z3: Stabilize 4.12.3 arm, #920427
49ca6b8
Sam James
committed on 2023-12-21 06:50:47 UTC
sci-mathematics/z3/z3-4.12.3.ebuild
sci-mathematics/z3: Stabilize 4.12.3 amd64, #920427
3dc9dff
Sam James
committed on 2023-12-21 06:50:46 UTC
sci-mathematics/z3/z3-4.12.3.ebuild
sci-mathematics/z3: Stabilize 4.12.3 sparc, #920427
ae966b8
Sam James
committed on 2023-12-21 06:50:45 UTC
sci-mathematics/z3/z3-4.12.3.ebuild
sci-mathematics/z3: Stabilize 4.12.3 ppc64, #920427
52d1002
Sam James
committed on 2023-12-21 06:50:44 UTC
sci-mathematics/z3/z3-4.12.3.ebuild
Commits on 2023-12-07
sci-mathematics/z3: Bump to 4.12.4
2802958
Michał Górny
committed on 2023-12-07 04:06:27 UTC
sci-mathematics/z3/z3-4.12.4.ebuild
sci-mathematics/z3/Manifest
Commits on 2023-12-05
sci-mathematics/z3: Bump to 4.12.3
02848e7
Michał Górny
committed on 2023-12-05 14:32:37 UTC
sci-mathematics/z3/z3-4.12.3.ebuild
sci-mathematics/z3/Manifest
Commits on 2023-12-02
sci-mathematics/z3: Remove old
2b22821
Michał Górny
committed on 2023-12-02 12:02:29 UTC
sci-mathematics/z3/Manifest
sci-mathematics/z3/z3-4.12.1.ebuild
sci-mathematics/z3: Stabilize 4.12.2 ppc64, #919030
3df8ac5
Arthur Zamarin
committed on 2023-12-02 11:30:55 UTC
sci-mathematics/z3/z3-4.12.2.ebuild
sci-mathematics/z3: Stabilize 4.12.2 x86, #919030
04dce19
Michał Górny
committed on 2023-12-02 10:42:58 UTC
sci-mathematics/z3/z3-4.12.2.ebuild
sci-mathematics/z3: Stabilize 4.12.2 amd64, #919030
95d104e
Arthur Zamarin
committed on 2023-12-02 10:35:28 UTC
sci-mathematics/z3/z3-4.12.2.ebuild
sci-mathematics/z3: Stabilize 4.12.2 sparc, #919030
1965d3c
Arthur Zamarin
committed on 2023-12-02 10:16:15 UTC
sci-mathematics/z3/z3-4.12.2.ebuild
sci-mathematics/z3: Stabilize 4.12.2 arm, #919030
7610864
Arthur Zamarin
committed on 2023-12-02 10:13:45 UTC
sci-mathematics/z3/z3-4.12.2.ebuild