on master help sign in
add colorful-monoids
commitf14cba89c4faab385bcfe5a85a9d5083f862d330 authorDaniel Mendler <mail@daniel-mendler.de> dateWed 25 Jan 2017, 23:24 (10 years ago) parent5b6ffc8
1 file changed+1
build-constraints.yaml+1
build-constraints.yaml+1
@@ -2585,6 +2585,7 @@ packages:
25852585 - unlit
25862586 - intro
25872587 - tasty-auto
2588+ - colorful-monoids
25882589
25892590 "Taras Serduke <taras.serduke@gmail.com> @tserduke":
25902591 - do-list