Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | sci-mathematics/frama-c: new package | 2021-01-09 | 3 | -0/+153 | |
* | sci-mathematics/why3: new package | 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 | 2021-01-09 | 3 | -0/+153 | |
* | sci-mathematics/why3: new package | 2021-01-09 | 3 | -0/+108 |