| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | package.mask: Last rite dev-lang/polyml |   Michał Górny | 2019-04-03 | 1 | -0/+6 |
| * | package.mask: Last rite sci-mathematics/isabelle | Michał Górny | 2019-04-03 | 1 | -0/+6 |
| * | profiles/base: Mask USE=isabelle everywhere | Michał Górny | 2019-04-03 | 1 | -0/+7 |
| * | package.mask: Revert "Last rite dev-lang/polyml" | Michał Górny | 2019-04-03 | 1 | -6/+0 |
GitWeb