Merge pull request #5511 from chessai/add-refined

add refined
This commit is contained in:
Jens Petersen 2020-07-13 11:02:03 +08:00 committed by GitHub
commit d8fde0eca9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2207,6 +2207,7 @@ packages:
- semirings
- torsor
- chronos
- refine
- these-skinny
"Kostiantyn Rybnikov <k-bx@k-bx.com> @k-bx":