From 07c69aa03b442e80595151af1342536c3906a7b2 Mon Sep 17 00:00:00 2001
From: Benjamin Staffin <ben@folsomlabs.com>
Date: Fri, 29 May 2015 01:52:18 -0700
Subject: [PATCH] Add Debian 8.0 builds

Change-Id: I68a54a0c3f97da2d062f43b638de817fd40f2dcd
---
 release.nix | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/release.nix b/release.nix
index a93b62ba3..e65857ed4 100644
--- a/release.nix
+++ b/release.nix
@@ -187,6 +187,8 @@ let
 
     deb_debian7i386 = makeDeb_i686 (diskImageFuns: diskImageFuns.debian7i386);
     deb_debian7x86_64 = makeDeb_x86_64 (diskImageFunsFun: diskImageFunsFun.debian7x86_64);
+    deb_debian8i386 = makeDeb_i686 (diskImageFuns: diskImageFuns.debian8i386);
+    deb_debian8x86_64 = makeDeb_x86_64 (diskImageFunsFun: diskImageFunsFun.debian8x86_64);
 
     deb_ubuntu1210i386 = makeDeb_i686 (diskImageFuns: diskImageFuns.ubuntu1210i386);
     deb_ubuntu1210x86_64 = makeDeb_x86_64 (diskImageFuns: diskImageFuns.ubuntu1210x86_64);