sci-mathematics/z3 – Gentoo Packages

Packages

Get Gentoo!

Latest Commits

Commits on Feb 16, 2017
- sci-mathematics/z3: workaround configure failure on non-ASCII
  8111d0a
  
  Sergei Trofimovich committed on 16 Feb 2017 10:21:42
  
  z3-4.5.0.ebuild
Commits on Jan 28, 2017
- sci-mathematics/z3: Fix examples install directory.
  07ebca9
  
  Mark Wright committed on 28 Jan 2017 10:34:37
  
  z3-4.4.1.ebuild z3-4.5.0.ebuild
- sci-mathematics/z3: Fix python API, thanks to Jonas Jelten for reporting.
  7cea2df
  
  Mark Wright committed on 28 Jan 2017 08:49:17
  
  z3-4.4.1.ebuild z3-4.5.0.ebuild
Commits on Jan 03, 2017
- sci-mathematics/z3: Thanks to Daniel Gulotta for reporting.
  ecbf572
  
  Mark Wright committed on 3 Jan 2017 10:25:02
  
  z3-4.4.1.ebuild z3-4.5.0.ebuild
Commits on Jan 02, 2017
- sci-mathematics/z3: Fix install for USE="python -doc", thanks to Toralf F?rster
  7949c35
  
  Mark Wright committed on 2 Jan 2017 13:48:33
  
  z3-4.5.0.ebuild
- sci-mathematics/z3: Thanks to Yichao Zhou, jlec and slyfox for development
  e1bee05
  
  Mark Wright committed on 2 Jan 2017 00:20:08
  
  Manifest files/z3-4.1.2-configure.patch files/z3-4.4.1-gcc-6.patch metadata.xml z3-4.4.1.ebuild z3-4.5.0.ebuild
Commits on Jun 06, 2022
- sci-mathematics/z3: Remove old
  06ae9df
  
  Michał Górny committed on 6 Jun 2022 11:30:55
  
  Manifest z3-4.8.15-r1.ebuild z3-4.8.16.ebuild
- sci-mathematics/z3: Stabilize 4.8.17 amd64, #850061
  05103e9
  
  Jakov Smolić committed on 6 Jun 2022 10:22:00
  
  z3-4.8.17.ebuild
- sci-mathematics/z3: Stabilize 4.8.17 x86, #850061
  caa2854
  
  Jakov Smolić committed on 6 Jun 2022 10:21:17
  
  z3-4.8.17.ebuild
- sci-mathematics/z3: Stabilize 4.8.17 arm64, #850061
  7b6db73
  
  Jakov Smolić committed on 6 Jun 2022 10:19:52
  
  z3-4.8.17.ebuild
- sci-mathematics/z3: Stabilize 4.8.17 ppc64, #850061
  14f33ec
  
  Jakov Smolić committed on 6 Jun 2022 10:19:51
  
  z3-4.8.17.ebuild
- sci-mathematics/z3: Stabilize 4.8.17 arm, #850061
  e162c6e
  
  Jakov Smolić committed on 6 Jun 2022 10:19:49
  
  z3-4.8.17.ebuild
Commits on May 05, 2022
- sci-mathematics/z3: Bump to 4.8.17
  4742efd
  
  Michał Górny committed on 5 May 2022 07:09:14
  
  z3-4.8.17.ebuild Manifest
Commits on Apr 26, 2022
- sci-mathematics/z3: Remove old
  df149f7
  
  Michał Górny committed on 26 Apr 2022 16:04:31
  
  Manifest files/z3-4.8.14-libatomic.patch z3-4.8.14-r1.ebuild
- sci-mathematics/z3: Stabilize 4.8.15-r1 ppc64, #840665
  d9f4032
  
  Arthur Zamarin committed on 26 Apr 2022 14:01:09
  
  z3-4.8.15-r1.ebuild
- sci-mathematics/z3: Keyword 4.8.16 sparc, #779742
  7ac725a
  
  Sam James committed on 26 Apr 2022 03:48:25
  
  z3-4.8.16.ebuild
Commits on Apr 25, 2022
- sci-mathematics/z3: Stabilize 4.8.15-r1 arm, #840665
  a276917
  
  Arthur Zamarin committed on 25 Apr 2022 19:37:52
  
  z3-4.8.15-r1.ebuild
- sci-mathematics/z3: Stabilize 4.8.15-r1 arm64, #840665
  81316f0
  
  Arthur Zamarin committed on 25 Apr 2022 19:37:17
  
  z3-4.8.15-r1.ebuild
- sci-mathematics/z3: Stabilize 4.8.15-r1 x86, #840665
  442a091
  
  Sam James committed on 25 Apr 2022 02:40:33
  
  z3-4.8.15-r1.ebuild
- sci-mathematics/z3: Stabilize 4.8.15-r1 amd64, #840665
  33b0436
  
  Sam James committed on 25 Apr 2022 02:40:05
  
  z3-4.8.15-r1.ebuild
Commits on Apr 24, 2022
- sci-mathematics/z3: Bump to 4.8.16
  fe0689d
  
  Michał Górny committed on 24 Apr 2022 20:26:19
  
  z3-4.8.16.ebuild Manifest
Commits on Mar 21, 2022
- sci-mathematics/z3: fix documentation
  5d07ea9
  
  Maciej Barć committed on 21 Mar 2022 13:36:04
  
  z3-4.8.14-r1.ebuild z3-4.8.15-r1.ebuild z3-4.8.14.ebuild z3-4.8.15.ebuild
- sci-mathematics/z3: Bump to 4.8.15
  9dd0012
  
  Michał Górny committed on 21 Mar 2022 08:54:36
  
  z3-4.8.15.ebuild Manifest
Commits on Mar 16, 2022
- sci-mathematics/z3: fix link atomic in riscv
  21fd2b2
  
  Han Gao authored and Jakov Smolić committed on 16 Mar 2022 19:18:07
  
  files/z3-4.8.14-libatomic.patch z3-4.8.14.ebuild
Commits on Feb 12, 2022
- sci-mathematics/z3: Remove old
  3c87750
  
  Michał Górny committed on 12 Feb 2022 09:15:04
  
  Manifest z3-4.8.13.ebuild
Commits on Feb 11, 2022
- sci-mathematics/z3: Stabilize 4.8.14 arm64, #833068
  b1a3e68
  
  Arthur Zamarin committed on 11 Feb 2022 21:32:29
  
  z3-4.8.14.ebuild
- sci-mathematics/z3: Stabilize 4.8.14 arm, #833068
  77cafe9
  
  Arthur Zamarin committed on 11 Feb 2022 20:13:06
  
  z3-4.8.14.ebuild
Commits on Feb 10, 2022
- sci-mathematics/z3: Stabilize 4.8.14 ppc64, #833068
  c764a08
  
  Sam James committed on 10 Feb 2022 11:43:08
  
  z3-4.8.14.ebuild
- sci-mathematics/z3: Stabilize 4.8.14 x86, #833068
  fd90b6d
  
  Sam James committed on 10 Feb 2022 11:41:11
  
  z3-4.8.14.ebuild
- sci-mathematics/z3: Stabilize 4.8.14 amd64, #833068
  4b5b339
  
  Jakov Smolić committed on 10 Feb 2022 10:44:56
  
  z3-4.8.14.ebuild
Commits on Jan 11, 2022
- sci-mathematics/z3: Remove old
  836ecd8
  
  Michał Górny committed on 11 Jan 2022 09:59:10
  
  Manifest z3-4.8.11b.ebuild
Commits on Jan 10, 2022
- sci-mathematics/z3: Stabilize 4.8.13 arm64, #830771
  5393b0d
  
  Sam James committed on 10 Jan 2022 22:59:54
  
  z3-4.8.13.ebuild
Commits on Jan 09, 2022
- sci-mathematics/z3: Stabilize 4.8.13 arm, #830771
  f92d6a0
  
  Sam James committed on 9 Jan 2022 01:11:25
  
  z3-4.8.13.ebuild
- sci-mathematics/z3: Stabilize 4.8.13 ppc64, #830771
  06f9367
  
  Sam James committed on 9 Jan 2022 01:11:07
  
  z3-4.8.13.ebuild
Commits on Jan 08, 2022
- sci-mathematics/z3: Stabilize 4.8.13 amd64, #830771
  8c640fe
  
  Jakov Smolić committed on 8 Jan 2022 18:02:37
  
  z3-4.8.13.ebuild
- sci-mathematics/z3: Stabilize 4.8.13 x86, #830771
  ee8ef21
  
  Jakov Smolić committed on 8 Jan 2022 18:01:38
  
  z3-4.8.13.ebuild
Commits on Dec 24, 2021
- sci-mathematics/z3: Bump to 4.8.14
  adbd938
  
  Michał Górny committed on 24 Dec 2021 09:05:40
  
  z3-4.8.14.ebuild Manifest
Commits on Nov 19, 2021
- sci-mathematics/z3: Bump to 4.8.13
  3faccd0
  
  Michał Górny committed on 19 Nov 2021 09:03:01
  
  z3-4.8.13.ebuild Manifest
Commits on Oct 20, 2021
- sci-mathematics/z3: fix build failure with USE="java"
  743dc8f
  
  Alexander Golubev authored and Sam James committed on 20 Oct 2021 02:15:38
  
  z3-4.8.11b.ebuild
Commits on Sep 11, 2021
- **/metadata.xml: Replace http by https in DOCTYPE element
  38b155f
  
  Ulrich Müller committed on 11 Sep 2021 13:22:48