diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2012-02-07 13:18:25 (GMT) |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2012-02-07 13:18:25 (GMT) |
| commit | 106e21cbe711c71f8690fe5e787d31082b5fdf7a (patch) | |
| tree | a421a49d1ea0ffce84b2edf314c68253cfe123d9 /release.nix | |
| parent | 326f168c02f47b332e432a41b01c714212ee94af (diff) | |
| download | patchelf-106e21cbe711c71f8690fe5e787d31082b5fdf7a.zip patchelf-106e21cbe711c71f8690fe5e787d31082b5fdf7a.tar.gz patchelf-106e21cbe711c71f8690fe5e787d31082b5fdf7a.tar.bz2 | |
Build PatchELF for Ubuntu 11.10 and Fedora 16
Diffstat (limited to 'release.nix')
| -rw-r--r-- | release.nix | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/release.nix b/release.nix index 9cdb41b..63b20db 100644 --- a/release.nix +++ b/release.nix @@ -55,6 +55,9 @@ let rpm_fedora12x86_64 = makeRPM_x86_64 (diskImages: diskImages.fedora12x86_64) 40; rpm_fedora13i386 = makeRPM_i686 (diskImages: diskImages.fedora13i386) 50; rpm_fedora13x86_64 = makeRPM_x86_64 (diskImages: diskImages.fedora13x86_64) 50; + rpm_fedora16i386 = makeRPM_i686 (diskImages: diskImages.fedora16i386) 60; + rpm_fedora16x86_64 = makeRPM_x86_64 (diskImages: diskImages.fedora16x86_64) 60; + rpm_opensuse103i386 = makeRPM_i686 (diskImages: diskImages.opensuse103i386) 40; rpm_opensuse110i386 = makeRPM_i686 (diskImages: diskImages.opensuse110i386) 30; rpm_opensuse110x86_64 = makeRPM_x86_64 (diskImages: diskImages.opensuse110x86_64) 30; @@ -68,6 +71,7 @@ let deb_debian50x86_64 = makeDeb_x86_64 (diskImages: diskImages.debian50x86_64) 50; deb_debian60i386 = makeDeb_i686 (diskImages: diskImages.debian60i386) 60; deb_debian60x86_64 = makeDeb_x86_64 (diskImages: diskImages.debian60x86_64) 60; + deb_ubuntu804i386 = makeDeb_i686 (diskImages: diskImages.ubuntu804i386) 20; deb_ubuntu804x86_64 = makeDeb_x86_64 (diskImages: diskImages.ubuntu804x86_64) 20; deb_ubuntu810i386 = makeDeb_i686 (diskImages: diskImages.ubuntu810i386) 30; @@ -80,6 +84,8 @@ let deb_ubuntu1004x86_64 = makeDeb_x86_64 (diskImages: diskImages.ubuntu1004x86_64) 50; deb_ubuntu1010i386 = makeDeb_i686 (diskImages: diskImages.ubuntu1010i386) 60; deb_ubuntu1010x86_64 = makeDeb_x86_64 (diskImages: diskImages.ubuntu1010x86_64) 60; + deb_ubuntu1110i386 = makeDeb_i686 (diskImages: diskImages.ubuntu1110i386) 70; + deb_ubuntu1110x86_64 = makeDeb_x86_64 (diskImages: diskImages.ubuntu1110x86_64) 70; }; |