@@ -390,7 +390,7 @@ Executable idris
390 , directory >= 1.2
390 , directory >= 1.2
391 , filepath
391 , filepath
392 , haskeline >= 0.7
392 , haskeline >= 0.7
393− , language-java >= 0.2.2
393+ , language-java >= 0.2.6
395 --, parsec >= 3
395 --, parsec >= 3
396 , parsers == 0.9
396 , parsers == 0.9