Vladimír Čunát 96647a6985 Merge #29311: texinfo: 6.3 -> 6.5		2017-09-17 10:35:43 +02:00
..
4.13a.nix
5.2.nix
6.5.nix	Merge #29311: texinfo: 6.3 -> 6.5	2017-09-17 10:35:43 +02:00