Index of /dev/pool/main/d/deal.ii/

../
deal.ii_9.4.1-1.debian.tar.xz                      07-Feb-2023 08:16               12392
deal.ii_9.4.1-1.dsc                                07-Feb-2023 08:16                2765
deal.ii_9.4.1.orig.tar.xz                          29-Jan-2023 14:48           244675172
libdeal.ii-9.4.1_9.4.1-1_amd64.deb                 07-Feb-2023 14:30            81789044
libdeal.ii-dev_9.4.1-1_amd64.deb                   07-Feb-2023 14:30             2051128
libdeal.ii-doc_9.4.1-1_all.deb                     07-Feb-2023 10:45           258664456