Eelco Dolstra fac3438a96 Fix Ubuntu 16.10 name		2017-02-21 15:22:30 +01:00
..
deb
rpm	vm/rpm/rpm-closure.pl: make it deterministic	2016-03-01 11:02:42 +01:00
windows	cygwin-iso: fix the most obvious parts of bit rot	2017-02-09 15:07:38 +01:00
default.nix	Fix Ubuntu 16.10 name	2017-02-21 15:22:30 +01:00
test.nix