| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | sci-mathematics/minisat: don't install static libraries (pg0204) |   David Seifert | 2022-01-24 | 1 | -0/+54 |
| * | sci-mathematics/minisat: drop old 2.2.0_p20130925 version |   Maciej Barć | 2022-01-17 | 1 | -527/+0 |
| * | sci-mathematics/minisat: Remove old |   Jakov Smolic | 2021-01-20 | 1 | -160/+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 | 1 | -0/+527 |
| * | proj/gentoo: Initial commit |   Robin H. Johnson | 2015-08-08 | 1 | -0/+160 |
GitWeb