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


../
alt-ergo_0.8-1build1_amd64.deb                     01-Sep-2009 11:05    529K
alt-ergo_0.8-1build1_i386.deb                      01-Sep-2009 08:05    408K
alt-ergo_0.9-1build1_amd64.deb                     28-Feb-2010 18:05    547K
alt-ergo_0.9-1build1_i386.deb                      28-Feb-2010 18:05    421K
alt-ergo_0.91-2_amd64.deb                          05-Jun-2010 05:05    593K
alt-ergo_0.91-2_i386.deb                           04-Jun-2010 17:05    456K
alt-ergo_0.93-3_amd64.deb                          18-May-2011 13:04      2M
alt-ergo_0.93-3_i386.deb                           18-May-2011 13:04      1M
alt-ergo_0.94-1_amd64.deb                          26-Dec-2011 18:34      2M
alt-ergo_0.94-1_i386.deb                           26-Dec-2011 18:04      2M
alt-ergo_0.94-2_amd64.deb                          17-May-2012 12:04      2M
alt-ergo_0.94-2_i386.deb                           17-May-2012 12:05      2M
alt-ergo_0.95.1-3_amd64.deb                        02-Sep-2013 22:18      2M
alt-ergo_0.95.1-3_i386.deb                         02-Sep-2013 22:18      2M
alt-ergo_0.95.2-1build1_amd64.deb                  23-Dec-2013 22:58      2M
alt-ergo_0.95.2-1build1_i386.deb                   23-Dec-2013 22:58      1M
alt-ergo_0.95.2-3_amd64.deb                        28-Apr-2014 11:28      2M
alt-ergo_0.95.2-3_i386.deb                         28-Apr-2014 11:29      1M
alt-ergo_0.99.1+dfsg1-4build1_amd64.deb            08-Sep-2015 09:03      2M
alt-ergo_0.99.1+dfsg1-4build1_i386.deb             08-Sep-2015 09:03      2M
alt-ergo_0.99.1+dfsg1-4build3_amd64.deb            12-Feb-2016 12:26      2M
alt-ergo_0.99.1+dfsg1-4build3_i386.deb             12-Feb-2016 12:26      2M
alt-ergo_1.01-1_amd64.deb                          15-May-2018 06:14      2M
alt-ergo_1.01-1_i386.deb                           13-Jun-2018 05:56      2M
alt-ergo_1.30+dfsg1-1_amd64.deb                    21-Dec-2017 23:24      3M
alt-ergo_1.30+dfsg1-1_i386.deb                     21-Dec-2017 23:24      2M
alt-ergo_1.30+dfsg1-2_amd64.deb                    14-Nov-2018 05:13      1M
alt-ergo_1.30+dfsg1-2_i386.deb                     14-Nov-2018 05:13      1M
alt-ergo_1.30-1_amd64.deb                          13-Dec-2016 05:48      2M
alt-ergo_1.30-1_i386.deb                           13-Dec-2016 05:49      2M
alt-ergo_1.30-1build1_amd64.deb                    03-Jul-2017 00:48      3M
alt-ergo_1.30-1build1_i386.deb                     03-Jul-2017 00:48      2M
alt-ergo_2.0.0-4_amd64.deb                         31-Jul-2019 17:23      4M
alt-ergo_2.0.0-4_i386.deb                          31-Jul-2019 17:24      3M
alt-ergo_2.0.0-5build1_amd64.deb                   21-Feb-2020 15:53      4M
alt-ergo_2.0.0-7_amd64.deb                         11-Aug-2020 17:39      2M
alt-ergo_2.0.0-7build2_amd64.deb                   28-Nov-2020 09:33      2M
alt-ergo_2.0.0-8build1_amd64.deb                   26-Jan-2022 18:34      2M
alt-ergo_2.4.2-2_amd64.deb                         07-Aug-2022 05:33     17M
libalt-ergo-ocaml-dev_0.95.1-3_amd64.deb           02-Sep-2013 22:18    642K
libalt-ergo-ocaml-dev_0.95.1-3_i386.deb            02-Sep-2013 22:18    638K
libalt-ergo-ocaml-dev_0.95.2-1build1_amd64.deb     23-Dec-2013 22:58    701K
libalt-ergo-ocaml-dev_0.95.2-1build1_i386.deb      23-Dec-2013 22:58    701K
libalt-ergo-ocaml-dev_0.95.2-3_amd64.deb           28-Apr-2014 11:28    698K
libalt-ergo-ocaml-dev_0.95.2-3_i386.deb            28-Apr-2014 11:29    702K