Dependencies for cryptol-2.2.2
There is a total of 28 dependencies in nightly-2015-04-18
- ansi-terminal-0.6.2.1
- array-0.5.0.0
- async-2.0.2
- base-4.7.0.2
- containers-0.5.5.1
- cryptol-2.2.2
- deepseq-1.3.0.2
- directory-1.2.1.0
- filepath-1.3.0.2
- gitrev-1.0.0
- GraphSCC-1.0.4
- haskeline-0.7.1.2
- heredoc-0.2.0.0
- monadLib-3.7.3
- old-time-1.1.0.2
- presburger-1.3.1@rev:1
- pretty-1.1.1.1
- process-1.2.0.0
- QuickCheck-2.7.6@rev:1
- random-1.1@rev:1
- sbv-4.2
- smtLib-1.0.7@rev:1
- syb-0.4.4@rev:1
- template-haskell-2.9.0.0
- text-1.2.0.4@rev:1
- tf-random-0.5
- transformers-0.3.0.0
- utf8-string-1