Index of /mirror/ports.ubuntu.com/ubuntu-ports/pool/universe/d/deal.ii/

../
libdeal.ii-9.3.2_9.3.2-1~exp1ubuntu1_arm64.deb     10-Mar-2022 09:29     66M
libdeal.ii-dev_9.3.2-1~exp1ubuntu1_arm64.deb       10-Mar-2022 09:29      2M
libdeal.ii-doc_9.3.2-1~exp1ubuntu1_all.deb         09-Mar-2022 20:50    203M