Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | sci-mathematics/frama-c-*: drop 23.1 and 24.0 | David Roman | 2024-09-06 | 1 | -64/+0 |
* | sci-mathematics/*: fix variable order | Lucio Sauer | 2024-05-14 | 1 | -2/+2 |
* | sci-mathematics/frama-c-*: force gtk USE to match frama-c core | François-Xavier Carton | 2022-05-24 | 1 | -3/+3 |
* | sci-mathematics/frama-c: bump to 24.0 | François-Xavier Carton | 2022-01-13 | 1 | -0/+64 |