Merge branch 'master' of https://github.com/joe9/stackage into joe9-master

This commit is contained in:
Michael Snoyman 2017-04-07 06:47:03 +03:00
commit 1e0023b0dc
No known key found for this signature in database
GPG Key ID: A048E8C057E86876

View File

@ -95,7 +95,7 @@ packages:
"Joe M <joe9mail@gmail.com> @joe9":
- logger-thread
# - text-generic-pretty # # via ixset-typed: via safecopy: bounds: vector
- text-generic-pretty
"Li-yao Xia <lysxia@gmail.com> @Lysxia":
- boltzmann-samplers