cryptol: fix reference to text library

This commit is contained in:
Peter Simons 2014-05-04 23:21:19 +02:00
parent d03b49c88c
commit 401f4a28c1

View File

@ -3040,7 +3040,7 @@ let result = let callPackage = x : y : modifyPrio (newScope result.finalReturn x
cryptol = callPackage ../development/compilers/cryptol/2.0.x.nix {
QuickCheck = self.QuickCheck_2_7_3;
text = self.text_1_1_0_1;
text = self.text_1_1_1_1;
cabalInstall = self.cabalInstall_1_18_0_3;
Cabal = self.Cabal_1_18_1_3;
};