Skip to content

Instantly share code, notes, and snippets.

@jlouis

jlouis/shell

Created September 8, 2014 17:22
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save jlouis/f543acb9d42b5b3ae80f to your computer and use it in GitHub Desktop.
Save jlouis/f543acb9d42b5b3ae80f to your computer and use it in GitHub Desktop.
Download ZIP
Raw
shell
jlouis@eldar:~$ cabal install idris
Resolving dependencies...
cabal: Could not resolve dependencies:
trying: idris-0.9.14.3
trying: network-2.4.1.2/installed-040...
trying: parsec-3.1.3/installed-6c6...
trying: parsers-0.12.1
rejecting: attoparsec-0.10.4.0/installed-d9f... (conflict: parsers =>
attoparsec>=0.12.1 && <0.13)
rejecting: attoparsec-0.12.1.2, 0.12.1.1, 0.12.1.0 (conflict: parsec =>
text==0.11.3.1/installed-e38..., attoparsec => text>=1.1.1.3)
rejecting: attoparsec-0.12.0.0, 0.11.3.4, 0.11.3.3, 0.11.3.2, 0.11.3.1,
0.11.3.0, 0.11.2.1, 0.11.1.0, 0.10.4.0, 0.10.3.0, 0.10.2.0, 0.10.1.1,
0.10.1.0, 0.10.0.3, 0.10.0.2, 0.10.0.1, 0.10.0.0, 0.9.1.2, 0.9.1.1, 0.9.0.0,
0.8.6.1, 0.8.6.0, 0.8.5.3, 0.8.5.2, 0.8.5.1, 0.8.5.0, 0.8.4.0, 0.8.3.0,
0.8.2.0, 0.8.1.1, 0.8.1.0, 0.8.0.2, 0.8.0.1, 0.8.0.0, 0.7.2, 0.7.1, 0.6,
0.5.1, 0.5, 0.4 (conflict: parsers => attoparsec>=0.12.1 && <0.13)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment