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

../
libpetsc-complex3.25-dbg_3.25.4+dfsg1-2_x32.deb    23-Aug-2026 18:03            50974872
libpetsc-complex3.25-dev_3.25.4+dfsg1-2_x32.deb    23-Aug-2026 18:03            13942820
libpetsc-complex3.25_3.25.4+dfsg1-2_x32.deb        23-Aug-2026 18:03             8085924
libpetsc-real3.25-dbg_3.25.4+dfsg1-2_x32.deb       23-Aug-2026 18:03            51825888
libpetsc-real3.25-dev_3.25.4+dfsg1-2_x32.deb       23-Aug-2026 18:03            13945364
libpetsc-real3.25_3.25.4+dfsg1-2_x32.deb           23-Aug-2026 18:03             7913536
libpetsc64-complex3.25-dbg_3.25.4+dfsg1-2_x32.deb  23-Aug-2026 18:03            51065120
libpetsc64-complex3.25-dev_3.25.4+dfsg1-2_x32.deb  23-Aug-2026 18:03            13984416
libpetsc64-complex3.25_3.25.4+dfsg1-2_x32.deb      23-Aug-2026 18:03             8140208
libpetsc64-real3.25-dbg_3.25.4+dfsg1-2_x32.deb     23-Aug-2026 18:03            51421072
libpetsc64-real3.25-dev_3.25.4+dfsg1-2_x32.deb     23-Aug-2026 18:03            13928356
libpetsc64-real3.25_3.25.4+dfsg1-2_x32.deb         23-Aug-2026 18:03             7855392
petsc_3.25.4+dfsg1-2_x32.buildinfo                 23-Aug-2026 18:03               16078