about summary refs log tree commit diff
path: root/pkgs/build-support/vm/deb/ubuntu-7.10-gutsy-i386.nix
diff options
context:
space:
mode:
Diffstat (limited to 'pkgs/build-support/vm/deb/ubuntu-7.10-gutsy-i386.nix')
-rw-r--r--pkgs/build-support/vm/deb/ubuntu-7.10-gutsy-i386.nix660
1 files changed, 660 insertions, 0 deletions
diff --git a/pkgs/build-support/vm/deb/ubuntu-7.10-gutsy-i386.nix b/pkgs/build-support/vm/deb/ubuntu-7.10-gutsy-i386.nix
new file mode 100644
index 000000000000..0a7a97b3ca48
--- /dev/null
+++ b/pkgs/build-support/vm/deb/ubuntu-7.10-gutsy-i386.nix
@@ -0,0 +1,660 @@
+# This is a generated file.  Do not modify!
+# Following are the Debian packages constituting the closure of: base-passwd dpkg libc6-dev perl sysvinit bash gzip bzip2 tar grep findutils g++ make curl patch diff
+
+{fetchurl}:
+
+[
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/g/gcc-4.2/gcc-4.2-base_4.2.1-5ubuntu4_i386.deb;
+      sha256 = "1f83b97053de65c9653a89ecb34f74127af0550e41ba11eed14252b404c3bb5a";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/g/gcc-4.2/libgcc1_4.2.1-5ubuntu4_i386.deb;
+      sha256 = "d7b993b2a67e9db8d774c9eb614d59005f5c7ab3fee465530ef9b36e91af4635";
+    })
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/g/glibc/libc6_2.6.1-1ubuntu9_i386.deb;
+      sha256 = "cf019ce2db7463a5d80e28515aa4be7e7b764d54ba4e8d1075d3347a1bf91a6e";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/b/base-passwd/base-passwd_3.5.11build1_i386.deb;
+      sha256 = "c1c94973b3f05a01142ab472d91a0b7c3984b72002657837ac6501dcd047ceda";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/a/attr/libattr1_2.4.32-1.1ubuntu1_i386.deb;
+      sha256 = "7d1d6cb090ce71246dfdbca6608732700eb6c760cce41953d317c73995ec3f42";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/a/acl/libacl1_2.2.42-1ubuntu1_i386.deb;
+      sha256 = "1afdc9f931a6b79eab7ebc8b46e3216d38882119ee11a75e24a0e93e1b6d0e78";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/libs/libsepol/libsepol1_2.0.3-1_i386.deb;
+      sha256 = "10c806dcee03befb4d988a251f582fbc1a40d0297a694f64a779709d2abfb0d1";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/libs/libselinux/libselinux1_2.0.15-2ubuntu1_i386.deb;
+      sha256 = "3313baa7fae9875e449feb6acc98df620e4526a1303beb0a1b5620fa58e8acfc";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/c/coreutils/coreutils_5.97-5.3ubuntu3_i386.deb;
+      sha256 = "f2004475ed039ff3ea9f0de5e4564c791f420fd0a575d681e33676fd53ae4b42";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/d/dpkg/dpkg_1.14.5ubuntu16_i386.deb;
+      sha256 = "ed06c0ba98ac035cd277eb06054830796acb0a1a3e088985212a329115a41806";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/l/linux-source-2.6.22/linux-libc-dev_2.6.22-14.46_i386.deb;
+      sha256 = "c5852c7ce875b60b41f3ff35d9b1aab14363a6bf14bdbb66e819f07c027ea8da";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/g/glibc/libc6-dev_2.6.1-1ubuntu9_i386.deb;
+      sha256 = "280ee1685edcdcb0a39050a17e7e2027da216204481bafc15d9eefb6125be2fa";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/p/perl/perl-base_5.8.8-7ubuntu3_i386.deb;
+      sha256 = "b904ccfe30a529360c1950b683a03c725bf7a02ea3f3061906864085861a14ff";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/p/perl/perl-modules_5.8.8-7ubuntu3_all.deb;
+      sha256 = "ead07312e376ccd1e81baf668104d7549936526b42024bd463a7f14e75b861a9";
+    })
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/d/db4.4/libdb4.4_4.4.20-8.1ubuntu3_i386.deb;
+      sha256 = "06ca10f0fe4a40b3a5728c767c3478c277d826acd8dc07c9efa365f39a4eed5e";
+    })
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/g/gdbm/libgdbm3_1.8.3-3_i386.deb;
+      sha256 = "48939f175e6fe9a49dcf7fc765b76d2ff870a4d218e6d0a1fbc03ad58f39e9e4";
+    })
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/p/perl/perl_5.8.8-7ubuntu3_i386.deb;
+      sha256 = "145acad7ccb7c6a92c3f46301a635af2428bf2a01342181d3bffdf3181c8e4e2";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/u/util-linux/mount_2.13-8ubuntu1_i386.deb;
+      sha256 = "f7f97ce1c9d06422887740472321ea6c013c063f9a138dc08d56aee64ad269dc";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/e/e2fsprogs/e2fslibs_1.40.2-1ubuntu1_i386.deb;
+      sha256 = "0664ab855d297af6bc9fb5961173e6ea4e305f9e5d655edbbc20017994ac7640";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/d/devmapper/libdevmapper1.02.1_1.02.20-1ubuntu4_i386.deb;
+      sha256 = "912f4c76f74abddc3c4f48153416e61411cce73036975bebedcfce5de02bed9e";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/e/e2fsprogs/libblkid1_1.40.2-1ubuntu1_i386.deb;
+      sha256 = "c244c2c08288daa4fb6a658d317938043b4028fc6360503e7c5cc7dbc9305352";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/e/e2fsprogs/libcomerr2_1.40.2-1ubuntu1_i386.deb;
+      sha256 = "81704b204d8d1ed573e97d57db09094db4719bc50a18aba16ed096d8291ba097";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/e/e2fsprogs/libss2_1.40.2-1ubuntu1_i386.deb;
+      sha256 = "f34f0e9cec977734271c0429395b42ee04f55dcabfd915c40f7dc80ca5faafaf";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/e/e2fsprogs/libuuid1_1.40.2-1ubuntu1_i386.deb;
+      sha256 = "d2f096e341554cc4105194d153e3e0ef2a318a2f72fb3b7d1feb6ab56bcc24a3";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/e/e2fsprogs/e2fsprogs_1.40.2-1ubuntu1_i386.deb;
+      sha256 = "d8c127697f7e32bf3c5dc5729cca4a1996be4f07c260e15cd551edb3835d4578";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/d/debianutils/debianutils_2.22.1_i386.deb;
+      sha256 = "d5887030d7f87e24faa2ad286b295afcb269442540beacd269abdc2c2b2ec9cf";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/s/sed/sed_4.1.5-2_i386.deb;
+      sha256 = "cab4ea7a45c4976ea5a50b90675916a1c11e231782def1b190f3988ddb873de5";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/n/ncurses/libncurses5_5.6+20070716-1ubuntu3_i386.deb;
+      sha256 = "b394501198467dfd3b7c71778b502570af4a1ec0ef5720985d72d6f1c3f6464f";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/n/ncurses/ncurses-bin_5.6+20070716-1ubuntu3_i386.deb;
+      sha256 = "cabe0ee116bbabc478ae9902f27db59fbd597b5d5216816278652fc7a765a706";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/l/lsb/lsb-base_3.1-23.1ubuntu3_all.deb;
+      sha256 = "3c3fc72e2eb258faed465ce840c6c7601ed681cecb800df0885d741f8fd87d3f";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/s/sysvinit/sysv-rc_2.86.ds1-14.1ubuntu31_all.deb;
+      sha256 = "84a6a91e69fe97bf04ad3776866f78ce71f8c24acb065b680489cc1fef879e35";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/s/sysvinit/sysvutils_2.86.ds1-14.1ubuntu31_i386.deb;
+      sha256 = "d1175000ffcd8dcc03346b0d137a3c6d084be84f9da1c707a27eceec3e973847";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/libl/liblocale-gettext-perl/liblocale-gettext-perl_1.05-1build1_i386.deb;
+      sha256 = "47a54818c8250afa15570bd204902c39cd8598c61c13148d37052e5de86b9fe1";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/libt/libtext-iconv-perl/libtext-iconv-perl_1.4-3_i386.deb;
+      sha256 = "5d4ccb4620137da604c4718de8b27201e5b0a017ccc7f133b0b2a30c0e7c66d4";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/libt/libtext-charwidth-perl/libtext-charwidth-perl_0.04-4build1_i386.deb;
+      sha256 = "aca57fcee4aafe7e7aab1d413f381c78322dc073a710184c0761be588d5c1385";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/libt/libtext-wrapi18n-perl/libtext-wrapi18n-perl_0.06-5_all.deb;
+      sha256 = "ca9adfc2c06e195e2885aed70ad39dd2f170a148cbaecf1339accb3f1c1b4485";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/d/debconf/debconf-i18n_1.5.14ubuntu1_all.deb;
+      sha256 = "790f3285d46f87e885fd5b96bca1c2089aa5bfd3c163c45cef8c62663659204d";
+    })
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/d/debconf/debconf_1.5.14ubuntu1_all.deb;
+      sha256 = "8f17e1f923f3fe5f56730a9cd44e4da401c50f3c988f3e54c5206fe1f2b96044";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/libp/libpam-foreground/libpam-foreground_0.4-1_i386.deb;
+      sha256 = "6641690217fee4a91556104f68f5559f20ffa621d1992e9db231a44a2d3aea3f";
+    })
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/p/pam/libpam-runtime_0.99.7.1-5ubuntu1_all.deb;
+      sha256 = "bcaa63e45942a9f153b77d277e38615000855d0555092a52a3c8d792415d2d37";
+    })
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/p/pam/libpam0g_0.99.7.1-5ubuntu1_i386.deb;
+      sha256 = "5ae28b79dd5a388158a7da59ffc239d82f1d58bc98ed16a4281eb46e20019bac";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/d/db4.5/libdb4.5_4.5.20-5ubuntu3_i386.deb;
+      sha256 = "5d38fd34b914b4385e5b878d41bb120fd5116bda0402aab8e2d9cb2f0814158d";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/p/pam/libpam-modules_0.99.7.1-5ubuntu1_i386.deb;
+      sha256 = "d0bb0efbbeb33902abb2dd98cc937ad7998aab851b576abc07b95165758379a2";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/s/shadow/login_4.0.18.1-9_i386.deb;
+      sha256 = "3cf2eaa169d0548e6d837e19359a5c52626f482faab65864f0a3a72ef6a2f5d7";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/s/shadow/passwd_4.0.18.1-9_i386.deb;
+      sha256 = "1828cec14651446a7b6e847a64c5901df95746a3f8ca32265ae02c596cc3e04a";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/s/sysvinit/initscripts_2.86.ds1-14.1ubuntu31_i386.deb;
+      sha256 = "b6da59fc414fb7f10b794dc28dbd3f485e50157aa4908fa5ed49be20e775363f";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/s/sysvinit/sysvinit_2.86.ds1-14.1ubuntu31_i386.deb;
+      sha256 = "799ab512915a69350ac3833d0a3b75425df25327b5b81c51babcd0011c04fd15";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/g/gawk/gawk_3.1.5.dfsg-4ubuntu1_i386.deb;
+      sha256 = "c675a510af0441c34a6f78d37fbb8c620cf51cfc226aa88cffc494b4ed477c60";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/b/base-files/base-files_4.0.0ubuntu5_i386.deb;
+      sha256 = "8a175da4301a3f09ec25dc9e8e749de58bc2801a990d64b1857316e74481e088";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/b/bash/bash_3.2-0ubuntu11_i386.deb;
+      sha256 = "6b92923fa08c6ec695532b1b44e2c55c65a69c456ea4425308664e53a194c09e";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/g/gzip/gzip_1.3.12-2ubuntu1_i386.deb;
+      sha256 = "88e837eb4f9dc3b4748e5a11817c90ebc0724d84c75458187465f8390685e85e";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/b/bzip2/libbz2-1.0_1.0.4-0ubuntu2_i386.deb;
+      sha256 = "58fa34ecf2ba0a8c249851dce0489f99732542a04f4b45c013ee30bf67d4f9c3";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/b/bzip2/bzip2_1.0.4-0ubuntu2_i386.deb;
+      sha256 = "a9757666c4162780e82ec9654651631f1c685356a5d79cd1c43b94329376a1b1";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/t/tar/tar_1.18-2ubuntu1_i386.deb;
+      sha256 = "235aec14e07bbcba4d0653f8a91fe8e13b563085818026ad9c300ec19460b0d7";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/g/grep/grep_2.5.1.ds2-6build1_i386.deb;
+      sha256 = "72731370e1cc92ee561f2964f988aa65b8083cb25daad5906d4a29efdce8b645";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/f/findutils/findutils_4.2.31-1ubuntu2_i386.deb;
+      sha256 = "09d1a0f98ecb913614da7d41e277501e209f04e2b5cc10cc92afb58acef5d20b";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/g/gcc-4.1/gcc-4.1-base_4.1.2-16ubuntu2_i386.deb;
+      sha256 = "79d72ef12a3be08b29d0ccd6ed4d1d2f4ef1c9ae91d46bd3d1df6febabdf6975";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/g/gcc-4.1/cpp-4.1_4.1.2-16ubuntu2_i386.deb;
+      sha256 = "ffd43fc1c0baf1c81f7cdc9ffbc86700f802f331be302805812b2f51e1b01724";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/g/gcc-defaults/cpp_4.1.2-9ubuntu2_i386.deb;
+      sha256 = "af640c8f9d3570233bcae7245ed9784d5e4f4dce6da4cfcec4b4662dc1c1986f";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/b/binutils/binutils_2.18-0ubuntu3_i386.deb;
+      sha256 = "c862de3bdde2c87b45e2890c8d6731aeb7e745adc850d199b7cdf8c983aa50e2";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/g/gcc-4.1/gcc-4.1_4.1.2-16ubuntu2_i386.deb;
+      sha256 = "0256944b06ef762af1104fb863c122ba5677bf880e5cbbc2aa81cae63a0deefd";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/g/gcc-defaults/gcc_4.1.2-9ubuntu2_i386.deb;
+      sha256 = "f111c3dc0a7cd8cbac6abb6ce5d339762e50bfdac951c0ce145313dabb6e725f";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/g/gcc-4.2/libstdc++6_4.2.1-5ubuntu4_i386.deb;
+      sha256 = "e93e0086aa89e5aa582f489a3adab7073c3b773d444c3235885dc6a9b6752791";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/g/gcc-4.1/libstdc++6-4.1-dev_4.1.2-16ubuntu2_i386.deb;
+      sha256 = "94439277d179d9eaa1a0bfcf6fd6d8cb21d824ba5b6dcfc434011777eacd5f30";
+    })
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/g/gcc-4.1/g++-4.1_4.1.2-16ubuntu2_i386.deb;
+      sha256 = "900720c345681780687865df9c18a38a7aac07a5efe482866f9ca880a408ab87";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/g/gcc-defaults/g++_4.1.2-9ubuntu2_i386.deb;
+      sha256 = "daf099c8b3ebc31c1f39cf0f2c0797660507ea1c1450dab1acd70de13d1d7ee8";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/m/make-dfsg/make_3.81-3build1_i386.deb;
+      sha256 = "ad9894a687a2d664203b929a92c20d8e2dc69a1d9e208439b76f4159ba452bdf";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/libi/libidn/libidn11_1.0-0_i386.deb;
+      sha256 = "e7d7fce3900135e83228f79a5f430e9967dd95432feacc8044a324e74554ff00";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/k/keyutils/libkeyutils1_1.2-3_i386.deb;
+      sha256 = "aec7a7e4c07bc7bbe7f528ba8ec1279b797ce571d8f9519d234702993d7f2747";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/k/krb5/libkrb53_1.6.dfsg.1-7build1_i386.deb;
+      sha256 = "09b229f03e75f5a9f4e6e56b62140f9cdf0ec7a9c6fcb1f09b8f2e5c0757214e";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/z/zlib/zlib1g_1.2.3.3.dfsg-5ubuntu2_i386.deb;
+      sha256 = "867423cbabd4475d662911a8e1c7c0d3067efdebd0f02e7d07bbd5d0a0dee2a6";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/o/openssl/libssl0.9.8_0.9.8e-5ubuntu3_i386.deb;
+      sha256 = "b6fd370b9425c7e7fe5bcb5c09d164db953e55946ed99e308f8402afb54e7a01";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/c/curl/libcurl3_7.16.4-2ubuntu1_i386.deb;
+      sha256 = "db6d60ad95f8e4d9ae76f5f20ce976dfdadfc42b59b028851eb6665f0e80466f";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/c/curl/curl_7.16.4-2ubuntu1_i386.deb;
+      sha256 = "88092ff2b7aa518bf23eda4da9794dbdb722f386515a3714087ac204a213c8ad";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/p/patch/patch_2.5.9-4_i386.deb;
+      sha256 = "53b5ff26960abc3b00e3b2ad05098be2ffdff67829957cec0d63c7b798a4fa1d";
+    })
+
+  ]
+
+  [
+
+    (fetchurl {
+      url = mirror://ubuntu/pool/main/d/diffutils/diff_2.8.1-12ubuntu1_i386.deb;
+      sha256 = "bb1a9bb5d36c04d478da87f403c2f061137d5d5a0269caedb9cfd3e7da2e0ead";
+    })
+
+  ]
+
+]