idris: no longer depends on old versions of trifecta and parsers
This commit is contained in:
parent
d2dd22651d
commit
3a7e38eb1a
|
@ -2800,8 +2800,6 @@ let result = let callPackage = x : y : modifyPrio (newScope result.finalReturn x
|
||||||
darcs = callPackage ../applications/version-management/darcs {};
|
darcs = callPackage ../applications/version-management/darcs {};
|
||||||
|
|
||||||
idris_plain = callPackage ../development/compilers/idris {
|
idris_plain = callPackage ../development/compilers/idris {
|
||||||
parsers = self.parsers_0_9;
|
|
||||||
trifecta = self.trifecta_1_1;
|
|
||||||
llvmGeneral = self.llvmGeneral_3_3_8_2;
|
llvmGeneral = self.llvmGeneral_3_3_8_2;
|
||||||
llvmGeneralPure = self.llvmGeneralPure_3_3_8_2;
|
llvmGeneralPure = self.llvmGeneralPure_3_3_8_2;
|
||||||
};
|
};
|
||||||
|
|
Loading…
Reference in New Issue