NixOS/nixpkgs — pull request #2193 by aristidb (2014-04-09 18:42:56+00:00)
Title: add back old version of flex for grub2

fixes #2191 and #2192