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

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