Index of /debian/pool/main/a/alt-ergo/


../
alt-ergo_0.95.2-3.debian.tar.xz                    27-Apr-2014 21:01               11264
alt-ergo_0.95.2-3.dsc                              27-Apr-2014 21:01                2255
alt-ergo_0.95.2-3_amd64.deb                        27-Apr-2014 21:01             1579104
alt-ergo_0.95.2-3_armel.deb                        27-Apr-2014 22:41             1550638
alt-ergo_0.95.2-3_armhf.deb                        27-Apr-2014 23:57             1612110
alt-ergo_0.95.2-3_i386.deb                         27-Apr-2014 21:56             1424452
alt-ergo_0.95.2.orig.tar.gz                        17-Nov-2013 14:07              233778
alt-ergo_1.30-1.debian.tar.xz                      12-Dec-2016 19:53               14244
alt-ergo_1.30-1.dsc                                12-Dec-2016 19:53                2247
alt-ergo_1.30-1_amd64.deb                          12-Dec-2016 21:43             2373644
alt-ergo_1.30-1_arm64.deb                          12-Dec-2016 21:59             2402534
alt-ergo_1.30-1_armel.deb                          12-Dec-2016 23:30             2262230
alt-ergo_1.30-1_armhf.deb                          12-Dec-2016 22:44             2335492
alt-ergo_1.30-1_i386.deb                           12-Dec-2016 21:43             2152412
alt-ergo_1.30-1_mips.deb                           12-Dec-2016 21:43              333348
alt-ergo_1.30-1_mips64el.deb                       12-Dec-2016 21:44              333258
alt-ergo_1.30-1_mipsel.deb                         12-Dec-2016 21:43              333086
alt-ergo_1.30-1_ppc64el.deb                        12-Dec-2016 21:44              333246
alt-ergo_1.30-1_s390x.deb                          12-Dec-2016 21:44              333200
alt-ergo_1.30.orig.tar.gz                          12-Dec-2016 19:53              380329
alt-ergo_2.0.0-3.debian.tar.xz                     14-Feb-2019 03:53                6368
alt-ergo_2.0.0-3.dsc                               14-Feb-2019 03:53                2227
alt-ergo_2.0.0-3_amd64.deb                         14-Feb-2019 04:28             4039720
alt-ergo_2.0.0-3_arm64.deb                         14-Feb-2019 04:43             4973220
alt-ergo_2.0.0-3_armel.deb                         14-Feb-2019 04:43              405132
alt-ergo_2.0.0-3_i386.deb                          14-Feb-2019 06:13             3547872
alt-ergo_2.0.0-3_mips.deb                          14-Feb-2019 04:43              405052
alt-ergo_2.0.0-3_mips64el.deb                      14-Feb-2019 09:44              405208
alt-ergo_2.0.0-3_mipsel.deb                        14-Feb-2019 05:28              404948
alt-ergo_2.0.0-3_ppc64el.deb                       14-Feb-2019 04:43             4466164
alt-ergo_2.0.0-3_s390x.deb                         14-Feb-2019 04:23             4630640
alt-ergo_2.0.0-7+b4_amd64.deb                      06-Dec-2020 19:13             2014684
alt-ergo_2.0.0-7+b4_arm64.deb                      06-Dec-2020 15:13             2314636
alt-ergo_2.0.0-7+b4_armel.deb                      06-Dec-2020 15:13              289464
alt-ergo_2.0.0-7+b4_i386.deb                       06-Dec-2020 16:43             1895072
alt-ergo_2.0.0-7+b4_mips64el.deb                   06-Dec-2020 16:27              289584
alt-ergo_2.0.0-7+b4_mipsel.deb                     06-Dec-2020 16:43              289564
alt-ergo_2.0.0-7+b4_ppc64el.deb                    06-Dec-2020 16:16             2135260
alt-ergo_2.0.0-7+b4_s390x.deb                      06-Dec-2020 15:18             2161452
alt-ergo_2.0.0-7.debian.tar.xz                     11-Aug-2020 08:18                7112
alt-ergo_2.0.0-7.dsc                               11-Aug-2020 08:18                1899
alt-ergo_2.0.0.orig.tar.gz                         13-Feb-2019 20:31              353488
libalt-ergo-ocaml-dev_0.95.2-3_amd64.deb           27-Apr-2014 21:01              716560
libalt-ergo-ocaml-dev_0.95.2-3_armel.deb           27-Apr-2014 22:41              869704
libalt-ergo-ocaml-dev_0.95.2-3_armhf.deb           27-Apr-2014 23:57              874058
libalt-ergo-ocaml-dev_0.95.2-3_i386.deb            27-Apr-2014 21:56              722756