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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libcoq-aac-tactics_8.19.1-1_riscv64.deb393.5 KiB2024-Jun-11 14:59
libcoq-aac-tactics_8.19.1-1_amd64.deb390.8 KiB2024-Jun-11 14:49
libcoq-aac-tactics_8.19.1-1_arm64.deb399.0 KiB2024-Jun-11 14:49
libcoq-aac-tactics_8.19.1-1_s390x.deb391.7 KiB2024-Jun-11 14:49
libcoq-aac-tactics_8.19.1-1_ppc64el.deb393.0 KiB2024-Jun-11 14:49
libcoq-aac-tactics_8.19.1-1_armhf.deb389.0 KiB2024-Jun-11 14:49
libcoq-aac-tactics_8.19.1-1_i386.deb382.6 KiB2024-Jun-11 14:44
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
aac-tactics_8.19.0-1.debian.tar.xz3.6 KiB2024-Apr-26 22:46
aac-tactics_8.19.0-1.dsc2.1 KiB2024-Apr-26 22:46
aac-tactics_8.19.0.orig.tar.gz74.7 KiB2024-Apr-26 22:46
libcoq-aac-tactics_8.18.0-1_i386.deb366.8 KiB2023-Dec-31 17:40
libcoq-aac-tactics_8.18.0-1_armhf.deb373.0 KiB2023-Dec-31 17:40
libcoq-aac-tactics_8.18.0-1_arm64.deb382.8 KiB2023-Dec-31 17:40
libcoq-aac-tactics_8.18.0-1_s390x.deb376.0 KiB2023-Dec-27 02:07
libcoq-aac-tactics_8.18.0-1_ppc64el.deb377.0 KiB2023-Dec-26 17:41
libcoq-aac-tactics_8.18.0-1_amd64.deb375.0 KiB2023-Dec-22 02:31
aac-tactics_8.18.0-1.dsc2.1 KiB2023-Dec-21 23:34
aac-tactics_8.18.0-1.debian.tar.xz3.6 KiB2023-Dec-21 23:34
aac-tactics_8.18.0.orig.tar.gz73.8 KiB2023-Dec-21 23:34
libcoq-aac-tactics_8.17.0-1+b2_arm64.deb388.5 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_amd64.deb380.8 KiB2023-Feb-13 14:11
libcoq-aac-tactics_8.17.0-1+b2_armhf.deb379.5 KiB2023-Feb-13 14:11
libcoq-aac-tactics_8.17.0-1+b2_s390x.deb382.2 KiB2023-Feb-13 14:06
libcoq-aac-tactics_8.17.0-1+b2_i386.deb372.7 KiB2023-Feb-13 14:06
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