Bug#1031964: libtrilinos-{globi,opti}pack-{13.2,dev} are empty

[Adrian Bunk]

Source: trilinos
Version: 13.2.0-3
Severity: serious
Control: affects -1 libtrilinos-globipack-13.2 libtrilinos-optipack-13.2 libtrilinos-globipack-dev libtrilinos-optipack-dev

/.
/usr
/usr/share
/usr/share/doc
/usr/share/doc/libtrilinos-globipack-13.2
/usr/share/doc/libtrilinos-globipack-13.2/changelog.Debian.amd64.gz
/usr/share/doc/libtrilinos-globipack-13.2/changelog.Debian.gz
/usr/share/doc/libtrilinos-globipack-13.2/copyright
/.
/usr
/usr/share
/usr/share/doc
/usr/share/doc/libtrilinos-optipack-13.2
/usr/share/doc/libtrilinos-optipack-13.2/changelog.Debian.amd64.gz
/usr/share/doc/libtrilinos-optipack-13.2/changelog.Debian.gz
/usr/share/doc/libtrilinos-optipack-13.2/copyright
/.
/usr
/usr/share
/usr/share/doc
/usr/share/doc/libtrilinos-globipack-dev
/usr/share/doc/libtrilinos-globipack-dev/changelog.Debian.amd64.gz
/usr/share/doc/libtrilinos-globipack-dev/changelog.Debian.gz
/usr/share/doc/libtrilinos-globipack-dev/copyright
/.
/usr
/usr/share
/usr/share/doc
/usr/share/doc/libtrilinos-optipack-dev
/usr/share/doc/libtrilinos-optipack-dev/changelog.Debian.amd64.gz
/usr/share/doc/libtrilinos-optipack-dev/changelog.Debian.gz
/usr/share/doc/libtrilinos-optipack-dev/copyright