sci-mathematics/cryptominisat – Gentoo Packages

Packages

Get Gentoo!

Latest Commits

Commits on 2024-06-12
- sci-mathematics/cryptominisat: enable python support
  958deb8
  Maciej Barć committed on 2024-06-12 23:40:24 UTC
  sci-mathematics/cryptominisat/cryptominisat-5.11.21-r1.ebuildsci-mathematics/cryptominisat/files/cryptominisat-5.11.21-setup-py.patchsci-mathematics/cryptominisat/cryptominisat-5.11.21.ebuild
- sci-mathematics/cryptominisat: patch unistd include
  292ba8f
  Maciej Barć committed on 2024-06-12 23:40:24 UTC
  sci-mathematics/cryptominisat/files/cryptominisat-5.11.21-unistd.patchsci-mathematics/cryptominisat/cryptominisat-5.11.21.ebuild
- sci-mathematics/cryptominisat: drop old 5.11.15
  3c6449a
  Maciej Barć committed on 2024-06-12 23:40:24 UTC
  sci-mathematics/cryptominisat/Manifestsci-mathematics/cryptominisat/cryptominisat-5.11.15.ebuild
Commits on 2024-02-14
- sci-mathematics/cryptominisat: bump to 5.11.21
  ea3d2b7
  Maciej Barć committed on 2024-02-14 20:27:58 UTC
  sci-mathematics/cryptominisat/cryptominisat-5.11.21.ebuildsci-mathematics/cryptominisat/Manifest
- sci-mathematics/cryptominisat: drop old 5.11.14
  8f77d0d
  Maciej Barć committed on 2024-02-14 20:27:58 UTC
  sci-mathematics/cryptominisat/Manifestsci-mathematics/cryptominisat/cryptominisat-5.11.14.ebuild
Commits on 2023-10-22
- sci-mathematics/cryptominisat: bump to 5.11.15
  73bf730
  Maciej Barć committed on 2023-10-22 08:46:55 UTC
  sci-mathematics/cryptominisat/cryptominisat-5.11.15.ebuildsci-mathematics/cryptominisat/Manifest
- sci-mathematics/cryptominisat: drop old 5.11.12
  13b2199
  Maciej Barć committed on 2023-10-22 08:46:55 UTC
  sci-mathematics/cryptominisat/Manifestsci-mathematics/cryptominisat/cryptominisat-5.11.12.ebuild
- sci-mathematics/cryptominisat: drop old 5.11.11
  6db8aa6
  Maciej Barć committed on 2023-10-22 08:46:55 UTC
  sci-mathematics/cryptominisat/Manifestsci-mathematics/cryptominisat/cryptominisat-5.11.11.ebuild
Commits on 2023-09-24
- sci-mathematics/cryptominisat: bump to 5.11.14
  a93eef9
  Maciej Barć committed on 2023-09-24 13:29:36 UTC
  sci-mathematics/cryptominisat/cryptominisat-5.11.14.ebuildsci-mathematics/cryptominisat/Manifest
Commits on 2023-08-12
- sci-mathematics/cryptominisat: drop old 5.11.4
  decccc2
  Maciej Barć committed on 2023-08-12 23:23:14 UTC
  sci-mathematics/cryptominisat/Manifestsci-mathematics/cryptominisat/cryptominisat-5.11.4.ebuildsci-mathematics/cryptominisat/files/cryptominisat-5.11.4-gcc-13.patch
- sci-mathematics/cryptominisat: bump to 5.11.12
  ce8db00
  Maciej Barć committed on 2023-08-12 23:23:14 UTC
  sci-mathematics/cryptominisat/cryptominisat-5.11.12.ebuildsci-mathematics/cryptominisat/Manifest
Commits on 2023-06-25
- sci-mathematics/cryptominisat: bump to 5.11.11
  f31e514
  Maciej Barć committed on 2023-06-25 16:07:47 UTC
  sci-mathematics/cryptominisat/cryptominisat-5.11.11.ebuildsci-mathematics/cryptominisat/Manifest
Commits on 2023-04-18
- sci-mathematics/cryptominisat: fix build with GCC 13
  adc145b
  Maciej Barć committed on 2023-04-18 13:55:09 UTC
  sci-mathematics/cryptominisat/files/cryptominisat-5.11.4-gcc-13.patchsci-mathematics/cryptominisat/cryptominisat-5.11.4.ebuild
- sci-mathematics/cryptominisat: drop old 5.8.0
  5a968af
  Maciej Barć committed on 2023-04-18 13:55:09 UTC
  sci-mathematics/cryptominisat/Manifestsci-mathematics/cryptominisat/cryptominisat-5.8.0.ebuildsci-mathematics/cryptominisat/files/cryptominisat-5.8.0-setup.py.in-sysconfig.patch
Commits on 2023-01-14
- */*: remove py3.8 from PYTHON_COMPAT
  ed46802
  David Seifert committed on 2023-01-14 12:51:19 UTC
  sci-mathematics/cryptominisat/cryptominisat-5.8.0.ebuild
Commits on 2023-01-12
- sci-mathematics/cryptominisat: bump to 5.11.4
  c0916c5
  Maciej Barć committed on 2023-01-12 01:23:40 UTC
  sci-mathematics/cryptominisat/cryptominisat-5.11.4.ebuildsci-mathematics/cryptominisat/Manifest
Commits on 2022-04-03
- sci-mathematics/cryptominisat: fix sysconfig import
  d7fe2f7
  Maciej Barć committed on 2022-04-03 19:11:41 UTC
  sci-mathematics/cryptominisat/files/cryptominisat-5.8.0-setup.py.in-sysconfig.patchsci-mathematics/cryptominisat/cryptominisat-5.8.0.ebuild
Commits on 2021-12-26
- sci-mathematics/cryptominisat: new package; add version 5.8.0
  06daa4f
  Maciej Barć committed on 2021-12-26 19:52:23 UTC
  sci-mathematics/cryptominisat/Manifestsci-mathematics/cryptominisat/cryptominisat-5.8.0.ebuildsci-mathematics/cryptominisat/metadata.xml