aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/frama-c: bump to 24.0François-Xavier Carton2022-01-132-0/+61
* sci-mathematics/frama-c: drop UnusedInheritsAndrew Ammerlaan2021-12-151-1/+1
* sci-mathematics/frama-c: drop oldAndrew Ammerlaan2021-12-153-138/+0
* sci-mathematics/frama-c: split plugins from main ebuildFrançois-Xavier Carton2021-09-041-61/+14
* sci-mathematics/frama-c: bump to 23.1François-Xavier Carton2021-09-042-0/+106
* */*: add lang="en" to <longdescription>Alessandro Barbieri2021-06-281-1/+1
* sci-mathematics/frama-c: fix AR and RANLIBAnna Vyalkova2021-05-161-1/+7
* sci-mathematics/*: inherit findlib eclassAnna Vyalkova2021-05-021-6/+1
* sci-mathematics/frama-c: respect CFLAGSFrançois-Xavier Carton2021-04-191-0/+1
* sci-mathematics/frama-c: doesn't build with why3-1.4.0François-Xavier Carton2021-03-301-1/+1
* sci-mathematics/frama-c: add MissingUseDepDefaultAndrew Ammerlaan2021-03-281-2/+2
* sci-mathematics/frama-c: new packageFrançois-Xavier Carton2021-01-093-0/+153