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