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

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