Dependencies for cryptol-2.5.0
There is a total of 35 dependencies in nightly-2017-09-28
- ansi-terminal-0.6.3.1
- array-0.5.2.0
- async-2.1.1.1
- base-4.10.0.0
- base-compat-0.9.3
- bytestring-0.10.8.2
- containers-0.5.10.2
- cryptol-2.5.0@rev:1
- deepseq-1.4.3.0
- directory-1.3.0.2
- filepath-1.4.1.2
- gitrev-1.3.1
- GraphSCC-1.0.4
- haskeline-0.7.4.0
- heredoc-0.2.0.0
- monad-control-1.0.2.2
- monadLib-3.7.3
- mtl-2.2.1@rev:1
- old-time-1.1.0.3@rev:2
- presburger-1.3.1@rev:1
- pretty-1.1.3.3
- process-1.6.1.0
- QuickCheck-2.10.0.1
- random-1.1@rev:1
- sbv-7.3
- simple-smt-0.7.0
- smtLib-1.0.8
- syb-0.7
- template-haskell-2.12.0.0
- text-1.2.2.2
- tf-random-0.5
- time-1.8.0.2
- transformers-0.5.2.0
- transformers-base-0.4.4@rev:1
- utf8-string-1.0.1.1@rev:2