Merge pull request #4219 from chessai/add-semirings

add semirings
This commit is contained in:
Alexey Zabelin 2018-12-09 10:35:32 -05:00 committed by GitHub
commit e43305efa0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

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