Index of /ubuntu/pool/universe/a/aac-tactics/

../
aac-tactics_8.11.0-1.debian.tar.xz                 18-Dec-2023 16:19                3520
aac-tactics_8.11.0-1.dsc                           18-Dec-2023 16:19                2178
aac-tactics_8.11.0.orig.tar.gz                     18-Dec-2023 16:19               65363
aac-tactics_8.15.0-1.debian.tar.xz                 18-Dec-2023 16:21                3600
aac-tactics_8.15.0-1.dsc                           18-Dec-2023 16:21                2209
aac-tactics_8.15.0.orig.tar.gz                     18-Dec-2023 16:21               68103
libaac-tactics-coq_8.11.0-1_all.deb                18-Dec-2024 03:24              243456
libaac-tactics-coq_8.15.0-1_all.deb                18-Dec-2024 03:26              289098
libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb        18-Dec-2024 03:24               38624
libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb        18-Dec-2024 03:26               40776
libaac-tactics-ocaml_8.11.0-1_amd64.deb            18-Dec-2024 03:24              106896
libaac-tactics-ocaml_8.15.0-1_amd64.deb            18-Dec-2024 03:26              130790