Tuomas Tynkkynen e254750560 GCC: explicitly use some dev outputs		2016-05-19 10:04:41 +02:00
..
builder.sh	…
default.nix	GCC: explicitly use some dev outputs	2016-05-19 10:04:41 +02:00
ghdl-ortho-cflags.patch	…
no-sys-dirs.patch	…
sources.nix	…