Index of /debian/pool/main/a/alt-ergo

	Name	Last modified	Size	Description
	Parent Directory		-
	alt-ergo_0.91-2_amd64.deb	02-Jun-2010 09:02	592K
	alt-ergo_0.91-2_i386.deb	02-Jun-2010 17:47	455K
	alt-ergo_0.93-3_amd64.deb	17-Apr-2011 02:02	1.8M
	alt-ergo_0.93-3_i386.deb	19-Apr-2011 11:17	1.4M
	alt-ergo_0.94-2_amd64.deb	14-May-2012 23:32	2.3M
	alt-ergo_0.94-2_i386.deb	15-May-2012 00:02	1.9M
	alt-ergo_0.95.2-3_amd64.deb	28-Apr-2014 08:01	1.5M
	alt-ergo_0.95.2-3_i386.deb	28-Apr-2014 08:56	1.4M
	alt-ergo_1.30-1_amd64.deb	13-Dec-2016 08:43	2.3M
	alt-ergo_1.30-1_i386.deb	13-Dec-2016 08:43	2.1M
	alt-ergo_2.0.0-3_amd64.deb	14-Feb-2019 15:28	3.9M
	alt-ergo_2.0.0-7+b4_amd64.deb	07-Dec-2020 06:13	1.9M
	libalt-ergo-ocaml-dev_0.95.2-3_amd64.deb	28-Apr-2014 08:01	700K
	libalt-ergo-ocaml-dev_0.95.2-3_i386.deb	28-Apr-2014 08:56	706K