sci-mathematics/boolector – Gentoo Packages

Packages

Get Gentoo!

Latest Commits

RSS Feed

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
  
  boolector-3.2.3.ebuild files/boolector-3.2.3-cmake-std.patch Manifest
Commits on 2023-03-04
- sci-mathematics/boolector: H -> COMMIT
  b4d8369
  
  Maciej Barć committed on 2023-03-04 16:32:11 UTC
  
  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
  
  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
  
  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
  
  Manifest boolector-3.2.2_p20220110.ebuild metadata.xml