SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 
Changelog for ghc-minisat-solver-devel-0.1-lp150.3.2.x86_64.rpm :

* Tue Jul 10 2018 psimonsAATTsuse.com- Add minisat-solver at version 0.1.
 
ICM