| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | sci-mathematics/minisat: Remove old |   Jakov Smolic | 2021-01-20 | 1 | -65/+0 |
| * | Drop $Id$ per council decision in bug #611234. |   Robin H. Johnson | 2017-02-28 | 1 | -1/+0 |
| * | sci-mathematics/minisat: Unsiliencing makefile |   Gerhard Bräunlich | 2016-09-13 | 1 | -5/+5 |
| * | sci-mathematics/minisat: revbump (EAPI 2 -> 6) | Gerhard Bräunlich | 2016-09-09 | 1 | -0/+66 |
GitWeb