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

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