aboutsummaryrefslogtreecommitdiff
path: root/release.nix
diff options
context:
space:
mode:
authorEelco Dolstra <eelco.dolstra@logicblox.com>2014-12-05 21:16:26 +0100
committerEelco Dolstra <eelco.dolstra@logicblox.com>2014-12-05 21:16:26 +0100
commitb6f99e5a23729c6e84995fee1cee26f9a687a2a4 (patch)
tree4323e776a0d6400e5d3482d4a6d9fd3b80cdbc83 /release.nix
parent8d169b2b75aff82911c42829a5eb495701f9de3e (diff)
Remove some platforms with too-old compilers
Diffstat (limited to 'release.nix')
-rw-r--r--release.nix4
1 files changed, 0 insertions, 4 deletions
diff --git a/release.nix b/release.nix
index f0129f607..d4024bcc9 100644
--- a/release.nix
+++ b/release.nix
@@ -180,8 +180,6 @@ let
};
- rpm_fedora16i386 = makeRPM_i686 (diskImageFuns: diskImageFuns.fedora16i386);
- rpm_fedora16x86_64 = makeRPM_x86_64 (diskImageFunsFun: diskImageFunsFun.fedora16x86_64);
rpm_fedora18i386 = makeRPM_i686 (diskImageFuns: diskImageFuns.fedora18i386);
rpm_fedora18x86_64 = makeRPM_x86_64 (diskImageFunsFun: diskImageFunsFun.fedora18x86_64);
rpm_fedora19i386 = makeRPM_i686 (diskImageFuns: diskImageFuns.fedora19i386);
@@ -193,8 +191,6 @@ let
deb_debian7i386 = makeDeb_i686 (diskImageFuns: diskImageFuns.debian7i386);
deb_debian7x86_64 = makeDeb_x86_64 (diskImageFunsFun: diskImageFunsFun.debian7x86_64);
- deb_ubuntu1204i386 = makeDeb_i686 (diskImageFuns: diskImageFuns.ubuntu1204i386);
- deb_ubuntu1204x86_64 = makeDeb_x86_64 (diskImageFuns: diskImageFuns.ubuntu1204x86_64);
deb_ubuntu1210i386 = makeDeb_i686 (diskImageFuns: diskImageFuns.ubuntu1210i386);
deb_ubuntu1210x86_64 = makeDeb_x86_64 (diskImageFuns: diskImageFuns.ubuntu1210x86_64);
deb_ubuntu1304i386 = makeDeb_i686 (diskImageFuns: diskImageFuns.ubuntu1304i386);