sci-mathematics/z3 – Gentoo Packages

Packages

Get Gentoo!

Latest Commits

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/Manifestsci-mathematics/z3/z3-4.14.1.ebuildsci-mathematics/z3/z3-4.15.0.ebuildsci-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.ebuildsci-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.ebuildsci-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.ebuildsci-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/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