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

	Name	Last modified	Size	Description
	Parent Directory		-
	libpetsc-real-dev_3.24.5+dfsg1-2_all.deb	2026-05-02 07:47	9.0K
	libpetsc-complex-dev_3.24.5+dfsg1-2_all.deb	2026-05-02 07:47	9.0K
	libpetsc64-complex-dev_3.24.5+dfsg1-2_all.deb	2026-05-02 07:47	9.0K
	libpetsc64-real-dev_3.24.5+dfsg1-2_all.deb	2026-05-02 07:47	9.0K
	petsc64-dev_3.24.5+dfsg1-2_all.deb	2026-05-02 07:47	9.1K
	petsc-dev_3.24.5+dfsg1-2_all.deb	2026-05-02 07:47	12K
	libpetsc-real-dev_3.25.2+dfsg1-1_all.deb	2026-06-18 17:06	12K
	libpetsc-complex-dev_3.25.2+dfsg1-1_all.deb	2026-06-18 17:06	12K
	libpetsc64-complex-dev_3.25.2+dfsg1-1_all.deb	2026-06-18 17:06	12K
	libpetsc64-real-dev_3.25.2+dfsg1-1_all.deb	2026-06-18 17:06	12K
	petsc64-dev_3.25.2+dfsg1-1_all.deb	2026-06-18 17:06	12K
	petsc-dev_3.25.2+dfsg1-1_all.deb	2026-06-18 17:06	16K
	libpetsc3.24-dev-common_3.24.5+dfsg1-2_all.deb	2026-05-02 07:47	303K
	libpetsc3.25-dev-common_3.25.2+dfsg1-1_all.deb	2026-06-18 17:06	326K
	libpetsc3.24-dev-examples_3.24.5+dfsg1-2_all.deb	2026-05-02 07:47	3.4M
	libpetsc3.25-dev-examples_3.25.2+dfsg1-1_all.deb	2026-06-18 17:06	3.5M
	petsc3.24-doc_3.24.5+dfsg1-2_all.deb	2026-05-02 07:47	29M
	petsc3.25-doc_3.25.2+dfsg1-1_all.deb	2026-06-18 17:06	30M