Michael Raskin be5b32e798 Apparently fix texinfo5 with fresh TeXLive		2013-10-20 19:15:11 +04:00
..
4.9.nix	…
4.13a.nix	Merge branch 'upstream-master' into stdenv-updates	2013-02-19 10:09:39 -05:00
5.1.nix	Apparently fix texinfo5 with fresh TeXLive	2013-10-20 19:15:11 +04:00