Eelco Dolstra 391de89913 Debian 7: Update to 7.2 ... Also rename "debian70" to "debian7" to reflect the Wheezy's new versioning scheme.		2013-10-23 11:30:51 +02:00
..
deb	Add Debian 7.0	2013-05-07 11:19:46 +02:00
rpm	rpmclosure, remove exit	2012-02-02 09:54:16 +00:00
default.nix	Debian 7: Update to 7.2	2013-10-23 11:30:51 +02:00
test.nix	Remove runInGenericVM	2013-07-05 00:17:04 +02:00