Thomas Mader 3ff636fb2e ldc: 1.11.0 -> 1.12.0 ... Additional various cleanups here and there		2018-12-27 10:56:26 +01:00
..
default.nix	ldc: 1.11.0 -> 1.12.0	2018-12-27 10:56:26 +01:00