diff --git a/pkgs/os-specific/linux/hal/default.nix b/pkgs/os-specific/linux/hal/default.nix
index 0075117215b2..ab47ecdd83d8 100644
--- a/pkgs/os-specific/linux/hal/default.nix
+++ b/pkgs/os-specific/linux/hal/default.nix
@@ -3,16 +3,16 @@ args: with args;
 assert stdenv ? glibc;
 
 stdenv.mkDerivation rec {
-  name = "hal-0.5.11";
+  name = "hal-0.5.13";
   
   src = fetchurl {
     url = "http://hal.freedesktop.org/releases/${name}.tar.gz";
-    sha256 = "145s20fzb4gaqxmv3r6i29ndwgnap95ric63n1z6g2gp80iry2kk";
+    sha256 = "1by8z7vy1c1m3iyh57rlqx6rah5gj6kx3ba30s9305bnffij5kzb";
   };
   
   buildInputs = [
     pkgconfig python pciutils expat libusb dbus.libs dbus_glib glib
-    libvolume_id perl perlXMLParser gettext zlib libsmbios gperf
+    libuuid perl perlXMLParser gettext zlib gperf
     # !!! libsmbios is broken; it doesn't install headers.
   ];
 
@@ -21,18 +21,21 @@ stdenv.mkDerivation rec {
   configureFlags = ''
     --with-pci-ids=${pciutils}/share
     --with-usb-ids=${usbutils}/share
-    --disable-docbook-docs
-    --disable-gtk-doc
     --localstatedir=/var
     --with-eject=${eject}/bin/eject
+    --with-linux-input-header=${stdenv.glibc}/include/linux/input.h
     --disable-policy-kit
   '';
 
-  propagatedBuildInputs = [libusb];
+  propagatedBuildInputs = [libusb libsmbios];
 
   preConfigure = ''
-    substituteInPlace hald/linux/coldplug.c --replace /usr/bin/udevinfo ${udev}/bin/udevinfo
-
-    substituteInPlace tools/Makefile.in --replace /usr/include ${stdenv.glibc}/include
+    for i in hald/linux/probing/probe-smbios.c hald/linux/osspec.c \
+             hald/linux/coldplug.c hald/linux/blockdev.c
+    do
+      substituteInPlace $i \
+        --replace /usr/sbin/dmidecode ${dmidecode}/sbin/dmidecode \
+        --replace /sbin/udevadm ${udev}/sbin/udevadm
+    done
   '';
 }
diff --git a/pkgs/os-specific/linux/hal/info.nix b/pkgs/os-specific/linux/hal/info.nix
index f8f80e4c5bb6..92677e3edaeb 100644
--- a/pkgs/os-specific/linux/hal/info.nix
+++ b/pkgs/os-specific/linux/hal/info.nix
@@ -1,15 +1,13 @@
-{stdenv, fetchurl, pkgconfig, hal}:
+{stdenv, fetchurl, pkgconfig}:
 
 stdenv.mkDerivation rec {
-  name = "hal-info-20090414";
+  name = "hal-info-20090716";
   
   src = fetchurl {
     url = "http://hal.freedesktop.org/releases/${name}.tar.gz";
-    sha256 = "03zsh4psq189k7i8mwazsmallwc10naavkdrp1sp68jjjkf8gp9k";
+    sha256 = "179m2ip79jpr1mrmbcm2nx7l1mjlwcfmlw4ycd4dh0jrib64m3sp";
   };
 
-  buildInputs = [pkgconfig hal];
-
   meta = {
     homepage = http://www.freedesktop.org/wiki/Software/hal;
     description = "Hardware data and quirks for HAL";
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 58e6c08bf8e0..e45fb2f75719 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -4761,13 +4761,13 @@ let
 
   hal = import ../os-specific/linux/hal {
     inherit fetchurl stdenv pkgconfig python pciutils usbutils expat
-      libusb dbus dbus_glib libvolume_id perl perlXMLParser
-      gettext zlib eject libsmbios udev gperf;
+      libusb dbus dbus_glib libuuid perl perlXMLParser                                     
+      gettext zlib eject libsmbios udev gperf dmidecode;                                   
     inherit (gtkLibs) glib;
   };
 
   hal_info = import ../os-specific/linux/hal/info.nix {
-    inherit fetchurl stdenv pkgconfig hal;
+    inherit fetchurl stdenv pkgconfig;
   };
 
   hdparm = import ../os-specific/linux/hdparm {