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

../
deal.ii_9.4.1-1+b1_riscv64.buildinfo               28-Jul-2023 00:03               23164
libdeal.ii-9.4.1-dbgsym_9.4.1-1+b1_riscv64.deb     28-Jul-2023 00:03           661123212
libdeal.ii-9.4.1_9.4.1-1+b1_riscv64.deb            28-Jul-2023 00:03            91571640
libdeal.ii-dev_9.4.1-1+b1_riscv64.deb              28-Jul-2023 00:03             2051480