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

../
alt-ergo_0.95.2-3.debian.tar.xz                    02-Dec-2023 13:33               11264
alt-ergo_0.95.2-3.dsc                              02-Dec-2023 13:33                2255
alt-ergo_0.95.2-3_amd64.deb                        02-Dec-2023 13:33             1579104
alt-ergo_0.95.2-3_armel.deb                        02-Dec-2023 13:33             1550638
alt-ergo_0.95.2-3_armhf.deb                        02-Dec-2023 13:33             1612110
alt-ergo_0.95.2-3_i386.deb                         02-Dec-2023 13:33             1424452
alt-ergo_0.95.2.orig.tar.gz                        02-Dec-2023 13:33              233778
alt-ergo_1.30-1.debian.tar.xz                      01-Dec-2023 21:56               14244
alt-ergo_1.30-1.dsc                                01-Dec-2023 21:56                2247
alt-ergo_1.30-1_amd64.deb                          01-Dec-2023 21:56             2373644
alt-ergo_1.30-1_armhf.deb                          01-Dec-2023 21:56             2335492
alt-ergo_1.30-1_i386.deb                           01-Dec-2023 21:56             2152412
alt-ergo_1.30.orig.tar.gz                          01-Dec-2023 21:56              380329
alt-ergo_2.0.0-3_amd64.deb                         14-Feb-2019 12:28             4039720
alt-ergo_2.0.0-3_arm64.deb                         14-Feb-2019 12:43             4973220
alt-ergo_2.0.0-3_i386.deb                          14-Feb-2019 14:13             3547872
libalt-ergo-ocaml-dev_0.95.2-3_amd64.deb           02-Dec-2023 13:33              716560
libalt-ergo-ocaml-dev_0.95.2-3_armel.deb           02-Dec-2023 13:33              869704
libalt-ergo-ocaml-dev_0.95.2-3_armhf.deb           02-Dec-2023 13:33              874058
libalt-ergo-ocaml-dev_0.95.2-3_i386.deb            02-Dec-2023 13:33              722756