Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | sci-mathematics/frama-c: new package | François-Xavier Carton | 2021-01-09 | 3 | -0/+153 |
* | sci-mathematics/why3: new package | François-Xavier Carton | 2021-01-09 | 3 | -0/+108 |
index : repo/proj/guru.git | ||
GURU: repository of new packages maintained collaboratively by users | GURU project <guru@gentoo.org> |
aboutsummaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | sci-mathematics/frama-c: new package | François-Xavier Carton | 2021-01-09 | 3 | -0/+153 |
* | sci-mathematics/why3: new package | François-Xavier Carton | 2021-01-09 | 3 | -0/+108 |