diff options
author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2013-10-23 11:30:51 +0200 |
---|---|---|
committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2013-10-23 11:30:51 +0200 |
commit | 391de89913dbe8e412af35898f78263c4bc0a2d9 (patch) | |
tree | dce16298c9bfdc60957bff426e80373ce5e317bb /pkgs/build-support | |
parent | d6f97c3601be3aa7d36e797fac4e0a57e2147667 (diff) | |
download | nixlib-391de89913dbe8e412af35898f78263c4bc0a2d9.tar nixlib-391de89913dbe8e412af35898f78263c4bc0a2d9.tar.gz nixlib-391de89913dbe8e412af35898f78263c4bc0a2d9.tar.bz2 nixlib-391de89913dbe8e412af35898f78263c4bc0a2d9.tar.lz nixlib-391de89913dbe8e412af35898f78263c4bc0a2d9.tar.xz nixlib-391de89913dbe8e412af35898f78263c4bc0a2d9.tar.zst nixlib-391de89913dbe8e412af35898f78263c4bc0a2d9.zip |
Debian 7: Update to 7.2
Also rename "debian70" to "debian7" to reflect the Wheezy's new versioning scheme.
Diffstat (limited to 'pkgs/build-support')
-rw-r--r-- | pkgs/build-support/vm/default.nix | 22 |
1 files changed, 13 insertions, 9 deletions
diff --git a/pkgs/build-support/vm/default.nix b/pkgs/build-support/vm/default.nix index 0ee5377b1912..ce35832d78cd 100644 --- a/pkgs/build-support/vm/default.nix +++ b/pkgs/build-support/vm/default.nix @@ -1052,7 +1052,7 @@ rec { /* The set of supported Dpkg-based distributions. */ - debDistros = { + debDistros = rec { # Interestingly, the SHA-256 hashes provided by Ubuntu in # http://nl.archive.ubuntu.com/ubuntu/dists/{gutsy,hardy}/Release are @@ -1461,23 +1461,27 @@ rec { packages = commonDebianPackages; }; - debian70i386 = { - name = "debian-7.1.0-wheezy-i386"; - fullName = "Debian 7.1.0 Wheezy (i386)"; + # Backward compatibility. + debian70i386 = debian7i386; + debian70x86_64 = debian7x86_64; + + debian7i386 = { + name = "debian-7.2-wheezy-i386"; + fullName = "Debian 7.2 Wheezy (i386)"; packagesList = fetchurl { url = mirror://debian/dists/wheezy/main/binary-i386/Packages.bz2; - sha256 = "c2751c48805b41c3eddd31cfe92ffa46df13a7d6ce7896b8dc5ce4b2f7f329c5"; + sha256 = "2e80242e323f233c40b3020b0f1a57d12df8a120ee82af88ff7032ba4688f97d"; }; urlPrefix = mirror://debian; packages = commonDebianPackages; }; - debian70x86_64 = { - name = "debian-7.1.0-wheezy-amd64"; - fullName = "Debian 7.1.0 Wheezy (amd64)"; + debian7x86_64 = { + name = "debian-7.2-wheezy-amd64"; + fullName = "Debian 7.2 Wheezy (amd64)"; packagesList = fetchurl { url = mirror://debian/dists/wheezy/main/binary-amd64/Packages.bz2; - sha256 = "9b15b4348cadbcf170c9e83d6fbcb64efac2b787ebdfef16ba21dd70dfca0001"; + sha256 = "adfc4cd3d3b855c73c9e2e12163a33c193f98c9bad25765080fa6136378a6e3b"; }; urlPrefix = mirror://debian; packages = commonDebianPackages; |