diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-03-27T14·20+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-03-27T14·20+0000 |
| commit | e23a7a8b7b37f493327b7f73350140811cccdb37 (patch) | |
| tree | f824c5078ad31b6a592e3cfa966af89eaa8a7bdb | |
| parent | cb85bc396e7ee291bfd5c22b2a9edf3c85b49c5d (diff) | |
* Debian 5.0, Ubuntu 8.10 builds.
| -rw-r--r-- | release.nix | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/release.nix b/release.nix index 4b641fbc5155..ed91c5a7c6ec 100644 --- a/release.nix +++ b/release.nix @@ -135,10 +135,14 @@ let rpm_opensuse103i386 = makeRPM_i686 (diskImages: diskImages.opensuse103i386) 40; - deb_debian40i386 = makeDeb_i686 (diskImages: diskImages.debian40i386) 30; - deb_debian40x86_64 = makeDeb_x86_64 (diskImages: diskImages.debian40x86_64) 30; - deb_ubuntu804i386 = makeDeb_i686 (diskImages: diskImages.ubuntu804i386) 40; - deb_ubuntu804x86_64 = makeDeb_x86_64 (diskImages: diskImages.ubuntu804x86_64) 40; + deb_debian40i386 = makeDeb_i686 (diskImages: diskImages.debian40i386) 40; + deb_debian40x86_64 = makeDeb_x86_64 (diskImages: diskImages.debian40x86_64) 40; + deb_debian50i386 = makeDeb_i686 (diskImages: diskImages.debian50i386) 30; + deb_debian50x86_64 = makeDeb_x86_64 (diskImages: diskImages.debian50x86_64) 30; + deb_ubuntu804i386 = makeDeb_i686 (diskImages: diskImages.ubuntu804i386) 50; + deb_ubuntu804x86_64 = makeDeb_x86_64 (diskImages: diskImages.ubuntu804x86_64) 50; + deb_ubuntu810i386 = makeDeb_i686 (diskImages: diskImages.ubuntu810i386) 40; + deb_ubuntu810x86_64 = makeDeb_x86_64 (diskImages: diskImages.ubuntu810x86_64) 40; }; |