summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2022-01-251-1/+1
| | | | | | Again. :( Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* sci-mathematics/easycrypt: add sci-mathematics to maintainersMaciej Barć2022-01-171-0/+4
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/easycrypt: new package; add version 1.0_pre20211210Maciej Barć2021-12-121-0/+18
Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>