Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/minisat
Commit message (Collapse)AuthorAgeFilesLines
* Drop maintainer due retirement, #24135.Pacho Ramos2012-10-071-8/+18
| | | | (Portage version: 2.1.11.24/cvs/Linux x86_64, signed Manifest commit with key A188FBD4)
* Drop maintainer due retirement, #24135.Pacho Ramos2012-10-072-6/+5
| | | | (Portage version: 2.1.11.24/cvs/Linux x86_64)
* whitespaceMichael Sterrett2011-04-181-1/+1
| | | | (Portage version: 2.1.9.42/cvs/Linux i686, unsigned Manifest commit)
* whitespaceMichael Sterrett2011-04-181-2/+2
| | | | (Portage version: 2.1.9.42/cvs/Linux i686)
* Updated and added previous version and missing patch (doh!)Steve Arnold2011-04-171-2/+5
| | | | (Portage version: 2.1.9.46/cvs/Linux x86_64, unsigned Manifest commit)
* Updated and added previous version and missing patch (doh!)Steve Arnold2011-04-174-3/+276
| | | | (Portage version: 2.1.9.46/cvs/Linux x86_64)
* Updated to reoroganize headers one last time to fix package collision andSteve Arnold2011-04-161-14/+2
| | | | | | apply cleanup patch (see bug 362813). (Portage version: 2.1.9.46/cvs/Linux x86_64, unsigned Manifest commit)
* Updated to reoroganize headers one last time to fix package collision andSteve Arnold2011-04-162-9/+27
| | | | | | apply cleanup patch (see bug 362813). (Portage version: 2.1.9.46/cvs/Linux x86_64)
* Remove IUSE='prof' since it only adds -pg to flags, simplify 'if' logic, fix ↵Kacper Kowalik2011-04-101-3/+15
| | | | | | quotes, respect LDFLAGS, add missing dies, move variables definitions to pkg_setup, use emake instead of gmake, use dodoc for pdf file. Drop old. (Portage version: 2.2.0_alpha29/cvs/Linux x86_64, signed Manifest commit with key B3957714)
* Remove IUSE='prof' since it only adds -pg to flags, simplify 'if' logic, fix ↵Kacper Kowalik2011-04-104-88/+82
| | | | | | quotes, respect LDFLAGS, add missing dies, move variables definitions to pkg_setup, use emake instead of gmake, use dodoc for pdf file. Drop old. (Portage version: 2.2.0_alpha29/cvs/Linux x86_64)
* Updated include files to proper directory structure.Steve Arnold2011-04-101-2/+2
| | | | (Portage version: 2.1.9.45/cvs/Linux x86_64, unsigned Manifest commit)
* Updated include files to proper directory structure.Steve Arnold2011-04-102-6/+14
| | | | (Portage version: 2.1.9.45/cvs/Linux x86_64)
* Updated to include MTL header files apps that need them.Steve Arnold2011-04-091-2/+2
| | | | (Portage version: 2.1.9.45/cvs/Linux x86_64, unsigned Manifest commit)
* Updated to include MTL header files apps that need them.Steve Arnold2011-04-092-3/+10
| | | | (Portage version: 2.1.9.45/cvs/Linux x86_64)
* New ebuild for minisat, a small fast SAT solver. Look it up... ;)Steve Arnold2011-04-091-0/+5
| | | | (Portage version: 2.1.9.45/cvs/Linux x86_64, unsigned Manifest commit)
* New ebuild for minisat, a small fast SAT solver. Look it up... ;)Steve Arnold2011-04-093-0/+105
(Portage version: 2.1.9.45/cvs/Linux x86_64)