Eelco Dolstra 0ff68e81b9 debian: Update to 7.5 ... [Note from Austin: I think @edolstra forgot to merge this to master.] (cherry picked from commit 02b056c5b1 on release-14.04)		2014-05-03 10:55:26 -05:00
..
deb	Add Debian 7.0	2013-05-07 11:19:46 +02:00
rpm
windows	vm/windows: Allow to specify a different arch.	2014-03-04 09:22:18 +01:00
default.nix	debian: Update to 7.5	2014-05-03 10:55:26 -05:00
test.nix	Remove runInGenericVM	2013-07-05 00:17:04 +02:00