aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* */*: 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