sci-mathematics/z3 – Gentoo Packages

Packages

Get Gentoo!

Latest Commits

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
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.ebuildsci-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.ebuildsci-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/Manifestsci-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.ebuildsci-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/Manifestsci-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/Manifestsci-mathematics/z3/files/z3-4.12.2-gcc-13.patchsci-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