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


../
alt-ergo_0.95.2-1build1.debian.tar.gz                                                                                    23-Dec-2013 22:58     12K
alt-ergo_0.95.2-1build1.dsc                                                                                              23-Dec-2013 22:58    1618
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.orig.tar.gz                                                                                              17-Nov-2013 23:18    228K
alt-ergo_0.99.1+dfsg1-4build3.debian.tar.xz                                                                              12-Feb-2016 12:24     12K
alt-ergo_0.99.1+dfsg1-4build3.dsc                                                                                        12-Feb-2016 12:24    2256
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_0.99.1+dfsg1.orig.tar.gz                                                                                        06-May-2015 12:14    218K
alt-ergo_1.30+dfsg1-1.debian.tar.xz                                                                                      21-Dec-2017 23:08     14K
alt-ergo_1.30+dfsg1-1.dsc                                                                                                21-Dec-2017 23:08    2289
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.orig.tar.gz                                                                                          21-Dec-2017 23:08    258K
alt-ergo_2.0.0-5build1.debian.tar.xz                                                                                     21-Feb-2020 15:48    7140
alt-ergo_2.0.0-5build1.dsc                                                                                               21-Feb-2020 15:48    2385
alt-ergo_2.0.0-5build1_amd64.deb                                                                                         21-Feb-2020 15:53      4M
alt-ergo_2.0.0-7build2.debian.tar.xz                                                                                     28-Nov-2020 09:28    7248
alt-ergo_2.0.0-7build2.dsc                                                                                               28-Nov-2020 09:28    2155
alt-ergo_2.0.0-7build2_amd64.deb                                                                                         28-Nov-2020 09:33      2M
alt-ergo_2.0.0-8build1.debian.tar.xz                                                                                     26-Jan-2022 12:40    7448
alt-ergo_2.0.0-8build1.dsc                                                                                               26-Jan-2022 12:40    2187
alt-ergo_2.0.0-8build1_amd64.deb                                                                                         26-Jan-2022 18:34      2M
alt-ergo_2.0.0.orig.tar.gz                                                                                               14-Feb-2019 05:08    345K
alt-ergo_2.4.1-3.debian.tar.xz                                                                                           29-Jun-2022 17:23    7908
alt-ergo_2.4.1-3.dsc                                                                                                     29-Jun-2022 17:23    2282
alt-ergo_2.4.1-3_amd64.deb                                                                                               30-Jun-2022 03:34     17M
alt-ergo_2.4.1.orig.tar.gz                                                                                               30-Apr-2022 01:02      3M
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