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

 Name                                           Last modified      Size  Description
 Parent Directory                                                    -   
 alt-ergo_0.95.2-1build1_amd64.deb              2013-12-23 19:58  1.5M  
 libalt-ergo-ocaml-dev_0.95.2-1build1_amd64.deb 2013-12-23 19:58  701K  
 libalt-ergo-ocaml-dev_0.95.2-1build1_i386.deb  2013-12-23 19:58  701K  
 alt-ergo_0.95.2-1build1_i386.deb               2013-12-23 19:58  1.3M  
 alt-ergo_0.99.1+dfsg1-4build3_amd64.deb        2016-02-12 09:26  1.9M  
 alt-ergo_0.99.1+dfsg1-4build3_i386.deb         2016-02-12 09:26  1.8M  
 alt-ergo_1.30+dfsg1-1_amd64.deb                2017-12-21 20:24  3.0M  
 alt-ergo_1.30+dfsg1-1_i386.deb                 2017-12-21 20:24  2.4M  
 alt-ergo_2.0.0-5build1_amd64.deb               2020-02-21 12:53  3.9M  
 alt-ergo_2.0.0-8build1_amd64.deb               2022-01-26 15:34  2.3M