minisat2

Transitional package for minisat This is a transitional package for minisat, and can be safely removed after the installation is complete.
Homepage:
http://minisat.se/
Section:
science
Maintainers:
Marat Radchenko

Releases

RepositoryLatest version
Fremantle Extras-devel free armelminisat2 2.2.1-3
Fremantle Extras-devel free i386minisat2 2.2.1-3

Package events

PackageRepositoryEvent typeUserTimestamp
minisat2 2.2.1-3Fremantle Extras-devel free i386Package importedSystem2012-06-28 15:46 UTC
minisat2 2.2.1-3Fremantle Extras-devel free armelPackage importedSystem2012-06-28 15:42 UTC
minisat2 2.2.1-3Fremantle Extras-devel free i386Build succeededSystem2012-06-28 15:18 UTC
minisat2 2.2.1-3Fremantle Extras-devel free i386BuildingSystem2012-06-28 15:17 UTC
minisat2 2.2.1-3Fremantle Extras-devel free armelBuild succeededSystem2012-06-28 15:16 UTC
minisat2 2.2.1-3Fremantle Extras-devel free armelBuildingSystem2012-06-28 15:16 UTC