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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
aac-tactics_8.17.0-1.debian.tar.xz3.5 KiB2023-Jan-05 04:04
aac-tactics_8.17.0-1.dsc2.1 KiB2023-Jan-05 04:04
aac-tactics_8.17.0.orig.tar.gz73.9 KiB2023-Jan-05 04:04
libcoq-aac-tactics_8.17.0-1+b2_i386.deb372.7 KiB2023-Feb-13 14:06
libcoq-aac-tactics_8.17.0-1+b2_s390x.deb382.2 KiB2023-Feb-13 14:06
libcoq-aac-tactics_8.17.0-1+b2_armhf.deb379.5 KiB2023-Feb-13 14:11
libcoq-aac-tactics_8.17.0-1+b2_amd64.deb380.8 KiB2023-Feb-13 14:11
libcoq-aac-tactics_8.17.0-1+b2_ppc64el.deb383.8 KiB2023-Feb-13 14:11
libcoq-aac-tactics_8.17.0-1+b2_arm64.deb388.5 KiB2023-Feb-13 14:11
aac-tactics_8.19.1.orig.tar.gz75.2 KiB2024-Jun-11 14:19
aac-tactics_8.19.1-1.debian.tar.xz3.7 KiB2024-Jun-11 14:19
aac-tactics_8.19.1-1.dsc2.1 KiB2024-Jun-11 14:19
libcoq-aac-tactics_8.19.1-1+b1_arm64.deb397.2 KiB2024-Jun-15 19:49
libcoq-aac-tactics_8.19.1-1+b1_ppc64el.deb391.5 KiB2024-Jun-15 19:49
libcoq-aac-tactics_8.19.1-1+b1_i386.deb382.0 KiB2024-Jun-15 19:49
libcoq-aac-tactics_8.19.1-1+b1_amd64.deb388.8 KiB2024-Jun-15 19:49
libcoq-aac-tactics_8.19.1-1+b1_armhf.deb387.7 KiB2024-Jun-15 19:59
libcoq-aac-tactics_8.19.1-1+b1_riscv64.deb390.8 KiB2024-Jun-15 19:59
libcoq-aac-tactics_8.19.1-1+b1_s390x.deb389.0 KiB2024-Jun-16 06:01
aac-tactics_8.19.1-2.dsc1.8 KiB2024-Aug-04 00:44
aac-tactics_8.19.1-2.debian.tar.xz3.7 KiB2024-Aug-04 00:44
libcoq-aac-tactics_8.19.1-2_i386.deb381.8 KiB2024-Aug-04 01:09
libcoq-aac-tactics_8.19.1-2_armhf.deb387.1 KiB2024-Aug-04 01:15
libcoq-aac-tactics_8.19.1-2+b1_s390x.deb388.9 KiB2024-Aug-04 12:23
libcoq-aac-tactics_8.19.1-2+b1_ppc64el.deb394.4 KiB2024-Aug-09 02:48
libcoq-aac-tactics_8.19.1-2+b1_amd64.deb393.9 KiB2024-Aug-09 03:24
libcoq-aac-tactics_8.19.1-2+b1_arm64.deb400.0 KiB2024-Aug-09 03:29
libcoq-aac-tactics_8.19.1-2+b1_riscv64.deb397.7 KiB2024-Aug-09 07:17
libcoq-aac-tactics_8.19.1-2+b2_s390x.deb395.2 KiB2024-Aug-11 12:32