Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/why3/metadata.xml
Commit message (Collapse)AuthorAgeFilesLines
* sci-mathematics/why3: bump to 1.5.0François-Xavier Carton2022-05-071-0/+1
| | | | | | Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/25372 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* **/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/why3: add sci-mathematics to maintainersMaciej Barć2022-01-171-0/+4
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/why3: new package; add version 1.4.0Maciej Barć2021-12-121-0/+33
Move from ::guru to ::gentoo, add François-Xavier Carton as a co-maintainer. Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>