sci-mathematics/boolector – Gentoo Packages

Packages

Get Gentoo!

Latest Commits

Commits on 2025-04-18
- sci-mathematics/boolector: bump cmake_minimum_required
  bd31992
  Maciej Barć committed on 2025-04-18 15:24:12 UTC
  sci-mathematics/boolector/files/boolector-3.2.4-cmake_minimum_required.patchsci-mathematics/boolector/boolector-3.2.4.ebuild
- sci-mathematics/boolector: drop old 3.2.3
  a068760
  Maciej Barć committed on 2025-04-18 15:24:12 UTC
  sci-mathematics/boolector/Manifestsci-mathematics/boolector/boolector-3.2.3.ebuild
Commits on 2024-09-30
- sci-mathematics/boolector: bump to 3.2.4
  7a0fddf
  Maciej Barć committed on 2024-09-30 18:22:54 UTC
  sci-mathematics/boolector/boolector-3.2.4.ebuildsci-mathematics/boolector/Manifest
Commits on 2024-04-09
- sci-mathematics/boolector: fix install on musl
  0602146
  Maciej Barć committed on 2024-04-09 09:30:07 UTC
  sci-mathematics/boolector/boolector-3.2.3.ebuild
- sci-mathematics/boolector: drop old 3.2.2_p20220110
  d6de1ae
  Maciej Barć committed on 2024-04-09 09:30:06 UTC
  sci-mathematics/boolector/Manifestsci-mathematics/boolector/boolector-3.2.2_p20220110.ebuild
Commits on 2023-11-02
- sci-mathematics/boolector: bump to 3.2.3
  07cc52f
  Maciej Barć committed on 2023-11-02 22:11:22 UTC
  sci-mathematics/boolector/boolector-3.2.3.ebuildsci-mathematics/boolector/files/boolector-3.2.3-cmake-std.patchsci-mathematics/boolector/Manifest
Commits on 2023-03-04
- sci-mathematics/boolector: H -> COMMIT
  b4d8369
  Maciej Barć committed on 2023-03-04 16:32:11 UTC
  sci-mathematics/boolector/boolector-3.2.2_p20220110.ebuild
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/boolector/boolector-3.2.2_p20220110.ebuild
Commits on 2023-01-13
- sci-mathematics/boolector: fix build to not require static libs
  ac87869
  Maciej Barć committed on 2023-01-13 15:42:38 UTC
  sci-mathematics/boolector/boolector-3.2.2_p20220110.ebuild
Commits on 2023-01-11
- sci-mathematics/boolector: new package; add 3.2.2_p20220110
  8c125ea
  Maciej Barć committed on 2023-01-11 03:44:07 UTC
  sci-mathematics/boolector/Manifestsci-mathematics/boolector/boolector-3.2.2_p20220110.ebuildsci-mathematics/boolector/metadata.xml