Pkg xen devel - Jul 2013 - Processing of xen_4.2.2-1_amd64.changes

xen_4.2.2-1_amd64.changes uploaded successfully to localhost
along with the files:
  xen_4.2.2-1.dsc
  xen_4.2.2.orig.tar.gz
  xen_4.2.2-1.debian.tar.gz
  xen-docs-4.2_4.2.2-1_all.deb
  xen-utils-common_4.2.2-1_all.deb
  xen-hypervisor-4.2-amd64_4.2.2-1_amd64.deb
  xen-system-amd64_4.2.2-1_amd64.deb
  libxen-4.2_4.2.2-1_amd64.deb
  libxen-dev_4.2.2-1_amd64.deb
  libxenstore3.0_4.2.2-1_amd64.deb
  xen-utils-4.2_4.2.2-1_amd64.deb
  xenstore-utils_4.2.2-1_amd64.deb
  libxen-ocaml-dev_4.2.2-1_amd64.deb
  libxen-ocaml_4.2.2-1_amd64.deb

Greetings,

	Your Debian queue daemon (running on host franck.debian.org)