| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | sci-mathematics/alt-ergo: maint change: tupone -> ml & sci |   Maciej Barć | 2021-12-27 | 1 | -15/+21 |
| | | | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | **/metadata.xml: Replace http by https in DOCTYPE element |   Ulrich Müller | 2021-09-11 | 1 | -1/+1 |
| | | | | | | Bug: https://bugs.gentoo.org/552720 Signed-off-by: Ulrich Müller <ulm@gentoo.org> | ||||
| * | sci-mathematics/alt-ergo: add github remote-id |   Sam James | 2021-01-17 | 1 | -0/+3 |
| | | | | | | Package-Manager: Portage-3.0.12.0.2-prefix, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/alt-ergo: Adding alt-ergo 1.30 |   Tupone Alfredo | 2017-10-14 | 1 | -0/+16 |
| Package-Manager: Portage-2.3.8, Repoman-2.3.3 | |||||
GitWeb