Michael Raskin 6548fbfb28 Use the working source for GNU ARch		2014-05-03 00:20:08 +04:00
..
configure-tmpdir.patch	…
default.nix	Use the working source for GNU ARch	2014-05-03 00:20:08 +04:00