# autogenerated, do not edit
# The ABI changes every Xen release and every Debian release anyway
# and we do not upload to Debian packages based on Xen upstream
# versions which are at least an rc with a stable ABI.
no-symbols-control-file

# Yes, this is a portmanteau package.  They all change at once.
package-name-doesnt-match-sonames