on master help sign in
Merge pull request #2236 from minad/patch-7

add colorful-monoids

commitf419d81eec4ac33c977ba025d9d063821a4cf593 authorMichael Snoyman <michael@snoyman.com> dateThu 26 Jan 2017, 05:43 (10 years ago) parent5b6ffc8f14cba8
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