aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* */*: add lang="en" to <longdescription>Alessandro Barbieri2021-06-281-1/+1
* sci-mathematics/*: inherit findlib eclassAnna Vyalkova2021-05-022-6/+6
* sci-mathematics/why3: respect CFLAGS & LDFLAGSFrançois-Xavier Carton2021-04-192-0/+6
* sci-mathematics/why3: bump to 1.4.0François-Xavier Carton2021-03-303-0/+85
* sci-mathematics/why3: new packageFrançois-Xavier Carton2021-01-093-0/+108