Index of /ubuntu/pool/universe/a/alt-ergo

	Name	Last modified	Size
	Parent Directory		-
	alt-ergo_0.8.orig.tar.gz	2009-04-29 16:04	104K
	alt-ergo_0.8-1build1.diff.gz	2009-09-01 08:04	9.7K
	alt-ergo_0.8-1build1.dsc	2009-09-01 08:04	1.4K
	alt-ergo_0.8-1build1_armel.deb	2009-09-01 08:05	144K
	alt-ergo_0.8-1build1_i386.deb	2009-09-01 08:05	408K
	alt-ergo_0.8-1build1_lpia.deb	2009-09-01 08:05	407K
	alt-ergo_0.8-1build1_powerpc.deb	2009-09-01 09:05	495K
	alt-ergo_0.8-1build1_amd64.deb	2009-09-01 11:05	529K
	alt-ergo_0.8-1build1_ia64.deb	2009-09-01 15:11	143K
	alt-ergo_0.8-1build1_sparc.deb	2009-09-02 20:04	492K
	alt-ergo_0.9.orig.tar.gz	2009-11-04 02:04	111K
	alt-ergo_0.9-1build1.diff.gz	2010-02-28 18:05	9.7K
	alt-ergo_0.9-1build1.dsc	2010-02-28 18:05	1.6K
	alt-ergo_0.9-1build1_amd64.deb	2010-02-28 18:05	547K
	alt-ergo_0.9-1build1_armel.deb	2010-02-28 18:05	148K
	alt-ergo_0.9-1build1_i386.deb	2010-02-28 18:05	421K
	alt-ergo_0.9-1build1_ia64.deb	2010-02-28 18:05	148K
	alt-ergo_0.9-1build1_powerpc.deb	2010-02-28 18:05	511K
	alt-ergo_0.9-1build1_sparc.deb	2010-02-28 18:05	508K
	alt-ergo_0.91-2.diff.gz	2010-06-04 15:05	10K
	alt-ergo_0.91-2.dsc	2010-06-04 15:05	1.9K
	alt-ergo_0.91.orig.tar.gz	2010-06-04 15:05	133K
	alt-ergo_0.91-2_armel.deb	2010-06-04 16:05	163K
	alt-ergo_0.91-2_i386.deb	2010-06-04 17:05	456K
	alt-ergo_0.91-2_amd64.deb	2010-06-05 05:05	593K
	alt-ergo_0.91-2_powerpc.deb	2010-06-05 05:06	555K
	alt-ergo_0.93-3.diff.gz	2011-04-30 15:07	12K
	alt-ergo_0.93-3.dsc	2011-04-30 15:07	1.7K
	alt-ergo_0.93.orig.tar.gz	2011-04-30 15:07	175K
	alt-ergo_0.93-3_amd64.deb	2011-05-18 13:04	1.8M
	alt-ergo_0.93-3_i386.deb	2011-05-18 13:04	1.4M
	alt-ergo_0.93-3_powerpc.deb	2011-05-18 21:04	1.7M
	alt-ergo_0.93-3_armel.deb	2011-05-19 16:04	1.6M
	alt-ergo_0.94-1.diff.gz	2011-12-26 18:04	13K
	alt-ergo_0.94-1.dsc	2011-12-26 18:04	2.1K
	alt-ergo_0.94.orig.tar.gz	2011-12-26 18:04	184K
	alt-ergo_0.94-1_i386.deb	2011-12-26 18:04	1.9M
	alt-ergo_0.94-1_amd64.deb	2011-12-26 18:34	2.3M
	alt-ergo_0.94-1_armel.deb	2011-12-26 18:35	2.1M
	alt-ergo_0.94-1_armhf.deb	2011-12-26 18:35	2.1M
	alt-ergo_0.94-1_powerpc.deb	2011-12-26 18:35	2.3M
	alt-ergo_0.94-2.diff.gz	2012-05-17 11:33	13K
	alt-ergo_0.94-2.dsc	2012-05-17 11:33	1.7K
	alt-ergo_0.94-2_amd64.deb	2012-05-17 12:04	2.3M
	alt-ergo_0.94-2_armel.deb	2012-05-17 12:04	2.1M
	alt-ergo_0.94-2_armhf.deb	2012-05-17 12:04	2.1M
	alt-ergo_0.94-2_i386.deb	2012-05-17 12:05	1.9M
	alt-ergo_0.94-2_powerpc.deb	2012-05-17 12:05	2.3M
	alt-ergo_0.95.1.orig.tar.gz	2013-05-11 05:33	233K
	alt-ergo_0.95.1-3.debian.tar.gz	2013-09-02 22:18	14K
	alt-ergo_0.95.1-3.dsc	2013-09-02 22:18	1.5K
	libalt-ergo-ocaml-dev_0.95.1-3_amd64.deb	2013-09-02 22:18	642K
	alt-ergo_0.95.1-3_amd64.deb	2013-09-02 22:18	1.8M
	alt-ergo_0.95.1-3_armhf.deb	2013-09-02 22:18	1.8M
	libalt-ergo-ocaml-dev_0.95.1-3_armhf.deb	2013-09-02 22:18	674K
	alt-ergo_0.95.1-3_i386.deb	2013-09-02 22:18	1.6M
	libalt-ergo-ocaml-dev_0.95.1-3_i386.deb	2013-09-02 22:18	638K
	alt-ergo_0.95.1-3_powerpc.deb	2013-09-02 22:18	1.9M
	libalt-ergo-ocaml-dev_0.95.1-3_powerpc.deb	2013-09-02 22:18	730K
	alt-ergo_0.95.2.orig.tar.gz	2013-11-17 23:18	228K
	alt-ergo_0.95.2-3.debian.tar.xz	2014-04-28 11:28	11K
	alt-ergo_0.95.2-3.dsc	2014-04-28 11:28	2.2K
	alt-ergo_0.95.2-3_amd64.deb	2014-04-28 11:28	1.5M
	libalt-ergo-ocaml-dev_0.95.2-3_amd64.deb	2014-04-28 11:28	698K
	alt-ergo_0.95.2-3_armhf.deb	2014-04-28 11:29	1.5M
	libalt-ergo-ocaml-dev_0.95.2-3_armhf.deb	2014-04-28 11:29	852K
	libalt-ergo-ocaml-dev_0.95.2-3_i386.deb	2014-04-28 11:29	702K
	alt-ergo_0.95.2-3_i386.deb	2014-04-28 11:29	1.4M
	alt-ergo_0.95.2-3_ppc64el.deb	2014-04-28 11:29	285K
	libalt-ergo-ocaml-dev_0.95.2-3_ppc64el.deb	2014-04-28 11:29	154K
	alt-ergo_0.95.2-3_arm64.deb	2014-04-28 15:59	285K
	libalt-ergo-ocaml-dev_0.95.2-3_arm64.deb	2014-04-28 15:59	154K
	alt-ergo_0.95.2-3_powerpc.deb	2014-04-29 02:23	1.3M
	libalt-ergo-ocaml-dev_0.95.2-3_powerpc.deb	2014-04-29 02:23	768K
	alt-ergo_0.99.1+dfsg1.orig.tar.gz	2015-05-06 12:14	218K
	alt-ergo_0.99.1+dfsg1-4build1.debian.tar.xz	2015-09-08 09:03	12K
	alt-ergo_0.99.1+dfsg1-4build1.dsc	2015-09-08 09:03	2.2K
	alt-ergo_0.99.1+dfsg1-4build1_amd64.deb	2015-09-08 09:03	1.9M
	alt-ergo_0.99.1+dfsg1-4build1_i386.deb	2015-09-08 09:03	1.8M
	alt-ergo_0.99.1+dfsg1-4build1_powerpc.deb	2015-09-08 09:03	1.7M
	alt-ergo_0.99.1+dfsg1-4build1_ppc64el.deb	2015-09-08 09:03	302K
	alt-ergo_0.99.1+dfsg1-4build1_arm64.deb	2015-09-08 09:23	303K
	alt-ergo_0.99.1+dfsg1-4build1_armhf.deb	2015-09-08 09:23	1.9M
	alt-ergo_1.30-1.debian.tar.xz	2016-12-13 05:18	14K
	alt-ergo_1.30-1.dsc	2016-12-13 05:18	2.2K
	alt-ergo_1.30.orig.tar.gz	2016-12-13 05:18	371K
	alt-ergo_1.30-1_amd64.deb	2016-12-13 05:48	2.2M
	alt-ergo_1.30-1_arm64.deb	2016-12-13 05:48	2.0M
	alt-ergo_1.30-1_armhf.deb	2016-12-13 05:49	2.0M
	alt-ergo_1.30-1_i386.deb	2016-12-13 05:49	1.8M
	alt-ergo_1.30-1_ppc64el.deb	2016-12-13 05:49	319K
	alt-ergo_1.30-1_s390x.deb	2016-12-13 05:49	319K
	alt-ergo_1.30-1build1.debian.tar.xz	2017-07-03 00:33	14K
	alt-ergo_1.30-1build1.dsc	2017-07-03 00:33	1.9K
	alt-ergo_1.30-1build1_amd64.deb	2017-07-03 00:48	2.9M
	alt-ergo_1.30-1build1_i386.deb	2017-07-03 00:48	2.3M
	alt-ergo_1.30-1build1_ppc64el.deb	2017-07-03 02:33	3.4M
	alt-ergo_1.30-1build1_s390x.deb	2017-07-03 02:33	3.3M
	alt-ergo_1.30-1build1_arm64.deb	2017-07-03 02:38	3.0M
	alt-ergo_1.30-1build1_armhf.deb	2017-07-03 02:38	2.6M
	alt-ergo_1.30+dfsg1-1.dsc	2017-12-21 23:08	2.2K
	alt-ergo_1.30+dfsg1.orig.tar.gz	2017-12-21 23:08	258K
	alt-ergo_1.30+dfsg1-1.debian.tar.xz	2017-12-21 23:08	14K
	alt-ergo_1.30+dfsg1-1_amd64.deb	2017-12-21 23:24	3.0M
	alt-ergo_1.30+dfsg1-1_arm64.deb	2017-12-21 23:24	3.8M
	alt-ergo_1.30+dfsg1-1_armhf.deb	2017-12-21 23:24	2.4M
	alt-ergo_1.30+dfsg1-1_i386.deb	2017-12-21 23:24	2.4M
	alt-ergo_1.30+dfsg1-1_ppc64el.deb	2017-12-21 23:24	3.5M
	alt-ergo_1.30+dfsg1-1_s390x.deb	2017-12-21 23:25	3.5M
	alt-ergo_1.01-1_amd64.deb	2018-05-15 06:14	1.9M
	alt-ergo_1.01-1.dsc	2018-06-13 02:52	2.1K
	alt-ergo_1.01.orig.tar.gz	2018-06-13 02:52	221K
	alt-ergo_1.01-1.debian.tar.xz	2018-06-13 02:52	13K
	alt-ergo_1.01-1_arm64.deb	2018-06-13 04:19	1.7M
	alt-ergo_1.01-1_armhf.deb	2018-06-13 05:10	1.7M
	alt-ergo_1.01-1_i386.deb	2018-06-13 05:56	1.6M
	alt-ergo_1.01-1_powerpc.deb	2018-06-13 06:40	1.5M
	alt-ergo_1.01-1_ppc64el.deb	2018-06-13 07:48	291K
	alt-ergo_1.01-1_s390x.deb	2018-06-13 08:44	291K
	alt-ergo_1.30+dfsg1-2.debian.tar.xz	2018-11-14 05:08	14K
	alt-ergo_1.30+dfsg1-2.dsc	2018-11-14 05:08	2.1K
	alt-ergo_1.30+dfsg1-2_amd64.deb	2018-11-14 05:13	1.2M
	alt-ergo_1.30+dfsg1-2_arm64.deb	2018-11-14 05:13	1.5M
	alt-ergo_1.30+dfsg1-2_i386.deb	2018-11-14 05:13	1.1M
	alt-ergo_1.30+dfsg1-2_ppc64el.deb	2018-11-14 05:13	1.4M
	alt-ergo_1.30+dfsg1-2_s390x.deb	2018-11-14 05:13	1.4M
	alt-ergo_1.30+dfsg1-2_armhf.deb	2018-11-14 05:18	1.2M
	alt-ergo_2.0.0.orig.tar.gz	2019-02-14 05:08	345K
	alt-ergo_2.0.0-4.debian.tar.xz	2019-07-31 17:19	6.8K
	alt-ergo_2.0.0-4.dsc	2019-07-31 17:19	1.9K
	alt-ergo_2.0.0-4_amd64.deb	2019-07-31 17:23	3.8M
	alt-ergo_2.0.0-4_arm64.deb	2019-07-31 17:24	4.7M
	alt-ergo_2.0.0-4_i386.deb	2019-07-31 17:24	3.4M
	alt-ergo_2.0.0-4_ppc64el.deb	2019-07-31 17:24	4.3M
	alt-ergo_2.0.0-4_s390x.deb	2019-07-31 17:24	4.4M
	alt-ergo_2.0.0-7.debian.tar.xz	2020-08-11 17:13	6.9K
	alt-ergo_2.0.0-7.dsc	2020-08-11 17:13	1.9K
	alt-ergo_2.0.0-7_amd64.deb	2020-08-11 17:39	1.7M
	alt-ergo_2.0.0-7_arm64.deb	2020-08-11 17:39	2.0M
	alt-ergo_2.0.0-7_ppc64el.deb	2020-08-11 17:39	1.9M
	alt-ergo_2.0.0-7_riscv64.deb	2020-08-11 17:39	262K
	alt-ergo_2.0.0-7_s390x.deb	2020-08-11 17:39	2.0M
	alt-ergo_2.0.0-7build2.debian.tar.xz	2020-11-28 09:28	7.1K
	alt-ergo_2.0.0-7build2.dsc	2020-11-28 09:28	2.1K
	alt-ergo_2.0.0-7build2_amd64.deb	2020-11-28 09:33	1.9M
	alt-ergo_2.0.0-7build2_arm64.deb	2020-11-28 09:33	2.2M
	alt-ergo_2.0.0-7build2_ppc64el.deb	2020-11-28 09:33	2.0M
	alt-ergo_2.0.0-7build2_s390x.deb	2020-11-28 09:33	2.1M
	alt-ergo_2.0.0-7build2_riscv64.deb	2020-11-28 09:58	2.0M
	alt-ergo_2.4.2.orig.tar.gz	2022-08-06 23:19	2.8M
	alt-ergo_2.4.2-2.debian.tar.xz	2022-08-07 05:13	6.9K
	alt-ergo_2.4.2-2.dsc	2022-08-07 05:13	2.2K
	alt-ergo_2.4.2-2_amd64.deb	2022-08-07 05:33	17M
	alt-ergo_2.4.2-2_arm64.deb	2022-08-07 05:33	18M
	alt-ergo_2.4.2-2_armhf.deb	2022-08-07 05:33	17M
	alt-ergo_2.4.2-2_ppc64el.deb	2022-08-07 05:33	18M
	alt-ergo_2.4.2-2_s390x.deb	2022-08-07 05:33	17M
	alt-ergo_2.4.2-2_riscv64.deb	2022-08-07 06:13	17M