summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2022-01-251-1/+1
* sci-mathematics/why3: add sci-mathematics to maintainersMaciej Barć2022-01-171-0/+4
* sci-mathematics/why3: fix race condition in parallel make docFrançois-Xavier Carton2022-01-151-0/+1
* sci-mathematics/why3: add missing latex dependenciesFrançois-Xavier Carton2022-01-131-1/+3
* sci-mathematics/why3: fix *DEPENDMaciej Barć2021-12-121-14/+17
* sci-mathematics/why3: new package; add version 1.4.0Maciej Barć2021-12-123-0/+126