Christian Ulrich b0f70785c2 add gnutls header patch		2021-03-15 19:47:50 +01:00
pkgs	add gnutls header patch	2021-03-15 19:47:50 +01:00
default.nix	add widelands	2021-02-18 00:27:50 +01:00