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

 Name                                             Last modified      Size  Description
 Parent Directory                                                      -   
 alt-ergo_0.95.2-1build1.debian.tar.gz            2013-12-23 22:58   12K  
 alt-ergo_0.95.2-1build1.dsc                      2013-12-23 22:58  1.6K  
 alt-ergo_0.95.2-1build1_arm64.deb                2013-12-23 23:13  284K  
 alt-ergo_0.95.2-1build1_armhf.deb                2013-12-23 22:58  1.5M  
 alt-ergo_0.95.2-1build1_powerpc.deb              2013-12-23 23:13  1.3M  
 alt-ergo_0.95.2-1build1_ppc64el.deb              2014-02-17 23:03  285K  
 alt-ergo_0.95.2.orig.tar.gz                      2013-11-17 23:18  228K  
 alt-ergo_0.99.1+dfsg1-4build3.debian.tar.xz      2016-02-12 12:24   12K  
 alt-ergo_0.99.1+dfsg1-4build3.dsc                2016-02-12 12:24  2.2K  
 alt-ergo_0.99.1+dfsg1-4build3_arm64.deb          2016-02-12 12:26  1.9M  
 alt-ergo_0.99.1+dfsg1-4build3_armhf.deb          2016-02-12 12:26  1.9M  
 alt-ergo_0.99.1+dfsg1-4build3_powerpc.deb        2016-02-12 12:27  1.7M  
 alt-ergo_0.99.1+dfsg1-4build3_ppc64el.deb        2016-02-12 12:27  328K  
 alt-ergo_0.99.1+dfsg1-4build3_s390x.deb          2016-02-12 12:27  328K  
 alt-ergo_0.99.1+dfsg1.orig.tar.gz                2015-05-06 12:14  218K  
 alt-ergo_1.30+dfsg1-1.debian.tar.xz              2017-12-21 23:08   14K  
 alt-ergo_1.30+dfsg1-1.dsc                        2017-12-21 23:08  2.2K  
 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_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.30+dfsg1.orig.tar.gz                  2017-12-21 23:08  258K  
 alt-ergo_2.0.0-5build1.debian.tar.xz             2020-02-21 15:48  7.0K  
 alt-ergo_2.0.0-5build1.dsc                       2020-02-21 15:48  2.3K  
 alt-ergo_2.0.0-5build1_arm64.deb                 2020-02-21 15:58  4.8M  
 alt-ergo_2.0.0-5build1_ppc64el.deb               2020-02-21 15:53  4.4M  
 alt-ergo_2.0.0-5build1_riscv64.deb               2020-04-05 13:33  398K  
 alt-ergo_2.0.0-5build1_s390x.deb                 2020-02-21 15:53  4.5M  
 alt-ergo_2.0.0-8build1.debian.tar.xz             2022-01-26 12:40  7.3K  
 alt-ergo_2.0.0-8build1.dsc                       2022-01-26 12:40  2.1K  
 alt-ergo_2.0.0-8build1_arm64.deb                 2022-01-26 19:44  2.8M  
 alt-ergo_2.0.0-8build1_ppc64el.deb               2022-01-26 18:34  2.5M  
 alt-ergo_2.0.0-8build1_riscv64.deb               2022-01-26 22:34  2.4M  
 alt-ergo_2.0.0-8build1_s390x.deb                 2022-01-26 18:35  2.5M  
 alt-ergo_2.0.0.orig.tar.gz                       2019-02-14 05:08  345K  
 libalt-ergo-ocaml-dev_0.95.2-1build1_arm64.deb   2013-12-23 23:13  154K  
 libalt-ergo-ocaml-dev_0.95.2-1build1_armhf.deb   2013-12-23 22:58  853K  
 libalt-ergo-ocaml-dev_0.95.2-1build1_powerpc.deb 2013-12-23 23:13  762K  
 libalt-ergo-ocaml-dev_0.95.2-1build1_ppc64el.deb 2014-02-17 23:03  154K