Index of /pub/linux/debian/debian-ports/pool-x32/main/p/petsc

 Name                                              Last modified      Size  
 Parent Directory                                                       -   
 libpetsc-complex3.25-dbg_3.25.5+dfsg1-3_x32.deb   2026-11-07 01:03   49M  
 libpetsc-complex3.25-dev_3.25.5+dfsg1-3_x32.deb   2026-11-07 01:03   13M  
 libpetsc-complex3.25_3.25.5+dfsg1-3_x32.deb       2026-11-07 01:03  7.7M  
 libpetsc-real3.25-dbg_3.25.5+dfsg1-3_x32.deb      2026-11-07 01:03   49M  
 libpetsc-real3.25-dev_3.25.5+dfsg1-3_x32.deb      2026-11-07 01:03   13M  
 libpetsc-real3.25_3.25.5+dfsg1-3_x32.deb          2026-11-07 01:03  7.5M  
 libpetsc64-complex3.25-dbg_3.25.5+dfsg1-3_x32.deb 2026-11-07 01:03   49M  
 libpetsc64-complex3.25-dev_3.25.5+dfsg1-3_x32.deb 2026-11-07 01:03   13M  
 libpetsc64-complex3.25_3.25.5+dfsg1-3_x32.deb     2026-11-07 01:03  7.8M  
 libpetsc64-real3.25-dbg_3.25.5+dfsg1-3_x32.deb    2026-11-07 01:03   49M  
 libpetsc64-real3.25-dev_3.25.5+dfsg1-3_x32.deb    2026-11-07 01:03   13M  
 libpetsc64-real3.25_3.25.5+dfsg1-3_x32.deb        2026-11-07 01:03  7.5M  
 petsc_3.25.5+dfsg1-3_x32.buildinfo                2026-11-07 01:03   15K