paulproteus@obscura:/proc$ dpkg -l | grep xen
ii  libxenstore3.0                          4.0.1-1                     Xenstore communications library for Xen
ii  linux-image-2.6.32-5-xen-amd64          2.6.32-23                   Linux 2.6.32 for 64-bit PCs, Xen dom0 support
ii  linux-image-xen-amd64                   2.6.32+28                   Linux for 64-bit PCs (meta-package), Xen dom0 support, Xen dom0 support
ii  xen-hypervisor-4.0-amd64                4.0.1-1                     The Xen Hypervisor on AMD64
ii  xen-linux-system-2.6.32-5-xen-amd64     2.6.32-23                   Xen system with Linux 2.6.32 on 64-bit PCs (meta-package)
ii  xen-tools                               4.2~rc1-1                   Tools to manage Xen virtual servers
ii  xen-utils-4.0                           4.0.1-1                     XEN administrative tools
ii  xen-utils-common                        4.0.0-1                     XEN administrative tools - common files
ii  xenstore-utils                          4.0.1-1                     Xenstore utilities for Xen