Jonas Nick b7047c7286 HWI: allow building with unstable nixpkgs		2020-05-03 18:32:49 +00:00
..
default.nix	HWI: allow building with unstable nixpkgs	2020-05-03 18:32:49 +00:00