sci-mathematics/z3 – Gentoo Packages

Packages

Get Gentoo!

Latest Commits

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/Manifestsci-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.ebuildsci-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/Manifestsci-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.ebuildsci-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/Manifestsci-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.ebuildsci-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/Manifestsci-mathematics/z3/z3-4.13.0.ebuildsci-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
- sci-mathematics/z3: Stabilize 4.13.3 arm64, #941789
  fe3a826
  Arthur Zamarin committed on 2024-10-19 07:47:32 UTC
  sci-mathematics/z3/z3-4.13.3.ebuild
Commits on 2024-10-11
- sci-mathematics/z3: Bump to 4.13.3
  fa26eb2
  Michał Górny committed on 2024-10-11 02:47:25 UTC
  sci-mathematics/z3/z3-4.13.3.ebuildsci-mathematics/z3/Manifest
Commits on 2024-09-28
- sci-mathematics/z3: Bump to 4.13.2
  658e90a
  Michał Górny committed on 2024-09-28 07:42:07 UTC
  sci-mathematics/z3/z3-4.13.2.ebuildsci-mathematics/z3/Manifest
Commits on 2024-06-04
- sci-mathematics/z3: Keyword 4.13.0 mips, #779742
  4e9d29e
  Matoro Mahri authored and Viorel Munteanu committed on 2024-06-04 17:43:37 UTC
  sci-mathematics/z3/z3-4.13.0.ebuild
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/Manifestsci-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/Manifestsci-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.ebuildsci-mathematics/z3/Manifest