Index of /Debian/pool/main/g/gap-autodoc

	Name	Last modified	Size
	Parent Directory		-
	gap-autodoc_2018.09.20-1.debian.tar.xz	22-Dec-2018 13:27	2.9K
	gap-autodoc_2018.09.20-1.dsc	22-Dec-2018 13:27	1.8K
	gap-autodoc_2018.09.20-1_all.deb	22-Dec-2018 13:27	275K
	gap-autodoc_2018.09.20.orig.tar.bz2	22-Dec-2018 13:27	416K
	gap-autodoc_2019.05.20-1.debian.tar.xz	26-Jul-2019 14:52	3.0K
	gap-autodoc_2019.05.20-1.dsc	26-Jul-2019 14:52	1.8K
	gap-autodoc_2019.05.20-1_all.deb	26-Jul-2019 16:17	292K
	gap-autodoc_2019.05.20.orig.tar.bz2	26-Jul-2019 14:52	441K