Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/minisat
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/minisat: bump to 2.2.1Maciej Barć2021-12-263-7/+54
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2021-09-111-1/+1
* sci-mathematics/minisat: Remove oldJakov Smolic2021-01-204-229/+0
* sci-mathematics/minisat: fix sed in header filesJeffrey Lin2019-10-211-1/+1
* sci-mathematics: Update Manifest hashes.Ulrich Müller2017-12-101-3/+3
* sci-mathematics/minisat: [QA] Consistent whitespace in metadata.xmlDavid Seifert2017-11-251-3/+2
* Globally add missing remote ID references to metadata.xmlJustin Lecher2017-04-291-8/+11
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-282-2/+0
* sci-mathematics/minisat: Allow for compiling with GCC 6David Seifert2016-09-181-1/+1
* sci-mathematics/minisat: Adding minisat-2.2.0_p20130925Gerhard Bräunlich2016-09-133-0/+586
* sci-mathematics/minisat: Unsiliencing makefileGerhard Bräunlich2016-09-131-5/+5
* sci-mathematics/minisat: Removing EAPI 2 ebuildsGerhard Bräunlich2016-09-093-190/+0
* sci-mathematics/minisat: revbump (EAPI 2 -> 6)Gerhard Bräunlich2016-09-091-0/+66
* Set appropriate maintainer types in metadata.xml (GLEP 67)Michał Górny2016-01-241-1/+1
* Replace all herds with appropriate projects (GLEP 67)Michał Górny2016-01-241-1/+4
* Update hashes in ManifestJustin Lecher2015-09-231-3/+3
* Revert DOCTYPE SYSTEM https changes in metadata.xmlMike Gilbert2015-08-241-1/+1
* Use https by defaultJustin Lecher2015-08-241-1/+1
* proj/gentoo: Initial commitRobin H. Johnson2015-08-085-0/+361