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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 alt-ergo_0.95.2-1bui..> 2013-12-23 17:58   12K  GZIP compressed docume>
 alt-ergo_0.95.2-1bui..> 2013-12-23 17:58  1.6K  
 alt-ergo_0.95.2-1bui..> 2013-12-23 17:58  1.5M  
 alt-ergo_0.95.2-1bui..> 2013-12-23 17:58  1.3M  
 alt-ergo_0.95.2.orig..> 2013-11-17 18:18  228K  GZIP compressed docume>
 alt-ergo_0.99.1+dfsg..> 2016-02-12 07:24   12K  tar archive
 alt-ergo_0.99.1+dfsg..> 2016-02-12 07:24  2.2K  
 alt-ergo_0.99.1+dfsg..> 2016-02-12 07:26  1.9M  
 alt-ergo_0.99.1+dfsg..> 2016-02-12 07:26  1.8M  
 alt-ergo_0.99.1+dfsg..> 2015-05-06 08:14  218K  GZIP compressed docume>
 alt-ergo_1.30+dfsg1-..> 2017-12-21 18:08   14K  tar archive
 alt-ergo_1.30+dfsg1-..> 2017-12-21 18:08  2.2K  
 alt-ergo_1.30+dfsg1-..> 2017-12-21 18:24  3.0M  
 alt-ergo_1.30+dfsg1-..> 2017-12-21 18:24  2.4M  
 alt-ergo_1.30+dfsg1...> 2017-12-21 18:08  258K  GZIP compressed docume>
 alt-ergo_2.0.0-5buil..> 2020-02-21 10:48  7.0K  tar archive
 alt-ergo_2.0.0-5buil..> 2020-02-21 10:48  2.3K  
 alt-ergo_2.0.0-5buil..> 2020-02-21 10:53  3.9M  
 alt-ergo_2.0.0-8buil..> 2022-01-26 07:40  7.3K  tar archive
 alt-ergo_2.0.0-8buil..> 2022-01-26 07:40  2.1K  
 alt-ergo_2.0.0-8buil..> 2022-01-26 13:34  2.3M  
 alt-ergo_2.0.0.orig...> 2019-02-14 00:08  345K  GZIP compressed docume>
 libalt-ergo-ocaml-de..> 2013-12-23 17:58  701K  
 libalt-ergo-ocaml-de..> 2013-12-23 17:58  701K