idris: try building with an older version of optparse-applicative

This commit is contained in:
Peter Simons 2014-10-14 15:45:37 +02:00
parent 97118ad9c7
commit b578288cd1
1 changed files with 1 additions and 0 deletions

View File

@ -3057,6 +3057,7 @@ self : let callPackage = x : y : modifyPrio (newScope self x y); in
llvmGeneral = self.llvmGeneral_3_3_8_2;
llvmGeneralPure = self.llvmGeneralPure_3_3_8_2;
languageJava = self.languageJava_0_2_6;
optparseApplicative = self.optparseApplicative_0_10_0;
};
idris = callPackage ../development/compilers/idris/wrapper.nix {};