Dependencies for sbv-5.12
There is a total of 20 dependencies in lts-7.15
- array-0.5.1.1
- async-2.1.1
- base-4.9.0.0
- base-compat-0.9.1
- containers-0.5.7.1
- crackNum-1.5@rev:1
- data-binary-ieee754-0.4.4
- deepseq-1.4.2.0
- directory-1.2.6.2
- filepath-1.4.1.0
- ghc-8.0.1
- HUnit-1.3.1.2
- mtl-2.2.1@rev:1
- old-time-1.1.0.3@rev:1
- pretty-1.1.3.3
- process-1.4.2.0
- QuickCheck-2.8.2
- random-1.1
- sbv-5.12
- syb-0.6