Dependencies for idris-0.11.2
There is a total of 42 dependencies in lts-6.1
- aeson-0.11.2.0
- annotated-wl-pprint-0.7.0
- ansi-terminal-0.6.2.3
- ansi-wl-pprint-0.6.7.3
- async-2.1.0
- base-4.8.2.0
- base64-bytestring-1.0.0.1
- binary-0.7.5.0
- blaze-html-0.8.1.1
- blaze-markup-0.7.0.3
- bytestring-0.10.6.0
- cheapskate-0.1.0.5
- containers-0.5.6.2
- deepseq-1.4.1.1
- directory-1.2.2.0
- filepath-1.4.0.0
- fingertree-0.1.1.0
- fsnotify-0.2.1
- haskeline-0.7.2.3
- idris-0.11.2
- ieee754-0.7.8
- mtl-2.2.1@rev:1
- network-2.6.2.1
- optparse-applicative-0.12.1.0
- parsers-0.12.3@rev:1
- pretty-1.1.2.0
- process-1.2.3.0
- safe-0.3.9
- split-0.2.3.1
- terminal-size-0.3.2.1
- text-1.2.2.1
- time-1.5.0.1
- transformers-0.4.2.0
- transformers-compat-0.4.0.4
- trifecta-1.5.2
- uniplate-1.6.12
- unix-2.7.1.0
- unordered-containers-0.2.7.0
- 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.2.3.7