Index of /debian-ports/pool-riscv64/main/d/deal.ii/

../
deal.ii_9.4.1-1+b1_riscv64.buildinfo               28-Jul-2023 09:03     23K
libdeal.ii-9.4.1-dbgsym_9.4.1-1+b1_riscv64.deb     28-Jul-2023 09:03    630M
libdeal.ii-9.4.1_9.4.1-1+b1_riscv64.deb            28-Jul-2023 09:03     87M
libdeal.ii-dev_9.4.1-1+b1_riscv64.deb              28-Jul-2023 09:03      2M