aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/frama-c: drop oldAndrew Ammerlaan2021-12-151-104/+0
* 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-091-0/+102