Merge pull request #4920 from strake/dual

add dual
This commit is contained in:
Joe Kachmar 2019-10-18 18:41:46 -04:00 committed by GitHub
commit 9d781c48dd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -3824,9 +3824,10 @@ packages:
"Matthew Farkas-Dyck <strake888@gmail.com> @strake":
- Fin
- alg < 0.2.12.0 # depends on dual #4918
- category < 0.2.4.2 # depends on dual #4918
- alg
- category
- constraint
- dual
- either-both
- filtrable
- foldable1