Index of /mirrors/raspbian/pool/main/a/aac-tactics/

../
aac-tactics_8.17.0-1.debian.tar.xz                                                                                       04-Jan-2023 19:04    3552
aac-tactics_8.17.0-1.dsc                                                                                                 04-Jan-2023 19:04    2108
aac-tactics_8.17.0.orig.tar.gz                                                                                           04-Jan-2023 19:04     74K
aac-tactics_8.19.1-2.debian.tar.xz                                                                                       03-Aug-2024 15:44    3792
aac-tactics_8.19.1-2.dsc                                                                                                 03-Aug-2024 15:44    1876
aac-tactics_8.19.1.orig.tar.gz                                                                                           11-Jun-2024 05:19     75K
libcoq-aac-tactics_8.17.0-1+b2_armhf.deb                                                                                 21-May-2023 01:16    377K