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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]alt-ergo_0.8-1build1.diff.gz2009-09-01 08:04 9.7K 
[ ]alt-ergo_0.8-1build1.dsc2009-09-01 08:04 1.4K 
[ ]alt-ergo_0.8-1build1_amd64.deb2009-09-01 11:05 529K 
[ ]alt-ergo_0.8-1build1_i386.deb2009-09-01 08:05 408K 
[ ]alt-ergo_0.8.orig.tar.gz2009-04-29 16:04 104K 
[ ]alt-ergo_0.9-1build1.diff.gz2010-02-28 18:05 9.7K 
[ ]alt-ergo_0.9-1build1.dsc2010-02-28 18:05 1.6K 
[ ]alt-ergo_0.9-1build1_amd64.deb2010-02-28 18:05 547K 
[ ]alt-ergo_0.9-1build1_i386.deb2010-02-28 18:05 421K 
[ ]alt-ergo_0.9.orig.tar.gz2009-11-04 02:04 111K 
[ ]alt-ergo_0.91-2.diff.gz2010-06-04 15:05 10K 
[ ]alt-ergo_0.91-2.dsc2010-06-04 15:05 1.9K 
[ ]alt-ergo_0.91-2_amd64.deb2010-06-05 05:05 593K 
[ ]alt-ergo_0.91-2_i386.deb2010-06-04 17:05 456K 
[ ]alt-ergo_0.91.orig.tar.gz2010-06-04 15:05 133K 
[ ]alt-ergo_0.93-3.diff.gz2011-04-30 15:07 12K 
[ ]alt-ergo_0.93-3.dsc2011-04-30 15:07 1.7K 
[ ]alt-ergo_0.93-3_amd64.deb2011-05-18 13:04 1.8M 
[ ]alt-ergo_0.93-3_i386.deb2011-05-18 13:04 1.4M 
[ ]alt-ergo_0.93.orig.tar.gz2011-04-30 15:07 175K 
[ ]alt-ergo_0.94-1.diff.gz2011-12-26 18:04 13K 
[ ]alt-ergo_0.94-1.dsc2011-12-26 18:04 2.1K 
[ ]alt-ergo_0.94-1_amd64.deb2011-12-26 18:34 2.3M 
[ ]alt-ergo_0.94-1_i386.deb2011-12-26 18:04 1.9M 
[ ]alt-ergo_0.94-2.diff.gz2012-05-17 11:33 13K 
[ ]alt-ergo_0.94-2.dsc2012-05-17 11:33 1.7K 
[ ]alt-ergo_0.94-2_amd64.deb2012-05-17 12:04 2.3M 
[ ]alt-ergo_0.94-2_i386.deb2012-05-17 12:05 1.9M 
[ ]alt-ergo_0.94.orig.tar.gz2011-12-26 18:04 184K 
[ ]alt-ergo_0.95.1-2.debian.tar.gz2013-05-11 05:33 14K 
[ ]alt-ergo_0.95.1-2.dsc2013-05-11 05:33 1.5K 
[ ]alt-ergo_0.95.1-2_amd64.deb2013-05-11 06:33 2.0M 
[ ]alt-ergo_0.95.1-2_i386.deb2013-05-11 06:33 1.6M 
[ ]alt-ergo_0.95.1-3.debian.tar.gz2013-09-02 22:18 14K 
[ ]alt-ergo_0.95.1-3.dsc2013-09-02 22:18 1.5K 
[ ]alt-ergo_0.95.1-3_amd64.deb2013-09-02 22:18 1.8M 
[ ]alt-ergo_0.95.1-3_arm64.deb2013-10-28 20:58 577K 
[ ]alt-ergo_0.95.1-3_i386.deb2013-09-02 22:18 1.6M 
[ ]alt-ergo_0.95.1.orig.tar.gz2013-05-11 05:33 233K 
[ ]alt-ergo_0.95.2-1.debian.tar.gz2013-11-17 23:18 12K 
[ ]alt-ergo_0.95.2-1.dsc2013-11-17 23:18 2.2K 
[ ]alt-ergo_0.95.2-1_amd64.deb2013-11-17 23:18 1.2M 
[ ]alt-ergo_0.95.2-1_i386.deb2013-11-17 23:28 1.1M 
[ ]alt-ergo_0.95.2-1build1.debian.tar.gz2013-12-23 22:58 12K 
[ ]alt-ergo_0.95.2-1build1.dsc2013-12-23 22:58 1.6K 
[ ]alt-ergo_0.95.2-1build1_amd64.deb2013-12-23 22:58 1.5M 
[ ]alt-ergo_0.95.2-1build1_i386.deb2013-12-23 22:58 1.3M 
[ ]alt-ergo_0.95.2-3.debian.tar.xz2014-04-28 11:28 11K 
[ ]alt-ergo_0.95.2-3.dsc2014-04-28 11:28 2.2K 
[ ]alt-ergo_0.95.2-3_amd64.deb2014-04-28 11:28 1.5M 
[ ]alt-ergo_0.95.2-3_i386.deb2014-04-28 11:29 1.4M 
[ ]alt-ergo_0.95.2.orig.tar.gz2013-11-17 23:18 228K 
[ ]alt-ergo_0.99.1+dfsg1-2.debian.tar.xz2015-05-06 12:14 12K 
[ ]alt-ergo_0.99.1+dfsg1-2.dsc2015-05-06 12:14 2.2K 
[ ]alt-ergo_0.99.1+dfsg1-2_amd64.deb2015-05-07 01:00 1.9M 
[ ]alt-ergo_0.99.1+dfsg1-2_i386.deb2015-05-07 01:01 1.8M 
[ ]alt-ergo_0.99.1+dfsg1-3.debian.tar.xz2015-05-27 05:13 12K 
[ ]alt-ergo_0.99.1+dfsg1-3.dsc2015-05-27 05:13 2.2K 
[ ]alt-ergo_0.99.1+dfsg1-3_amd64.deb2015-05-27 05:38 1.9M 
[ ]alt-ergo_0.99.1+dfsg1-3_i386.deb2015-05-27 05:24 1.8M 
[ ]alt-ergo_0.99.1+dfsg1-4.debian.tar.xz2015-06-08 11:23 12K 
[ ]alt-ergo_0.99.1+dfsg1-4.dsc2015-06-08 11:23 2.2K 
[ ]alt-ergo_0.99.1+dfsg1-4_amd64.deb2015-06-08 11:24 1.9M 
[ ]alt-ergo_0.99.1+dfsg1-4_i386.deb2015-06-08 11:24 1.8M 
[ ]alt-ergo_0.99.1+dfsg1-4build1.debian.tar.xz2015-09-08 09:03 12K 
[ ]alt-ergo_0.99.1+dfsg1-4build1.dsc2015-09-08 09:03 2.2K 
[ ]alt-ergo_0.99.1+dfsg1-4build1_amd64.deb2015-09-08 09:03 1.9M 
[ ]alt-ergo_0.99.1+dfsg1-4build1_i386.deb2015-09-08 09:03 1.8M 
[ ]alt-ergo_0.99.1+dfsg1-4build2.debian.tar.xz2015-11-04 21:16 12K 
[ ]alt-ergo_0.99.1+dfsg1-4build2.dsc2015-11-04 21:16 2.2K 
[ ]alt-ergo_0.99.1+dfsg1-4build2_amd64.deb2015-11-04 22:17 1.9M 
[ ]alt-ergo_0.99.1+dfsg1-4build2_i386.deb2015-11-04 22:17 1.8M 
[ ]alt-ergo_0.99.1+dfsg1-4build3.debian.tar.xz2016-02-12 12:24 12K 
[ ]alt-ergo_0.99.1+dfsg1-4build3.dsc2016-02-12 12:24 2.2K 
[ ]alt-ergo_0.99.1+dfsg1-4build3_amd64.deb2016-02-12 12:26 1.9M 
[ ]alt-ergo_0.99.1+dfsg1-4build3_i386.deb2016-02-12 12:26 1.8M 
[ ]alt-ergo_0.99.1+dfsg1.orig.tar.gz2015-05-06 12:14 218K 
[ ]alt-ergo_1.01-1.debian.tar.xz2016-04-26 22:12 13K 
[ ]alt-ergo_1.01-1.dsc2016-04-26 22:12 2.1K 
[ ]alt-ergo_1.01-1_amd64.deb2016-04-26 23:28 1.9M 
[ ]alt-ergo_1.01-1_i386.deb2016-04-26 23:34 1.6M 
[ ]alt-ergo_1.01.orig.tar.gz2016-04-26 22:12 221K 
[ ]alt-ergo_1.30+dfsg1-1.debian.tar.xz2017-12-21 23:08 14K 
[ ]alt-ergo_1.30+dfsg1-1.dsc2017-12-21 23:08 2.2K 
[ ]alt-ergo_1.30+dfsg1-1_amd64.deb2017-12-21 23:24 3.0M 
[ ]alt-ergo_1.30+dfsg1-1_i386.deb2017-12-21 23:24 2.4M 
[ ]alt-ergo_1.30+dfsg1-2.debian.tar.xz2018-11-14 05:08 14K 
[ ]alt-ergo_1.30+dfsg1-2.dsc2018-11-14 05:08 2.1K 
[ ]alt-ergo_1.30+dfsg1-2_amd64.deb2018-11-14 05:13 1.2M 
[ ]alt-ergo_1.30+dfsg1-2_i386.deb2018-11-14 05:13 1.1M 
[ ]alt-ergo_1.30+dfsg1.orig.tar.gz2017-12-21 23:08 258K 
[ ]alt-ergo_1.30-1.debian.tar.xz2016-12-13 05:18 14K 
[ ]alt-ergo_1.30-1.dsc2016-12-13 05:18 2.2K 
[ ]alt-ergo_1.30-1_amd64.deb2016-12-13 05:48 2.2M 
[ ]alt-ergo_1.30-1_i386.deb2016-12-13 05:49 1.8M 
[ ]alt-ergo_1.30-1build1.debian.tar.xz2017-07-03 00:33 14K 
[ ]alt-ergo_1.30-1build1.dsc2017-07-03 00:33 1.9K 
[ ]alt-ergo_1.30-1build1_amd64.deb2017-07-03 00:48 2.9M 
[ ]alt-ergo_1.30-1build1_i386.deb2017-07-03 00:48 2.3M 
[ ]alt-ergo_1.30.orig.tar.gz2016-12-13 05:18 371K 
[ ]alt-ergo_2.0.0-2.debian.tar.xz2019-02-14 05:08 6.4K 
[ ]alt-ergo_2.0.0-2.dsc2019-02-14 05:08 2.2K 
[ ]alt-ergo_2.0.0-2_amd64.deb2019-02-14 05:38 3.8M 
[ ]alt-ergo_2.0.0-3.debian.tar.xz2019-02-14 11:25 6.2K 
[ ]alt-ergo_2.0.0-3.dsc2019-02-14 11:25 2.2K 
[ ]alt-ergo_2.0.0-3_amd64.deb2019-02-14 11:25 3.8M 
[ ]alt-ergo_2.0.0-3_i386.deb2019-02-14 11:25 3.4M 
[ ]alt-ergo_2.0.0-4.debian.tar.xz2019-07-31 17:19 6.8K 
[ ]alt-ergo_2.0.0-4.dsc2019-07-31 17:19 1.9K 
[ ]alt-ergo_2.0.0-4_amd64.deb2019-07-31 17:23 3.8M 
[ ]alt-ergo_2.0.0-4_i386.deb2019-07-31 17:24 3.4M 
[ ]alt-ergo_2.0.0-5.debian.tar.xz2019-09-13 05:53 6.8K 
[ ]alt-ergo_2.0.0-5.dsc2019-09-13 05:53 2.0K 
[ ]alt-ergo_2.0.0-5_amd64.deb2019-09-13 06:08 3.8M 
[ ]alt-ergo_2.0.0-5_i386.deb2019-09-13 06:08 3.4M 
[ ]alt-ergo_2.0.0-5build1.debian.tar.xz2020-02-21 15:48 7.0K 
[ ]alt-ergo_2.0.0-5build1.dsc2020-02-21 15:48 2.3K 
[ ]alt-ergo_2.0.0-5build1_amd64.deb2020-02-21 15:53 3.9M 
[ ]alt-ergo_2.0.0-6.debian.tar.xz2020-04-27 19:05 6.9K 
[ ]alt-ergo_2.0.0-6.dsc2020-04-27 19:05 2.1K 
[ ]alt-ergo_2.0.0-6_amd64.deb2020-04-27 19:06 1.7M 
[ ]alt-ergo_2.0.0-7.debian.tar.xz2020-08-11 17:13 6.9K 
[ ]alt-ergo_2.0.0-7.dsc2020-08-11 17:13 1.9K 
[ ]alt-ergo_2.0.0-7_amd64.deb2020-08-11 17:39 1.7M 
[ ]alt-ergo_2.0.0-7build1.debian.tar.xz2020-11-02 18:09 7.0K 
[ ]alt-ergo_2.0.0-7build1.dsc2020-11-02 18:09 2.1K 
[ ]alt-ergo_2.0.0-7build1_amd64.deb2020-11-03 13:10 1.9M 
[ ]alt-ergo_2.0.0-7build2.debian.tar.xz2020-11-28 09:28 7.1K 
[ ]alt-ergo_2.0.0-7build2.dsc2020-11-28 09:28 2.1K 
[ ]alt-ergo_2.0.0-7build2_amd64.deb2020-11-28 09:33 1.9M 
[ ]alt-ergo_2.0.0-8.debian.tar.xz2021-10-28 05:24 7.2K 
[ ]alt-ergo_2.0.0-8.dsc2021-10-28 05:24 2.1K 
[ ]alt-ergo_2.0.0-8_amd64.deb2021-10-28 05:33 2.2M 
[ ]alt-ergo_2.0.0-8build1.debian.tar.xz2022-01-26 12:40 7.3K 
[ ]alt-ergo_2.0.0-8build1.dsc2022-01-26 12:40 2.1K 
[ ]alt-ergo_2.0.0-8build1_amd64.deb2022-01-26 18:34 2.3M 
[ ]alt-ergo_2.0.0.orig.tar.gz2019-02-14 05:08 345K 
[ ]alt-ergo_2.4.1-1.debian.tar.xz2022-04-30 01:02 6.9K 
[ ]alt-ergo_2.4.1-1.dsc2022-04-30 01:02 2.2K 
[ ]alt-ergo_2.4.1-1_amd64.deb2022-05-15 16:09 17M 
[ ]alt-ergo_2.4.1-2.debian.tar.xz2022-05-28 11:29 7.0K 
[ ]alt-ergo_2.4.1-2.dsc2022-05-28 11:29 2.2K 
[ ]alt-ergo_2.4.1-2_amd64.deb2022-05-28 11:29 17M 
[ ]alt-ergo_2.4.1-3.debian.tar.xz2022-06-29 17:23 7.7K 
[ ]alt-ergo_2.4.1-3.dsc2022-06-29 17:23 2.2K 
[ ]alt-ergo_2.4.1-3_amd64.deb2022-06-30 03:34 17M 
[ ]alt-ergo_2.4.1-4.debian.tar.xz2022-07-04 11:24 7.9K 
[ ]alt-ergo_2.4.1-4.dsc2022-07-04 11:24 2.2K 
[ ]alt-ergo_2.4.1-4_amd64.deb2022-07-04 11:24 17M 
[ ]alt-ergo_2.4.1.orig.tar.gz2022-04-30 01:02 2.7M 
[ ]alt-ergo_2.4.2-2.debian.tar.xz2022-08-07 05:13 6.9K 
[ ]alt-ergo_2.4.2-2.dsc2022-08-07 05:13 2.2K 
[ ]alt-ergo_2.4.2-2_amd64.deb2022-08-07 05:33 17M 
[ ]alt-ergo_2.4.2.orig.tar.gz2022-08-06 23:19 2.8M 
[ ]libalt-ergo-ocaml-dev_0.95.1-2_amd64.deb2013-05-11 06:33 643K 
[ ]libalt-ergo-ocaml-dev_0.95.1-2_i386.deb2013-05-11 06:33 637K 
[ ]libalt-ergo-ocaml-dev_0.95.1-3_amd64.deb2013-09-02 22:18 642K 
[ ]libalt-ergo-ocaml-dev_0.95.1-3_arm64.deb2013-10-28 20:58 217K 
[ ]libalt-ergo-ocaml-dev_0.95.1-3_i386.deb2013-09-02 22:18 638K 
[ ]libalt-ergo-ocaml-dev_0.95.2-1_amd64.deb2013-11-17 23:18 560K 
[ ]libalt-ergo-ocaml-dev_0.95.2-1_i386.deb2013-11-17 23:28 566K 
[ ]libalt-ergo-ocaml-dev_0.95.2-1build1_amd64.deb2013-12-23 22:58 701K 
[ ]libalt-ergo-ocaml-dev_0.95.2-1build1_i386.deb2013-12-23 22:58 701K 
[ ]libalt-ergo-ocaml-dev_0.95.2-3_amd64.deb2014-04-28 11:28 698K 
[ ]libalt-ergo-ocaml-dev_0.95.2-3_i386.deb2014-04-28 11:29 702K 
Apache/2.4.12 (Ubuntu) Server at 212.25.29.199 Port 8080