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

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