Dependencies for idris-1.3.3
There is a total of 44 dependencies in lts-16.31
- aeson-1.4.7.1@rev:1
- annotated-wl-pprint-0.7.0@rev:1
- ansi-terminal-0.10.3
- ansi-wl-pprint-0.6.9@rev:2
- array-0.5.4.0
- async-2.2.2@rev:1
- base-4.13.0.0
- base64-bytestring-1.0.0.3
- binary-0.8.7.0
- blaze-html-0.9.1.2
- blaze-markup-0.8.2.7
- bytestring-0.10.10.1
- cheapskate-0.1.1.2@rev:1
- code-page-0.2
- containers-0.6.2.1
- deepseq-1.4.4.0
- directory-1.3.6.0
- filepath-1.4.2.1
- fingertree-0.1.4.2
- fsnotify-0.3.0.1@rev:1
- haskeline-0.7.5.0@rev:1
- idris-1.3.3
- ieee754-0.8.0
- megaparsec-8.0.0
- mtl-2.2.2
- network-3.1.1.1
- optparse-applicative-0.15.1.0@rev:1
- parser-combinators-1.2.1
- pretty-1.1.3.6
- process-1.6.9.0
- regex-tdfa-1.3.1.0@rev:1
- safe-0.3.19
- split-0.2.3.4
- terminal-size-0.3.2.1
- text-1.2.4.0
- time-1.9.3
- transformers-0.5.6.2
- uniplate-1.6.13@rev:1
- unix-2.7.2.2
- unordered-containers-0.2.10.0@rev:1
- utf8-string-1.0.1.1@rev:3
- vector-0.12.1.2
- vector-binary-instances-0.2.5.1@rev:2
- zip-archive-0.4.1@rev:1