This bug was fixed in the package xen-3.3 - 3.3.0-1ubuntu7
--------------- xen-3.3 (3.3.0-1ubuntu7) intrepid; urgency=low
* debian/libxen3.install: remove usr/lib/lib* debian/libxen3-dev.install: add usr/lib/lib.*a Install lib*.so and lib.*a only with the -dev package (LP: #264554).
-- Michael Bienia <email address hidden> Tue, 30 Sep 2008 17:30:43 +0200
This bug was fixed in the package xen-3.3 - 3.3.0-1ubuntu7
---------------
xen-3.3 (3.3.0-1ubuntu7) intrepid; urgency=low
* debian/ libxen3. install: remove usr/lib/lib* libxen3- dev.install: add usr/lib/lib.*a
debian/
Install lib*.so and lib.*a only with the -dev package (LP: #264554).
-- Michael Bienia <email address hidden> Tue, 30 Sep 2008 17:30:43 +0200