Index of /pool/main/g/gudhi

	Name	Last modified	Size
	Parent Directory		-
	gudhi_2.3.0+dfsg-2.debian.tar.xz	2018-10-23 21:47	9.1K
	gudhi_2.3.0+dfsg-2.dsc	2018-10-23 21:47	2.5K
	gudhi_2.3.0+dfsg.orig.tar.gz	2018-09-16 18:16	5.2M
	libgudhi-dev_2.3.0+dfsg-2_all.deb	2018-10-23 23:42	177K
	libgudhi-doc_2.3.0+dfsg-2_all.deb	2018-10-23 23:42	3.9M
	libgudhi-examples_2.3.0+dfsg-2_all.deb	2018-10-23 23:42	30K