on master help sign in
Merge pull request #5511 from chessai/add-refined

add refined

commitd8fde0eca9eb2dbc17c402e5748ba1938e2e2985 authorJens Petersen <juhpetersen@gmail.com> dateMon 13 Jul 2020, 11:02 (6 years ago) parent3b8e0ac88dc3a6
1 file changed+1
build-constraints.yaml+1
build-constraints.yaml+1
@@ -2207,6 +2207,7 @@ packages:
22072207 - semirings
22082208 - torsor
22092209 - chronos
2210+ - refine
22102211 - these-skinny
22112212
22122213 "Kostiantyn Rybnikov <k-bx@k-bx.com> @k-bx":