Dependencies for idris-1.2.0
There is a total of 43 dependencies in lts-10.5
- aeson-1.2.4.0
- annotated-wl-pprint-0.7.0@rev:1
- ansi-terminal-0.7.1.1
- ansi-wl-pprint-0.6.8.2
- array-0.5.2.0
- async-2.1.1.1
- base-4.10.1.0
- base64-bytestring-1.0.0.1
- binary-0.8.5.1
- blaze-html-0.9.0.1
- blaze-markup-0.8.2.0
- bytestring-0.10.8.2
- cheapskate-0.1.1@rev:1
- code-page-0.1.3
- containers-0.5.10.2
- deepseq-1.4.3.0
- directory-1.3.0.2
- filepath-1.4.1.2
- fingertree-0.1.3.1
- fsnotify-0.2.1.1
- haskeline-0.7.4.2
- idris-1.2.0
- ieee754-0.8.0
- megaparsec-6.3.0@rev:2
- mtl-2.2.1@rev:1
- network-2.6.3.3@rev:1
- optparse-applicative-0.14.0.0
- pretty-1.1.3.3
- process-1.6.1.0
- regex-tdfa-1.2.2
- safe-0.3.15
- split-0.2.3.3
- terminal-size-0.3.2.1
- text-1.2.2.2
- time-1.8.0.2
- transformers-0.5.2.0
- uniplate-1.6.12
- unix-2.7.2.2
- unordered-containers-0.2.8.0
- utf8-string-1.0.1.1@rev:3
- vector-0.12.0.1@rev:2
- vector-binary-instances-0.2.4
- zip-archive-0.3.2.2