| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | sci-mathematics/minisat: fix build on musl |   Maciej Barć | 2023-02-06 | 2 | -4/+50 |
| * | sci-mathematics/minisat: reformat metadata.xml |   David Seifert | 2022-01-24 | 1 | -24/+23 |
| * | sci-mathematics/minisat: don't install static libraries (pg0204) | David Seifert | 2022-01-24 | 2 | -6/+58 |
| * | sci-mathematics/minisat: drop old 2.2.0_p20130925 version | Maciej Barć | 2022-01-17 | 3 | -585/+0 |
| * | sci-mathematics/minisat: bump to 2.2.1 | Maciej Barć | 2021-12-26 | 3 | -7/+54 |
| * | **/metadata.xml: Replace http by https in DOCTYPE element |   Ulrich Müller | 2021-09-11 | 1 | -1/+1 |
| * | sci-mathematics/minisat: Remove old |   Jakov Smolic | 2021-01-20 | 4 | -229/+0 |
| * | sci-mathematics/minisat: fix sed in header files |   Jeffrey Lin | 2019-10-21 | 1 | -1/+1 |
| * | sci-mathematics: Update Manifest hashes. | Ulrich Müller | 2017-12-10 | 1 | -3/+3 |
| * | sci-mathematics/minisat: [QA] Consistent whitespace in metadata.xml | David Seifert | 2017-11-25 | 1 | -3/+2 |
| * | Globally add missing remote ID references to metadata.xml |   Justin Lecher | 2017-04-29 | 1 | -8/+11 |
| * | Drop $Id$ per council decision in bug #611234. |   Robin H. Johnson | 2017-02-28 | 2 | -2/+0 |
| * | sci-mathematics/minisat: Allow for compiling with GCC 6 | David Seifert | 2016-09-18 | 1 | -1/+1 |
| * | sci-mathematics/minisat: Adding minisat-2.2.0_p20130925 |   Gerhard Bräunlich | 2016-09-13 | 3 | -0/+586 |
| * | sci-mathematics/minisat: Unsiliencing makefile | Gerhard Bräunlich | 2016-09-13 | 1 | -5/+5 |
| * | sci-mathematics/minisat: Removing EAPI 2 ebuilds | Gerhard Bräunlich | 2016-09-09 | 3 | -190/+0 |
| * | sci-mathematics/minisat: revbump (EAPI 2 -> 6) | Gerhard Bräunlich | 2016-09-09 | 1 | -0/+66 |
| * | Set appropriate maintainer types in metadata.xml (GLEP 67) |   Michał Górny | 2016-01-24 | 1 | -1/+1 |
| * | Replace all herds with appropriate projects (GLEP 67) | Michał Górny | 2016-01-24 | 1 | -1/+4 |
| * | Update hashes in Manifest | Justin Lecher | 2015-09-23 | 1 | -3/+3 |
| * | Revert DOCTYPE SYSTEM https changes in metadata.xml |   Mike Gilbert | 2015-08-24 | 1 | -1/+1 |
| * | Use https by default | Justin Lecher | 2015-08-24 | 1 | -1/+1 |
| * | proj/gentoo: Initial commit | Robin H. Johnson | 2015-08-08 | 5 | -0/+361 |
GitWeb
