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

Name Size Date
📁 ../ - -
📄 libpetsc-complex3.25-dbg_3.25.5+dfsg1-3_x32.deb 50972676 bytes 2026-11-07 00:03:10
📄 libpetsc-complex3.25-dev_3.25.5+dfsg1-3_x32.deb 13943020 bytes 2026-11-07 00:03:10
📄 libpetsc-complex3.25_3.25.5+dfsg1-3_x32.deb 8090524 bytes 2026-11-07 00:03:10
📄 libpetsc-real3.25-dbg_3.25.5+dfsg1-3_x32.deb 51829564 bytes 2026-11-07 00:03:10
📄 libpetsc-real3.25-dev_3.25.5+dfsg1-3_x32.deb 13945220 bytes 2026-11-07 00:03:10
📄 libpetsc-real3.25_3.25.5+dfsg1-3_x32.deb 7899716 bytes 2026-11-07 00:03:10
📄 libpetsc64-complex3.25-dbg_3.25.5+dfsg1-3_x32.deb 51061312 bytes 2026-11-07 00:03:10
📄 libpetsc64-complex3.25-dev_3.25.5+dfsg1-3_x32.deb 13984512 bytes 2026-11-07 00:03:10
📄 libpetsc64-complex3.25_3.25.5+dfsg1-3_x32.deb 8142852 bytes 2026-11-07 00:03:10
📄 libpetsc64-real3.25-dbg_3.25.5+dfsg1-3_x32.deb 51420780 bytes 2026-11-07 00:03:10
📄 libpetsc64-real3.25-dev_3.25.5+dfsg1-3_x32.deb 13927016 bytes 2026-11-07 00:03:10
📄 libpetsc64-real3.25_3.25.5+dfsg1-3_x32.deb 7853832 bytes 2026-11-07 00:03:10
📄 petsc_3.25.5+dfsg1-3_x32.buildinfo 15854 bytes 2026-11-07 00:03:10