@@ -213,7 +213,7 @@ packages:
213 - text-generic-pretty
213 - text-generic-pretty
215 "Li-yao Xia <lysxia@gmail.com> @Lysxia":
215 "Li-yao Xia <lysxia@gmail.com> @Lysxia":
216− # - boltzmann-samplers # https://github.com/Lysxia/boltzmann-samplers/issues/2
216+ - boltzmann-samplers
217 - generic-random
217 - generic-random
218 - show-combinators
218 - show-combinators