sci-mathematics/z3 – Gentoo Packages

Packages

Get Gentoo!

Latest Commits

Commits on Nov 27, 2022
- sci-mathematics/z3: keyword 4.11.2 for ~loong
  5dcef39
  
  WANG Xuerui committed on 27 Nov 2022 02:45:03
  
  z3-4.11.2.ebuild
Commits on Sep 23, 2022
- sci-mathematics/z3: Remove old
  047311e
  
  Michał Górny committed on 23 Sep 2022 13:51:40
  
  Manifest z3-4.9.1-r1.ebuild
- sci-mathematics/z3: Remove old
  6157122
  
  Michał Górny committed on 23 Sep 2022 10:05:00
  
  Manifest z3-4.10.1.ebuild z3-4.10.2.ebuild z3-4.11.0.ebuild z3-4.8.17.ebuild
- sci-mathematics/z3: Revert "Remove old"
  f705f92
  
  Michał Górny committed on 23 Sep 2022 10:04:12
  
  z3-4.10.1.ebuild z3-4.10.2.ebuild z3-4.11.0.ebuild z3-4.8.17.ebuild z3-4.9.1-r1.ebuild Manifest
- sci-mathematics/z3: Remove old
  8f5a052
  
  Michał Górny committed on 23 Sep 2022 08:11:49
  
  Manifest z3-4.10.1.ebuild z3-4.10.2.ebuild z3-4.11.0.ebuild z3-4.8.17.ebuild z3-4.9.1-r1.ebuild
- sci-mathematics/z3: Stabilize 4.11.2 sparc, #872290
  9b019d6
  
  Arthur Zamarin committed on 23 Sep 2022 06:58:22
  
  z3-4.11.2.ebuild
Commits on Sep 22, 2022
- sci-mathematics/z3: Stabilize 4.11.2 ppc64, #872290
  489a63a
  
  Arthur Zamarin committed on 22 Sep 2022 17:02:49
  
  z3-4.11.2.ebuild
- sci-mathematics/z3: Stabilize 4.11.2 x86, #872290
  18538c4
  
  Jakov Smolić committed on 22 Sep 2022 08:05:16
  
  z3-4.11.2.ebuild
- sci-mathematics/z3: Stabilize 4.11.2 amd64, #872290
  5092d6c
  
  Jakov Smolić committed on 22 Sep 2022 08:05:02
  
  z3-4.11.2.ebuild
- sci-mathematics/z3: Stabilize 4.11.2 arm, #872290
  8078002
  
  Jakov Smolić committed on 22 Sep 2022 08:04:10
  
  z3-4.11.2.ebuild
- sci-mathematics/z3: Stabilize 4.11.2 arm64, #872290
  1ca6800
  
  Jakov Smolić committed on 22 Sep 2022 08:04:08
  
  z3-4.11.2.ebuild
Commits on Sep 04, 2022
- sci-mathematics/z3: Bump to 4.11.2
  dd9c38f
  
  Michał Górny committed on 4 Sep 2022 16:22:12
  
  z3-4.11.2.ebuild Manifest
Commits on Aug 19, 2022
- sci-mathematics/z3: Stabilize 4.10.2 x86, #865789
  193a77e
  
  Sam James committed on 19 Aug 2022 16:53:50
  
  z3-4.10.2.ebuild
- sci-mathematics/z3: Stabilize 4.10.2 amd64, #865789
  d55f34e
  
  Sam James committed on 19 Aug 2022 16:52:25
  
  z3-4.10.2.ebuild
- sci-mathematics/z3: Stabilize 4.10.2 arm64, #865789
  f8c8f1b
  
  Arthur Zamarin committed on 19 Aug 2022 10:38:02
  
  z3-4.10.2.ebuild
- sci-mathematics/z3: Stabilize 4.10.2 arm, #865789
  3b70582
  
  Arthur Zamarin committed on 19 Aug 2022 10:34:48
  
  z3-4.10.2.ebuild
- sci-mathematics/z3: Bump to 4.11.0
  052bb26
  
  Michał Górny committed on 19 Aug 2022 09:27:27
  
  z3-4.11.0.ebuild Manifest
Commits on Aug 15, 2022
- */*: Drop CMAKE_ECLASS meta var superfluous in EAPI-8
  900accb
  
  Andreas Sturmlechner committed on 15 Aug 2022 19:17:23
  
  z3-4.10.1.ebuild z3-4.10.2.ebuild z3-4.8.17.ebuild z3-4.9.1-r1.ebuild
Commits on Aug 02, 2022
- sci-mathematics/z3: Stabilize 4.8.17 sparc, #862999
  ef187a4
  
  Arthur Zamarin committed on 2 Aug 2022 19:50:02
  
  z3-4.8.17.ebuild
Commits on Jul 30, 2022
- sci-mathematics/z3: Bump to 4.10.2
  75ea0b6
  
  Michał Górny committed on 30 Jul 2022 06:11:27
  
  z3-4.10.2.ebuild Manifest
Commits on Jul 23, 2022
- sci-mathematics/z3: Bump to 4.10.1
  9df47d8
  
  Michał Górny committed on 23 Jul 2022 06:22:08
  
  z3-4.10.1.ebuild Manifest
Commits on Jul 07, 2022
- sci-mathematics/z3: Fix subslot in 4.9.1
  cf81455
  
  Michał Górny committed on 7 Jul 2022 10:02:40
  
  z3-4.9.1-r1.ebuild z3-4.9.1.ebuild
- sci-mathematics/z3: Bump to 4.9.1
  bb0ac58
  
  Michał Górny committed on 7 Jul 2022 08:26:00
  
  z3-4.9.1.ebuild Manifest
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