on master help sign in
Merge pull request #5663 from Lysxia/gds

Re-enable generic-data-surgery

commit1351acce6fdd038476c65d200974c0c6ce5cce84 authorAdam Bergmark <adam@bergmark.nl> dateTue 29 Sep 2020, 14:49 (6 years ago) parent4401f4365d9c3d
1 file changed+1−1
build-constraints.yaml+1−1
build-constraints.yaml+1−1
@@ -514,7 +514,7 @@ packages:
514514 - boltzmann-samplers
515515 - first-class-families
516516 - generic-data
517− - generic-data-surgery < 0 # via generic-data
517+ - generic-data-surgery
518518 - generic-random
519519 - scanf
520520 - show-combinators