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

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[   ]libpetsc-complex3.13-dbg_3.13.2+dfsg1-1_riscv64.deb2020-07-01 12:03 22M
[   ]libpetsc-complex3.13-dev_3.13.2+dfsg1-1_riscv64.deb2020-07-01 12:03 5.8M
[   ]libpetsc-complex3.13_3.13.2+dfsg1-1_riscv64.deb2020-07-01 12:03 4.6M
[   ]libpetsc-real3.13-dbg_3.13.2+dfsg1-1_riscv64.deb2020-07-01 12:03 77M
[   ]libpetsc-real3.13-dev_3.13.2+dfsg1-1_riscv64.deb2020-07-01 12:03 5.8M
[   ]libpetsc-real3.13_3.13.2+dfsg1-1_riscv64.deb2020-07-01 12:03 4.4M
[   ]libpetsc64-complex3.13-dbg_3.13.2+dfsg1-1_riscv64.deb2020-07-01 12:03 22M
[   ]libpetsc64-complex3.13-dev_3.13.2+dfsg1-1_riscv64.deb2020-07-01 12:03 5.8M
[   ]libpetsc64-complex3.13_3.13.2+dfsg1-1_riscv64.deb2020-07-01 12:03 4.5M
[   ]libpetsc64-real3.13-dbg_3.13.2+dfsg1-1_riscv64.deb2020-07-01 12:03 22M
[   ]libpetsc64-real3.13-dev_3.13.2+dfsg1-1_riscv64.deb2020-07-01 12:03 5.9M
[   ]libpetsc64-real3.13_3.13.2+dfsg1-1_riscv64.deb2020-07-01 12:03 4.3M
[   ]petsc_3.13.2+dfsg1-1_riscv64.buildinfo2020-07-01 12:03 13K

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