on master help sign in
Merge pull request #5511 from chessai/add-refined
d8fde0eJens Petersen
build-constraints.yaml+1
@@ -2207,6 +2207,7 @@ packages:
2207 - semirings
2207 - semirings
2208 - torsor
2208 - torsor
2209 - chronos
2209 - chronos
2210+ - refine
2210 - these-skinny
2211 - these-skinny
2211
2212
2212 "Kostiantyn Rybnikov <k-bx@k-bx.com> @k-bx":
2213 "Kostiantyn Rybnikov <k-bx@k-bx.com> @k-bx":