Index of /mirror/deb.debian.org/debian/pool/main/d/deal.ii/


../
libdeal.ii-9.4.1_9.4.1-1_amd64.deb                 07-Feb-2023 14:30     78M
libdeal.ii-dev_9.4.1-1_amd64.deb                   07-Feb-2023 14:30      2M
libdeal.ii-doc_9.4.1-1_all.deb                     07-Feb-2023 10:45    247M