maude: use old flex version; the new one causes build errors

This issue has been fixed in the latest alpha release.
This commit is contained in:
Peter Simons 2014-04-11 10:05:53 +02:00
parent f741be954c
commit 6913650adc

View File

@ -3309,6 +3309,7 @@ let
maude = callPackage ../development/interpreters/maude {
bison = bison2;
flex = flex_2_5_35;
};
octave = callPackage ../development/interpreters/octave {