Index of /debian-ports/pool/main/g/givaro

	Name	Last modified	Size	Description
	Parent Directory		-
	givaro-dev-doc_4.2.0-4_all.deb	2023-06-14 15:43	14K
	givaro-user-doc_4.2.0-4_all.deb	2023-06-14 15:43	14K
	libgivaro-doc_4.2.0-4_all.deb	2023-06-14 15:43	1.9M