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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 alt-ergo_0.95.2-1bui..> 23-Dec-2013 22:58   12K  
 alt-ergo_0.95.2-1bui..> 23-Dec-2013 22:58  1.6K  
 alt-ergo_0.95.2-1bui..> 23-Dec-2013 22:58  1.5M  
 alt-ergo_0.95.2-1bui..> 23-Dec-2013 22:58  1.3M  
 alt-ergo_0.95.2.orig..> 17-Nov-2013 23:18  228K  
 alt-ergo_0.99.1+dfsg..> 12-Feb-2016 12:24   12K  
 alt-ergo_0.99.1+dfsg..> 12-Feb-2016 12:24  2.2K  
 alt-ergo_0.99.1+dfsg..> 12-Feb-2016 12:26  1.9M  
 alt-ergo_0.99.1+dfsg..> 12-Feb-2016 12:26  1.8M  
 alt-ergo_0.99.1+dfsg..> 06-May-2015 12:14  218K  
 alt-ergo_1.30+dfsg1-..> 21-Dec-2017 23:08   14K  
 alt-ergo_1.30+dfsg1-..> 21-Dec-2017 23:08  2.2K  
 alt-ergo_1.30+dfsg1-..> 21-Dec-2017 23:24  3.0M  
 alt-ergo_1.30+dfsg1-..> 21-Dec-2017 23:24  2.4M  
 alt-ergo_1.30+dfsg1...> 21-Dec-2017 23:08  258K  
 alt-ergo_2.0.0-5buil..> 21-Feb-2020 15:48  7.0K  
 alt-ergo_2.0.0-5buil..> 21-Feb-2020 15:48  2.3K  
 alt-ergo_2.0.0-5buil..> 21-Feb-2020 15:53  3.9M  
 alt-ergo_2.0.0-8buil..> 26-Jan-2022 12:40  7.3K  
 alt-ergo_2.0.0-8buil..> 26-Jan-2022 12:40  2.1K  
 alt-ergo_2.0.0-8buil..> 26-Jan-2022 18:34  2.3M  
 alt-ergo_2.0.0.orig...> 14-Feb-2019 05:08  345K  
 alt-ergo_2.4.2-2.deb..> 07-Aug-2022 05:13  6.9K  
 alt-ergo_2.4.2-2.dsc    07-Aug-2022 05:13  2.2K  
 alt-ergo_2.4.2-2_amd..> 07-Aug-2022 05:33   17M  
 alt-ergo_2.4.2.orig...> 06-Aug-2022 23:19  2.8M  
 libalt-ergo-ocaml-de..> 23-Dec-2013 22:58  701K  
 libalt-ergo-ocaml-de..> 23-Dec-2013 22:58  701K