../ libdeal.ii-9.3.2_9.3.2-1~exp1ubuntu1_amd64.deb 19-Jun-2025 06:40 71M libdeal.ii-dev_9.3.2-1~exp1ubuntu1_amd64.deb 19-Jun-2025 06:40 2M libdeal.ii-doc_9.3.2-1~exp1ubuntu1_all.deb 19-Jun-2025 06:40 203M