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-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.2-2.debian.tar.xz                                                                                           07-Aug-2022 05:13    7076
alt-ergo_2.4.2-2.dsc                                                                                                     07-Aug-2022 05:13    2282
alt-ergo_2.4.2-2_amd64.deb                                                                                               07-Aug-2022 05:33     17M
alt-ergo_2.4.2.orig.tar.gz                                                                                               06-Aug-2022 23:19      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