Index of /debian-ports/pool-ia64/main/p/petsc
Name Last modified Size Description
Parent Directory -
libpetsc-complex3.11-dbg_3.11.4+dfsg1-3_ia64.deb 12-Nov-2019 07:03 22M
libpetsc-complex3.11-dev_3.11.4+dfsg1-3_ia64.deb 12-Nov-2019 07:03 5.6M
libpetsc-complex3.11_3.11.4+dfsg1-3_ia64.deb 12-Nov-2019 07:03 6.0M
libpetsc-real3.11-dbg_3.11.4+dfsg1-3_ia64.deb 12-Nov-2019 07:03 48M
libpetsc-real3.11-dev_3.11.4+dfsg1-3_ia64.deb 12-Nov-2019 07:03 5.6M
libpetsc-real3.11_3.11.4+dfsg1-3_ia64.deb 12-Nov-2019 07:03 4.7M
petsc_3.11.4+dfsg1-3_ia64.buildinfo 12-Nov-2019 07:03 10K
Apache/2.2.22 (Debian) Server at mirrors.rackhosting.com Port 80