From cc837e24586eec62d07e0cb078e02caa6ee42171 Mon Sep 17 00:00:00 2001 From: Eelco Dolstra Date: Tue, 7 May 2013 11:21:30 +0200 Subject: [PATCH] Build Debian 7.0 debs --- release.nix | 2 ++ 1 file changed, 2 insertions(+) diff --git a/release.nix b/release.nix index 95b2e9def8..f6ce2a553d 100644 --- a/release.nix +++ b/release.nix @@ -177,6 +177,8 @@ let deb_debian60i386 = makeDeb_i686 (diskImageFuns: diskImageFuns.debian60i386) 50; deb_debian60x86_64 = makeDeb_x86_64 (diskImageFunsFun: diskImageFunsFun.debian60x86_64) 50; + deb_debian70i386 = makeDeb_i686 (diskImageFuns: diskImageFuns.debian70i386) 60; + deb_debian70x86_64 = makeDeb_x86_64 (diskImageFunsFun: diskImageFunsFun.debian70x86_64) 60; deb_ubuntu1004i386 = makeDeb_i686 (diskImageFuns: diskImageFuns.ubuntu1004i386) 50; deb_ubuntu1004x86_64 = makeDeb_x86_64 (diskImageFuns: diskImageFuns.ubuntu1004x86_64) 50;