summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* dev-haskell/semirings: Revision bumphololeap2023-10-234-48/+41
| | | | | | | | Just to refresh the ebuild, make sure ::gentoo and ::haskell have the same revision number. Signed-off-by: hololeap <hololeap@protonmail.com> Signed-off-by: Sam James <sam@gentoo.org>
* dev-haskell/semirings: Stabilize for amd64hololeap2023-03-171-2/+2
| | | | | Signed-off-by: hololeap <hololeap@users.noreply.github.com> Signed-off-by: Sam James <sam@gentoo.org>
* dev-haskell/semirings: keyword 0.6 for ~riscvmatoro2022-10-061-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-haskell/semirings: keyword 0.6 for ~arm64matoro2022-08-311-1/+1
| | | | | Thanks-to: Marcus Comstedt <marcus@mc.pp.se> Signed-off-by: Sam James <sam@gentoo.org>
* dev-haskell/semirings: add 0.6, drop 0.5.4matoro2022-07-304-67/+49
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2021-09-111-1/+1
| | | | | Bug: https://bugs.gentoo.org/552720 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* dev-haskell/semirings: drop oldSergei Trofimovich2021-05-152-36/+0
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.3 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* dev-haskell/semirings: require ghc[gmp]Sergei Trofimovich2021-05-112-0/+35
| | | | | | | Reported-by: Toralf Förster Closes: https://bugs.gentoo.org/789384 Package-Manager: Portage-3.0.18, Repoman-3.0.3 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* */*: Normalize metadata.xml filesMichał Górny2021-03-161-1/+1
| | | | | | | | | | | Normalize quoting, replace '>' with entities, replace unnecessary entities, remove trailing empty lines. Done via: find -name metadata.xml -exec xml ed -P -L -d //none {} + Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-haskell/semirings: new package, a depend of arithmoi-0.11Sergei Trofimovich2020-08-223-0/+76
Package-Manager: Portage-3.0.4, Repoman-3.0.1 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>