@@ -219,7 +219,7 @@ packages:
220 "Li-yao Xia <lysxia@gmail.com> @Lysxia":
220 "Li-yao Xia <lysxia@gmail.com> @Lysxia":
221 - boltzmann-samplers
221 - boltzmann-samplers
222− - generic-random < 0 # GHC 8.4 via base-4.11.0.0
222+ - generic-random # 0 # GHC 8.4 via base-4.11.0.0
223 - show-combinators
223 - show-combinators
225 "Tobias Dammers <tdammers@gmail.com> @tdammers":
225 "Tobias Dammers <tdammers@gmail.com> @tdammers":