Unblock smt-containers and deps

This commit is contained in:
Dan Burton 2019-09-30 10:32:35 -07:00
parent 4fecc841d2
commit 305dba5bd5
No known key found for this signature in database
GPG Key ID: 41F154F410EC12E0

View File

@ -4974,7 +4974,6 @@ packages:
- dhall-json < 0 # via prettyprinter-1.3.0
- invertible-grammar < 0 # via prettyprinter-1.3.0
- sexp-grammar < 0 # via prettyprinter-1.3.0
- primitive-extras < 0 # via primitive-unlifted
- MissingH < 0 # via process-1.6.5.1
- blaze-colonnade < 0 # via profunctors-5.5
- colonnade < 0 # via profunctors-5.5
@ -5359,7 +5358,6 @@ packages:
- yesod-paginator < 0 # via persistent
- yesod-persistent < 0 # via persistent
- yesod-text-markdown < 0 # via persistent
- stm-hamt < 0 # via primitive-extras
- aos-signature < 0 # via protolude
- bulletproofs < 0 # via protolude
- cachix-api < 0 # via protolude
@ -5550,7 +5548,6 @@ packages:
- miso < 0 # via servant-lucid
- state-codes < 0 # via shakespeare
- xml-hamlet < 0 # via shakespeare
- stm-containers < 0 # via stm-hamt
- show-prettyprint < 0 # via trifecta
- emd < 0 # via typelits-witnesses
- stripe-wreq < 0 # via wreq