From cd16d5dc3d86c6c877514c291ce56b09746708af Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Thu, 4 Dec 2008 17:56:12 +0000
Subject: [PATCH] * Doh.

---
 release.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/release.nix b/release.nix
index 87dacf42df..571b002bd6 100644
--- a/release.nix
+++ b/release.nix
@@ -115,9 +115,9 @@ let
 
     
     deb_debian40i386 = makeDeb_i686 (diskImages: diskImages.debian40i386) 30;
-    deb_debian40x86_64 = makeDeb_i686 (diskImages: diskImages.debian40x86_64) 30;
+    deb_debian40x86_64 = makeDeb_x86_64 (diskImages: diskImages.debian40x86_64) 30;
     deb_ubuntu804i386 = makeDeb_i686 (diskImages: diskImages.ubuntu804i386) 40;
-    deb_ubuntu804x86_64 = makeDeb_i686 (diskImages: diskImages.ubuntu804x86_64) 40;
+    deb_ubuntu804x86_64 = makeDeb_x86_64 (diskImages: diskImages.ubuntu804x86_64) 40;
 
 
   };