Dependencies for idris-1.0
There is a total of 46 dependencies in lts-8.12
- aeson-1.0.2.1@rev:1
- annotated-wl-pprint-0.7.0@rev:1
- ansi-terminal-0.6.2.3
- ansi-wl-pprint-0.6.7.3
- array-0.5.1.1
- async-2.1.1.1
- base-4.9.1.0
- base64-bytestring-1.0.0.1
- binary-0.8.3.0
- blaze-html-0.8.1.3
- blaze-markup-0.7.1.1
- bytestring-0.10.8.1
- cheapskate-0.1.0.5@rev:1
- code-page-0.1.3
- containers-0.5.7.1
- deepseq-1.4.2.0
- directory-1.3.0.0
- filepath-1.4.1.1
- fingertree-0.1.1.0
- fsnotify-0.2.1
- haskeline-0.7.4.0
- idris-1.0
- ieee754-0.8.0
- libffi-0.1
- mtl-2.2.1@rev:1
- network-2.6.3.1
- optparse-applicative-0.13.2.0
- parsers-0.12.4
- pretty-1.1.3.3
- process-1.4.3.0
- regex-tdfa-1.2.2
- safe-0.3.14
- 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.2.1
- uniplate-1.6.12
- unix-2.7.2.1
- unordered-containers-0.2.8.0
- utf8-string-1.0.1.1@rev:1
- vector-0.11.0.0@rev:2
- vector-binary-instances-0.2.3.5
- zip-archive-0.3.0.5@rev:1