deal.ii_9.7.1-3.debian.tar.xz
deal.ii_9.7.1-3.dsc
deal.ii_9.7.1.orig.tar.xz
libdeal.ii-9.7.1_9.7.1-3_amd64.deb
libdeal.ii-dev_9.7.1-3_amd64.deb
libdeal.ii-doc_9.7.1-3_all.deb