Index of /debian-elts/pool/main/a/aac-tactics/

../
aac-tactics_0.4-3.debian.tar.xz                    02-Dec-2023 13:25                2960
aac-tactics_0.4-3.dsc                              02-Dec-2023 13:25                2231
aac-tactics_0.4.orig.tar.gz                        02-Dec-2023 13:25               77336
aac-tactics_8.6.1-1.debian.tar.xz                  01-Dec-2023 21:47                3220
aac-tactics_8.6.1-1.dsc                            01-Dec-2023 21:47                2217
aac-tactics_8.6.1.orig.tar.gz                      01-Dec-2023 21:47               75073
libaac-tactics-coq_0.4-3_all.deb                   02-Dec-2023 13:25              213832
libaac-tactics-coq_8.6.1-1_all.deb                 01-Dec-2023 21:47              222342
libaac-tactics-ocaml-dev_0.4-3_amd64.deb           02-Dec-2023 13:25               45314
libaac-tactics-ocaml-dev_0.4-3_armel.deb           02-Dec-2023 13:25               45258
libaac-tactics-ocaml-dev_0.4-3_armhf.deb           02-Dec-2023 13:25               45314
libaac-tactics-ocaml-dev_0.4-3_i386.deb            02-Dec-2023 13:25               44996
libaac-tactics-ocaml-dev_8.6.1-1_amd64.deb         01-Dec-2023 21:47               38972
libaac-tactics-ocaml-dev_8.6.1-1_armhf.deb         01-Dec-2023 21:47               38970
libaac-tactics-ocaml-dev_8.6.1-1_i386.deb          01-Dec-2023 21:47               38970
libaac-tactics-ocaml_0.4-3_amd64.deb               02-Dec-2023 13:25              128308
libaac-tactics-ocaml_0.4-3_armel.deb               02-Dec-2023 13:25              123134
libaac-tactics-ocaml_0.4-3_armhf.deb               02-Dec-2023 13:25              124870
libaac-tactics-ocaml_0.4-3_i386.deb                02-Dec-2023 13:25              117692
libaac-tactics-ocaml_8.6.1-1_amd64.deb             01-Dec-2023 21:47              110242
libaac-tactics-ocaml_8.6.1-1_armhf.deb             01-Dec-2023 21:47              117532
libaac-tactics-ocaml_8.6.1-1_i386.deb              01-Dec-2023 21:47              103722