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

Icon  Name                                             Last modified      Size  Description
[DIR] Parent Directory                                                      -   
[   ] petsc_3.11.4+dfsg1-3_ia64.buildinfo              12-Nov-2019 07:03   10K  
[   ] libpetsc-real3.11_3.11.4+dfsg1-3_ia64.deb        12-Nov-2019 07:03  4.7M  
[   ] libpetsc-complex3.11-dev_3.11.4+dfsg1-3_ia64.deb 12-Nov-2019 07:03  5.6M  
[   ] libpetsc-real3.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-complex3.11-dbg_3.11.4+dfsg1-3_ia64.deb 12-Nov-2019 07:03   22M  
[   ] libpetsc-real3.11-dbg_3.11.4+dfsg1-3_ia64.deb    12-Nov-2019 07:03   48M
Apache/2.2.22 (Debian) Server at mirrors.rackhosting.com Port 80