summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/minisat: drop old 2.2.0_p20130925 versionMaciej Barć2022-01-171-1/+0
* sci-mathematics/minisat: bump to 2.2.1Maciej Barć2021-12-261-0/+1
* sci-mathematics/minisat: Remove oldJakov Smolic2021-01-201-1/+0
* sci-mathematics: Update Manifest hashes.Ulrich Müller2017-12-101-3/+3
* sci-mathematics/minisat: Adding minisat-2.2.0_p20130925Gerhard Bräunlich2016-09-131-0/+1
* sci-mathematics/minisat: Removing EAPI 2 ebuildsGerhard Bräunlich2016-09-091-1/+0
* Update hashes in ManifestJustin Lecher2015-09-231-3/+3
* proj/gentoo: Initial commitRobin H. Johnson2015-08-081-0/+3