Index of /201912261219/raspbian/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_armhf.deb                        11-May-2014 00:34             1554536
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_armhf.deb                          23-Dec-2016 10:08             2171680
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_armhf.deb                         24-Feb-2019 10:08             2978208
alt-ergo_2.0.0-5+b2_armhf.deb                      08-Dec-2019 22:08             3031372
alt-ergo_2.0.0-5.debian.tar.xz                     01-Sep-2019 06:31                7012
alt-ergo_2.0.0-5.dsc                               01-Sep-2019 06:31                2037
alt-ergo_2.0.0.orig.tar.gz                         13-Feb-2019 20:31              353488
libalt-ergo-ocaml-dev_0.95.2-3_armhf.deb           11-May-2014 00:34              864180