git.iko.soy/Idris-dev
on master help sign in
Allow newer versions of parser and trifecta
5c8acd2Edwin Brady
idris.cabal+2−2
compare with master
unifiedsplit
@@ -424,14 +424,14 @@ Library
424 , haskeline >= 0.7
424 , haskeline >= 0.7
425 , language-java >= 0.2.6
425 , language-java >= 0.2.6
426 , mtl
426 , mtl
427− , parsers == 0.9
427+ , parsers >= 0.9
428 , pretty
428 , pretty
429 , process
429 , process
430 , split
430 , split
431 , text
431 , text
432 , time >= 1.4
432 , time >= 1.4
433 , transformers
433 , transformers
434− , trifecta == 1.1
434+ , trifecta >= 1.1
435 , unordered-containers
435 , unordered-containers
436 , utf8-string
436 , utf8-string
437 , vector
437 , vector