Frederik Rietdijk dc33419285 Merge master into staging-next		2020-06-08 12:06:12 +02:00
..
configure-flags.nix	Update configure-flags.nix	2020-06-08 12:43:58 +08:00
extra-target-flags.nix	Merge staging-next into staging	2020-05-28 22:05:36 +02:00
mfcgthreads-patches-repo.nix	gcc: Build MinGW stage two with threading library	2019-11-11 11:02:38 -05:00
platform-flags.nix
pre-configure.nix	gnat: init at 9.3.0	2020-04-20 14:41:22 +02:00