From 28034bfa49b258089d5e8d36e89677836acb8eab Mon Sep 17 00:00:00 2001 From: Eelco Dolstra Date: Fri, 3 May 2013 14:14:46 +0200 Subject: [PATCH] Build Ubuntu 13.04 debs --- release.nix | 2 ++ 1 file changed, 2 insertions(+) diff --git a/release.nix b/release.nix index d2b35b7465..95b2e9def8 100644 --- a/release.nix +++ b/release.nix @@ -188,6 +188,8 @@ let deb_ubuntu1204x86_64 = makeDeb_x86_64 (diskImageFuns: diskImageFuns.ubuntu1204x86_64) 60; deb_ubuntu1210i386 = makeDeb_i686 (diskImageFuns: diskImageFuns.ubuntu1210i386) 70; deb_ubuntu1210x86_64 = makeDeb_x86_64 (diskImageFuns: diskImageFuns.ubuntu1210x86_64) 70; + deb_ubuntu1304i386 = makeDeb_i686 (diskImageFuns: diskImageFuns.ubuntu1304i386) 80; + deb_ubuntu1304x86_64 = makeDeb_x86_64 (diskImageFuns: diskImageFuns.ubuntu1304x86_64) 80; # System tests.