Merge pull request #5663 from Lysxia/gds

Re-enable generic-data-surgery
This commit is contained in:
Adam Bergmark 2020-09-29 14:49:28 +02:00 committed by GitHub
commit 1351acce6f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -514,7 +514,7 @@ packages:
- boltzmann-samplers
- first-class-families
- generic-data
- generic-data-surgery < 0 # via generic-data
- generic-data-surgery
- generic-random
- scanf
- show-combinators