Index of /debian-ports/pool-hurd-i386/main/p/petsc

	Name	Last modified	Size
	Parent Directory		-
	libpetsc-complex3.25-dbg_3.25.2+dfsg1-1+b1_hurd-i386.deb	2026-07-19 12:03	39M
	libpetsc-complex3.25-dev_3.25.2+dfsg1-1+b1_hurd-i386.deb	2026-07-19 12:03	11M
	libpetsc-complex3.25_3.25.2+dfsg1-1+b1_hurd-i386.deb	2026-07-19 12:03	6.3M
	libpetsc-real3.25-dbg_3.25.2+dfsg1-1+b1_hurd-i386.deb	2026-07-19 12:03	40M
	libpetsc-real3.25-dev_3.25.2+dfsg1-1+b1_hurd-i386.deb	2026-07-19 12:03	10M
	libpetsc-real3.25_3.25.2+dfsg1-1+b1_hurd-i386.deb	2026-07-19 12:03	6.2M
	libpetsc64-complex3.25-dbg_3.25.2+dfsg1-1+b1_hurd-i386.deb	2026-07-19 12:03	40M
	libpetsc64-complex3.25-dev_3.25.2+dfsg1-1+b1_hurd-i386.deb	2026-07-19 12:03	11M
	libpetsc64-complex3.25_3.25.2+dfsg1-1+b1_hurd-i386.deb	2026-07-19 12:03	6.9M
	libpetsc64-real3.25-dbg_3.25.2+dfsg1-1+b1_hurd-i386.deb	2026-07-19 12:03	40M
	libpetsc64-real3.25-dev_3.25.2+dfsg1-1+b1_hurd-i386.deb	2026-07-19 12:03	11M
	libpetsc64-real3.25_3.25.2+dfsg1-1+b1_hurd-i386.deb	2026-07-19 12:03	6.7M
	petsc_3.25.2+dfsg1-1+b1_hurd-i386.buildinfo	2026-07-19 12:03	16K