Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | sci-mathematics/frama-c-reduc: Update Manifest | Yuan Liao | 2022-08-23 | 1 | -0/+1 |
* | sci-mathematics/frama-c: bump to 25.0 | François-Xavier Carton | 2022-08-19 | 1 | -0/+59 |
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-reduc: Update Manifest | Yuan Liao | 2022-08-23 | 1 | -0/+1 |
* | sci-mathematics/frama-c: bump to 25.0 | François-Xavier Carton | 2022-08-19 | 1 | -0/+59 |