Add generic-data-surgery and type-map
commit0422975563d44134e7f203c01171365bdb2c480a
authorLysxia <lysxia@gmail.com>
dateSun 30 Dec 2018, 14:15 (8 years ago)
parent7f1f1aa
build-constraints.yaml+2
@@ -312,9 +312,11 @@ packages:
312312 - boltzmann-samplers
313313 - first-class-families
314314 - generic-data
315+ - generic-data-surgery
315316 - generic-random
316317 - scanf
317318 - show-combinators
319+ - type-map
318320
319321 "Tobias Dammers <tdammers@gmail.com> @tdammers":
320322 - ginger < 0 # BuildFailureException Process exited with ExitFailure 1: ./Setup build