| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 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