on master help sign in
Re-enable generic-data-surgery
commit65d9c3dfc566658c55234536045d504c5d481817 authorLi-yao Xia <lysxia@gmail.com> dateSat 26 Sep 2020, 18:15 (6 years ago) parent4401f43
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