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

 Name                                           Last modified      Size  Description
 Parent Directory                                                    -   
 alt-ergo_0.95.2-1build1.debian.tar.gz          2013-12-24 09:58   12K  
 alt-ergo_0.95.2-1build1.dsc                    2013-12-24 09:58  1.6K  
 alt-ergo_0.95.2-1build1_amd64.deb              2013-12-24 09:58  1.5M  
 alt-ergo_0.95.2-1build1_i386.deb               2013-12-24 09:58  1.3M  
 alt-ergo_0.95.2.orig.tar.gz                    2013-11-18 10:18  228K  
 alt-ergo_0.99.1+dfsg1-4build3.debian.tar.xz    2016-02-12 23:24   12K  
 alt-ergo_0.99.1+dfsg1-4build3.dsc              2016-02-12 23:24  2.2K  
 alt-ergo_0.99.1+dfsg1-4build3_amd64.deb        2016-02-12 23:26  1.9M  
 alt-ergo_0.99.1+dfsg1-4build3_i386.deb         2016-02-12 23:26  1.8M  
 alt-ergo_0.99.1+dfsg1.orig.tar.gz              2015-05-06 22:14  218K  
 alt-ergo_1.30+dfsg1-1.debian.tar.xz            2017-12-22 10:08   14K  
 alt-ergo_1.30+dfsg1-1.dsc                      2017-12-22 10:08  2.2K  
 alt-ergo_1.30+dfsg1-1_amd64.deb                2017-12-22 10:24  3.0M  
 alt-ergo_1.30+dfsg1-1_i386.deb                 2017-12-22 10:24  2.4M  
 alt-ergo_1.30+dfsg1.orig.tar.gz                2017-12-22 10:08  258K  
 alt-ergo_2.0.0-5build1.debian.tar.xz           2020-02-22 02:48  7.0K  
 alt-ergo_2.0.0-5build1.dsc                     2020-02-22 02:48  2.3K  
 alt-ergo_2.0.0-5build1_amd64.deb               2020-02-22 02:53  3.9M  
 alt-ergo_2.0.0-8build1.debian.tar.xz           2022-01-26 23:40  7.3K  
 alt-ergo_2.0.0-8build1.dsc                     2022-01-26 23:40  2.1K  
 alt-ergo_2.0.0-8build1_amd64.deb               2022-01-27 05:34  2.3M  
 alt-ergo_2.0.0.orig.tar.gz                     2019-02-14 16:08  345K  
 libalt-ergo-ocaml-dev_0.95.2-1build1_amd64.deb 2013-12-24 09:58  701K  
 libalt-ergo-ocaml-dev_0.95.2-1build1_i386.deb  2013-12-24 09:58  701K