Merge pull request #4920 from strake/dual
add dual
commit9d781c48dd443f034700849b148a901b836221ea
authorJoe Kachmar <joseph.kachmar@gmail.com>
dateFri 18 Oct 2019, 18:41 (7 years ago)
parent9558bbb80a639e
build-constraints.yaml+3−2
@@ -3824,9 +3824,10 @@ packages:
38243824
38253825 "Matthew Farkas-Dyck <strake888@gmail.com> @strake":
38263826 - Fin
3827− - alg < 0.2.12.0 # depends on dual #4918
3828− - category < 0.2.4.2 # depends on dual #4918
3827+ - alg
3828+ - category
38293829 - constraint
3830+ - dual
38303831 - either-both
38313832 - filtrable
38323833 - foldable1