add semirings

This commit is contained in:
chessai 2018-12-08 17:10:17 -05:00
parent 831ec32daa
commit 563524ea66

View File

@ -2000,6 +2000,7 @@ packages:
- streaming - streaming
- streaming-bytestring - streaming-bytestring
- country - country
- semirings
"Kostiantyn Rybnikov <k-bx@k-bx.com> @k-bx": "Kostiantyn Rybnikov <k-bx@k-bx.com> @k-bx":
- SHA - SHA