Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-gap/semigroups
Commit message (Collapse)AuthorAgeFilesLines
* dev-gap/semigroups: add 5.3.7, drop 5.3.6Michael Orlitzky2024-03-192-1/+1
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* dev-gap/semigroups: add 5.3.6, drop 5.3.2Michael Orlitzky2024-02-242-2/+2
| | | | | Closes: https://bugs.gentoo.org/924165 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* dev-gap/semigroups: new package, add 5.3.2Michael Orlitzky2024-01-223-0/+85
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>