sci-mathematics/kissat – Gentoo Packages

Packages

Get Gentoo!

Latest Commits

Commits on 2023-10-11
- sci-mathematics/kissat: drop old 3.0.0
  4bef4aa
  Maciej Barć committed on 2023-10-11 00:19:38 UTC
  sci-mathematics/kissat/Manifestsci-mathematics/kissat/kissat-3.0.0.ebuild
- sci-mathematics/kissat: bump to 3.1.1
  1248ca4
  Maciej Barć committed on 2023-10-11 00:19:38 UTC
  sci-mathematics/kissat/kissat-3.1.1.ebuildsci-mathematics/kissat/Manifest
Commits on 2023-08-15
- sci-mathematics/kissat: bump to 3.1.0
  adc778b
  Maciej Barć committed on 2023-08-15 11:59:52 UTC
  sci-mathematics/kissat/kissat-3.1.0.ebuildsci-mathematics/kissat/Manifest
Commits on 2023-02-15
- sci-mathematics/kissat: add blocker on >=x11-terms/kitty-0.27
  d9c1c1f
  Ionen Wolkens committed on 2023-02-15 06:24:30 UTC
  sci-mathematics/kissat/kissat-3.0.0.ebuild
Commits on 2023-01-10
- sci-mathematics/kissat: new package; add 3.0.0
  2257ce4
  Maciej Barć committed on 2023-01-10 04:22:47 UTC
  sci-mathematics/kissat/Manifestsci-mathematics/kissat/kissat-3.0.0.ebuildsci-mathematics/kissat/metadata.xml