aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/frama-c-*: drop 23.1 and 24.0David Roman2024-09-061-44/+0
* sci-mathematics/*: fix variable orderLucio Sauer2024-05-141-2/+2
* sci-mathematics/frama-c: bump to 24.0François-Xavier Carton2022-01-131-0/+44