Dependencies for idris-0.12.2
There is a total of 44 dependencies in lts-7.0
- aeson-0.11.2.1
- annotated-wl-pprint-0.7.0
- ansi-terminal-0.6.2.3
- ansi-wl-pprint-0.6.7.3
- array-0.5.1.1
- async-2.1.0
- base-4.9.0.0
- base64-bytestring-1.0.0.1
- binary-0.8.3.0
- blaze-html-0.8.1.2
- blaze-markup-0.7.1.0
- bytestring-0.10.8.1
- cheapskate-0.1.0.5@rev:1
- containers-0.5.7.1
- deepseq-1.4.2.0
- directory-1.2.6.2
- filepath-1.4.1.0
- fingertree-0.1.1.0
- fsnotify-0.2.1
- haskeline-0.7.2.3
- idris-0.12.2
- ieee754-0.7.8
- mtl-2.2.1@rev:1
- network-2.6.3.1
- optparse-applicative-0.12.1.0
- parsers-0.12.4
- pretty-1.1.3.3
- process-1.4.2.0
- regex-tdfa-1.2.2
- safe-0.3.9
- split-0.2.3.1
- terminal-size-0.3.2.1
- text-1.2.2.1
- time-1.6.0.1
- transformers-0.5.2.0
- transformers-compat-0.5.1.4
- trifecta-1.6
- uniplate-1.6.12
- unix-2.7.2.0
- unordered-containers-0.2.7.1
- utf8-string-1.0.1.1@rev:1
- vector-0.11.0.0@rev:1
- vector-binary-instances-0.2.3.2
- zip-archive-0.3.0.5