Index of /debian-ports/pool-riscv64/main/p/petsc

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[   ]libpetsc-complex3.11-dbg_3.11.4+dfsg1-3+b1_riscv64.deb2019-11-23 00:03 19M
[   ]libpetsc-complex3.11-dev_3.11.4+dfsg1-3+b1_riscv64.deb2019-11-23 00:03 5.6M
[   ]libpetsc-complex3.11_3.11.4+dfsg1-3+b1_riscv64.deb2019-11-23 00:03 4.3M
[   ]libpetsc-complex3.12-dbg_3.12.0+dfsg1-2+b1_riscv64.deb2019-11-15 00:03 20M
[   ]libpetsc-complex3.12-dev_3.12.0+dfsg1-2+b1_riscv64.deb2019-11-15 00:03 5.7M
[   ]libpetsc-complex3.12_3.12.0+dfsg1-2+b1_riscv64.deb2019-11-15 00:03 4.6M
[   ]libpetsc-real3.11-dbg_3.11.4+dfsg1-3+b1_riscv64.deb2019-11-23 00:03 40M
[   ]libpetsc-real3.11-dev_3.11.4+dfsg1-3+b1_riscv64.deb2019-11-23 00:03 5.6M
[   ]libpetsc-real3.11_3.11.4+dfsg1-3+b1_riscv64.deb2019-11-23 00:03 4.2M
[   ]libpetsc-real3.12-dbg_3.12.0+dfsg1-2+b1_riscv64.deb2019-11-15 00:03 43M
[   ]libpetsc-real3.12-dev_3.12.0+dfsg1-2+b1_riscv64.deb2019-11-15 00:03 5.7M
[   ]libpetsc-real3.12_3.12.0+dfsg1-2+b1_riscv64.deb2019-11-15 00:03 4.4M
[   ]petsc_3.11.4+dfsg1-3+b1_riscv64.buildinfo2019-11-23 00:03 10K
[   ]petsc_3.12.0+dfsg1-2+b1_riscv64.buildinfo2019-11-15 00:03 11K

Apache Server at ftp.ports.debian.org Port 80