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

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[ ]libalt-ergo-ocaml-dev_0.95.2-3_ppc64el.deb2014-04-28 11:29 154K
[ ]libalt-ergo-ocaml-dev_0.95.2-3_powerpc.deb2014-04-29 02:23 768K
[ ]libalt-ergo-ocaml-dev_0.95.2-3_i386.deb2014-04-28 11:29 702K
[ ]libalt-ergo-ocaml-dev_0.95.2-3_armhf.deb2014-04-28 11:29 852K
[ ]libalt-ergo-ocaml-dev_0.95.2-3_arm64.deb2014-04-28 15:59 154K
[ ]libalt-ergo-ocaml-dev_0.95.2-3_amd64.deb2014-04-28 11:28 698K
[ ]libalt-ergo-ocaml-dev_0.95.1-3_powerpc.deb2013-09-02 22:18 730K
[ ]libalt-ergo-ocaml-dev_0.95.1-3_i386.deb2013-09-02 22:18 638K
[ ]libalt-ergo-ocaml-dev_0.95.1-3_armhf.deb2013-09-02 22:18 674K
[ ]libalt-ergo-ocaml-dev_0.95.1-3_amd64.deb2013-09-02 22:18 642K
[ ]alt-ergo_2.4.2.orig.tar.gz2022-08-06 23:19 2.8M
[ ]alt-ergo_2.4.2-2_s390x.deb2022-08-07 05:33 17M
[ ]alt-ergo_2.4.2-2_riscv64.deb2022-08-07 06:13 17M
[ ]alt-ergo_2.4.2-2_ppc64el.deb2022-08-07 05:33 18M
[ ]alt-ergo_2.4.2-2_armhf.deb2022-08-07 05:33 17M
[ ]alt-ergo_2.4.2-2_arm64.deb2022-08-07 05:33 18M
[ ]alt-ergo_2.4.2-2_amd64.deb2022-08-07 05:33 17M
[ ]alt-ergo_2.4.2-2.dsc2022-08-07 05:13 2.2K
[ ]alt-ergo_2.4.2-2.debian.tar.xz2022-08-07 05:13 6.9K
[ ]alt-ergo_2.0.0.orig.tar.gz2019-02-14 05:08 345K
[ ]alt-ergo_2.0.0-7build2_s390x.deb2020-11-28 09:33 2.1M
[ ]alt-ergo_2.0.0-7build2_riscv64.deb2020-11-28 09:58 2.0M
[ ]alt-ergo_2.0.0-7build2_ppc64el.deb2020-11-28 09:33 2.0M
[ ]alt-ergo_2.0.0-7build2_arm64.deb2020-11-28 09:33 2.2M
[ ]alt-ergo_2.0.0-7build2_amd64.deb2020-11-28 09:33 1.9M
[ ]alt-ergo_2.0.0-7build2.dsc2020-11-28 09:28 2.1K
[ ]alt-ergo_2.0.0-7build2.debian.tar.xz2020-11-28 09:28 7.1K
[ ]alt-ergo_2.0.0-7_s390x.deb2020-08-11 17:39 2.0M
[ ]alt-ergo_2.0.0-7_riscv64.deb2020-08-11 17:39 262K
[ ]alt-ergo_2.0.0-7_ppc64el.deb2020-08-11 17:39 1.9M
[ ]alt-ergo_2.0.0-7_arm64.deb2020-08-11 17:39 2.0M
[ ]alt-ergo_2.0.0-7_amd64.deb2020-08-11 17:39 1.7M
[ ]alt-ergo_2.0.0-7.dsc2020-08-11 17:13 1.9K
[ ]alt-ergo_2.0.0-7.debian.tar.xz2020-08-11 17:13 6.9K
[ ]alt-ergo_2.0.0-4_s390x.deb2019-07-31 17:24 4.4M
[ ]alt-ergo_2.0.0-4_ppc64el.deb2019-07-31 17:24 4.3M
[ ]alt-ergo_2.0.0-4_i386.deb2019-07-31 17:24 3.4M
[ ]alt-ergo_2.0.0-4_arm64.deb2019-07-31 17:24 4.7M
[ ]alt-ergo_2.0.0-4_amd64.deb2019-07-31 17:23 3.8M
[ ]alt-ergo_2.0.0-4.dsc2019-07-31 17:19 1.9K
[ ]alt-ergo_2.0.0-4.debian.tar.xz2019-07-31 17:19 6.8K
[ ]alt-ergo_1.30.orig.tar.gz2016-12-13 05:18 371K
[ ]alt-ergo_1.30-1build1_s390x.deb2017-07-03 02:33 3.3M
[ ]alt-ergo_1.30-1build1_ppc64el.deb2017-07-03 02:33 3.4M
[ ]alt-ergo_1.30-1build1_i386.deb2017-07-03 00:48 2.3M
[ ]alt-ergo_1.30-1build1_armhf.deb2017-07-03 02:38 2.6M
[ ]alt-ergo_1.30-1build1_arm64.deb2017-07-03 02:38 3.0M
[ ]alt-ergo_1.30-1build1_amd64.deb2017-07-03 00:48 2.9M
[ ]alt-ergo_1.30-1build1.dsc2017-07-03 00:33 1.9K
[ ]alt-ergo_1.30-1build1.debian.tar.xz2017-07-03 00:33 14K
[ ]alt-ergo_1.30-1_s390x.deb2016-12-13 05:49 319K
[ ]alt-ergo_1.30-1_ppc64el.deb2016-12-13 05:49 319K
[ ]alt-ergo_1.30-1_i386.deb2016-12-13 05:49 1.8M
[ ]alt-ergo_1.30-1_armhf.deb2016-12-13 05:49 2.0M
[ ]alt-ergo_1.30-1_arm64.deb2016-12-13 05:48 2.0M
[ ]alt-ergo_1.30-1_amd64.deb2016-12-13 05:48 2.2M
[ ]alt-ergo_1.30-1.dsc2016-12-13 05:18 2.2K
[ ]alt-ergo_1.30-1.debian.tar.xz2016-12-13 05:18 14K
[ ]alt-ergo_1.30+dfsg1.orig.tar.gz2017-12-21 23:08 258K
[ ]alt-ergo_1.30+dfsg1-2_s390x.deb2018-11-14 05:13 1.4M
[ ]alt-ergo_1.30+dfsg1-2_ppc64el.deb2018-11-14 05:13 1.4M
[ ]alt-ergo_1.30+dfsg1-2_i386.deb2018-11-14 05:13 1.1M
[ ]alt-ergo_1.30+dfsg1-2_armhf.deb2018-11-14 05:18 1.2M
[ ]alt-ergo_1.30+dfsg1-2_arm64.deb2018-11-14 05:13 1.5M
[ ]alt-ergo_1.30+dfsg1-2_amd64.deb2018-11-14 05:13 1.2M
[ ]alt-ergo_1.30+dfsg1-2.dsc2018-11-14 05:08 2.1K
[ ]alt-ergo_1.30+dfsg1-2.debian.tar.xz2018-11-14 05:08 14K
[ ]alt-ergo_1.30+dfsg1-1_s390x.deb2017-12-21 23:25 3.5M
[ ]alt-ergo_1.30+dfsg1-1_ppc64el.deb2017-12-21 23:24 3.5M
[ ]alt-ergo_1.30+dfsg1-1_i386.deb2017-12-21 23:24 2.4M
[ ]alt-ergo_1.30+dfsg1-1_armhf.deb2017-12-21 23:24 2.4M
[ ]alt-ergo_1.30+dfsg1-1_arm64.deb2017-12-21 23:24 3.8M
[ ]alt-ergo_1.30+dfsg1-1_amd64.deb2017-12-21 23:24 3.0M
[ ]alt-ergo_1.30+dfsg1-1.dsc2017-12-21 23:08 2.2K
[ ]alt-ergo_1.30+dfsg1-1.debian.tar.xz2017-12-21 23:08 14K
[ ]alt-ergo_1.01.orig.tar.gz2018-06-13 02:52 221K
[ ]alt-ergo_1.01-1_s390x.deb2018-06-13 08:44 291K
[ ]alt-ergo_1.01-1_ppc64el.deb2018-06-13 07:48 291K
[ ]alt-ergo_1.01-1_powerpc.deb2018-06-13 06:40 1.5M
[ ]alt-ergo_1.01-1_i386.deb2018-06-13 05:56 1.6M
[ ]alt-ergo_1.01-1_armhf.deb2018-06-13 05:10 1.7M
[ ]alt-ergo_1.01-1_arm64.deb2018-06-13 04:19 1.7M
[ ]alt-ergo_1.01-1_amd64.deb2018-05-15 06:14 1.9M
[ ]alt-ergo_1.01-1.dsc2018-06-13 02:52 2.1K
[ ]alt-ergo_1.01-1.debian.tar.xz2018-06-13 02:52 13K
[ ]alt-ergo_0.99.1+dfsg1.orig.tar.gz2015-05-06 12:14 218K
[ ]alt-ergo_0.99.1+dfsg1-4build1_ppc64el.deb2015-09-08 09:03 302K
[ ]alt-ergo_0.99.1+dfsg1-4build1_powerpc.deb2015-09-08 09:03 1.7M
[ ]alt-ergo_0.99.1+dfsg1-4build1_i386.deb2015-09-08 09:03 1.8M
[ ]alt-ergo_0.99.1+dfsg1-4build1_armhf.deb2015-09-08 09:23 1.9M
[ ]alt-ergo_0.99.1+dfsg1-4build1_arm64.deb2015-09-08 09:23 303K
[ ]alt-ergo_0.99.1+dfsg1-4build1_amd64.deb2015-09-08 09:03 1.9M
[ ]alt-ergo_0.99.1+dfsg1-4build1.dsc2015-09-08 09:03 2.2K
[ ]alt-ergo_0.99.1+dfsg1-4build1.debian.tar.xz2015-09-08 09:03 12K
[ ]alt-ergo_0.95.2.orig.tar.gz2013-11-17 23:18 228K
[ ]alt-ergo_0.95.2-3_ppc64el.deb2014-04-28 11:29 285K
[ ]alt-ergo_0.95.2-3_powerpc.deb2014-04-29 02:23 1.3M
[ ]alt-ergo_0.95.2-3_i386.deb2014-04-28 11:29 1.4M
[ ]alt-ergo_0.95.2-3_armhf.deb2014-04-28 11:29 1.5M
[ ]alt-ergo_0.95.2-3_arm64.deb2014-04-28 15:59 285K
[ ]alt-ergo_0.95.2-3_amd64.deb2014-04-28 11:28 1.5M
[ ]alt-ergo_0.95.2-3.dsc2014-04-28 11:28 2.2K
[ ]alt-ergo_0.95.2-3.debian.tar.xz2014-04-28 11:28 11K
[ ]alt-ergo_0.95.1.orig.tar.gz2013-05-11 05:33 233K
[ ]alt-ergo_0.95.1-3_powerpc.deb2013-09-02 22:18 1.9M
[ ]alt-ergo_0.95.1-3_i386.deb2013-09-02 22:18 1.6M
[ ]alt-ergo_0.95.1-3_armhf.deb2013-09-02 22:18 1.8M
[ ]alt-ergo_0.95.1-3_amd64.deb2013-09-02 22:18 1.8M
[ ]alt-ergo_0.95.1-3.dsc2013-09-02 22:18 1.5K
[ ]alt-ergo_0.95.1-3.debian.tar.gz2013-09-02 22:18 14K
[ ]alt-ergo_0.94.orig.tar.gz2011-12-26 18:04 184K
[ ]alt-ergo_0.94-2_powerpc.deb2012-05-17 12:05 2.3M
[ ]alt-ergo_0.94-2_i386.deb2012-05-17 12:05 1.9M
[ ]alt-ergo_0.94-2_armhf.deb2012-05-17 12:04 2.1M
[ ]alt-ergo_0.94-2_armel.deb2012-05-17 12:04 2.1M
[ ]alt-ergo_0.94-2_amd64.deb2012-05-17 12:04 2.3M
[ ]alt-ergo_0.94-2.dsc2012-05-17 11:33 1.7K
[ ]alt-ergo_0.94-2.diff.gz2012-05-17 11:33 13K
[ ]alt-ergo_0.94-1_powerpc.deb2011-12-26 18:35 2.3M
[ ]alt-ergo_0.94-1_i386.deb2011-12-26 18:04 1.9M
[ ]alt-ergo_0.94-1_armhf.deb2011-12-26 18:35 2.1M
[ ]alt-ergo_0.94-1_armel.deb2011-12-26 18:35 2.1M
[ ]alt-ergo_0.94-1_amd64.deb2011-12-26 18:34 2.3M
[ ]alt-ergo_0.94-1.dsc2011-12-26 18:04 2.1K
[ ]alt-ergo_0.94-1.diff.gz2011-12-26 18:04 13K
[ ]alt-ergo_0.93.orig.tar.gz2011-04-30 15:07 175K
[ ]alt-ergo_0.93-3_powerpc.deb2011-05-18 21:04 1.7M
[ ]alt-ergo_0.93-3_i386.deb2011-05-18 13:04 1.4M
[ ]alt-ergo_0.93-3_armel.deb2011-05-19 16:04 1.6M
[ ]alt-ergo_0.93-3_amd64.deb2011-05-18 13:04 1.8M
[ ]alt-ergo_0.93-3.dsc2011-04-30 15:07 1.7K
[ ]alt-ergo_0.93-3.diff.gz2011-04-30 15:07 12K
[ ]alt-ergo_0.91.orig.tar.gz2010-06-04 15:05 133K
[ ]alt-ergo_0.91-2_powerpc.deb2010-06-05 05:06 555K
[ ]alt-ergo_0.91-2_i386.deb2010-06-04 17:05 456K
[ ]alt-ergo_0.91-2_armel.deb2010-06-04 16:05 163K
[ ]alt-ergo_0.91-2_amd64.deb2010-06-05 05:05 593K
[ ]alt-ergo_0.91-2.dsc2010-06-04 15:05 1.9K
[ ]alt-ergo_0.91-2.diff.gz2010-06-04 15:05 10K
[ ]alt-ergo_0.9.orig.tar.gz2009-11-04 02:04 111K
[ ]alt-ergo_0.9-1build1_sparc.deb2010-02-28 18:05 508K
[ ]alt-ergo_0.9-1build1_powerpc.deb2010-02-28 18:05 511K
[ ]alt-ergo_0.9-1build1_ia64.deb2010-02-28 18:05 148K
[ ]alt-ergo_0.9-1build1_i386.deb2010-02-28 18:05 421K
[ ]alt-ergo_0.9-1build1_armel.deb2010-02-28 18:05 148K
[ ]alt-ergo_0.9-1build1_amd64.deb2010-02-28 18:05 547K
[ ]alt-ergo_0.9-1build1.dsc2010-02-28 18:05 1.6K
[ ]alt-ergo_0.9-1build1.diff.gz2010-02-28 18:05 9.7K
[ ]alt-ergo_0.8.orig.tar.gz2009-04-29 16:04 104K
[ ]alt-ergo_0.8-1build1_sparc.deb2009-09-02 20:04 492K
[ ]alt-ergo_0.8-1build1_powerpc.deb2009-09-01 09:05 495K
[ ]alt-ergo_0.8-1build1_lpia.deb2009-09-01 08:05 407K
[ ]alt-ergo_0.8-1build1_ia64.deb2009-09-01 15:11 143K
[ ]alt-ergo_0.8-1build1_i386.deb2009-09-01 08:05 408K
[ ]alt-ergo_0.8-1build1_armel.deb2009-09-01 08:05 144K
[ ]alt-ergo_0.8-1build1_amd64.deb2009-09-01 11:05 529K
[ ]alt-ergo_0.8-1build1.dsc2009-09-01 08:04 1.4K
[ ]alt-ergo_0.8-1build1.diff.gz2009-09-01 08:04 9.7K
Apache/2.4.29 (Ubuntu) Server at old-releases.ubuntu.com Port 80