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

 Name                                                  Last modified      Size  Description
 Parent Directory                                                           -   
 libpetsc-complex3.13-dbg_3.13.3+dfsg1-1_riscv64.deb   08-Jul-2020 20:03   22M  
 libpetsc-complex3.13-dev_3.13.3+dfsg1-1_riscv64.deb   08-Jul-2020 20:03  5.8M  
 libpetsc-complex3.13_3.13.3+dfsg1-1_riscv64.deb       08-Jul-2020 20:03  4.6M  
 libpetsc-real3.13-dbg_3.13.3+dfsg1-1_riscv64.deb      08-Jul-2020 20:03   77M  
 libpetsc-real3.13-dev_3.13.3+dfsg1-1_riscv64.deb      08-Jul-2020 20:03  5.8M  
 libpetsc-real3.13_3.13.3+dfsg1-1_riscv64.deb          08-Jul-2020 20:03  4.4M  
 libpetsc64-complex3.13-dbg_3.13.3+dfsg1-1_riscv64.deb 08-Jul-2020 20:03   22M  
 libpetsc64-complex3.13-dev_3.13.3+dfsg1-1_riscv64.deb 08-Jul-2020 20:03  5.8M  
 libpetsc64-complex3.13_3.13.3+dfsg1-1_riscv64.deb     08-Jul-2020 20:03  4.5M  
 libpetsc64-real3.13-dbg_3.13.3+dfsg1-1_riscv64.deb    08-Jul-2020 20:03   22M  
 libpetsc64-real3.13-dev_3.13.3+dfsg1-1_riscv64.deb    08-Jul-2020 20:03  5.8M  
 libpetsc64-real3.13_3.13.3+dfsg1-1_riscv64.deb        08-Jul-2020 20:03  4.3M  
 petsc_3.13.3+dfsg1-1_riscv64.buildinfo                08-Jul-2020 20:03   13K