Gentoo Packages

Package: dev-haskell/minisat

This package is available in the following overlays:

Overlay	Versions Available
haskell	=dev-haskell/minisat-0.1.3::haskell
nest	=dev-haskell/minisat-0.1.4::nest