Vladimír Čunát 565bd805e6 Merge branch 'master'		2018-03-05 14:53:27 +01:00
..
build-fix.patch	…
default.nix	Merge branch 'master'	2018-03-05 14:53:27 +01:00
gcc6.patch	…