Index of /pub/ubuntu/pool/universe/g/gap-polymaking

	Name	Last modified	Size	Description
	Parent Directory		-
	gap-polymaking_0.8.7-1_all.deb	24-Nov-2023 07:37	240K
	gap-polymaking_0.8.6-2_all.deb	11-Dec-2021 07:24	240K
	gap-polymaking_0.8.7-3_all.deb	02-May-2024 22:39	242K