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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libcoq-aac-tactics_8.19.1-1+b1_s390x.deb389.0 KiB15.06.2024 21:01
libcoq-aac-tactics_8.19.1-1+b1_riscv64.deb390.8 KiB15.06.2024 10:59
libcoq-aac-tactics_8.19.1-1+b1_armhf.deb387.7 KiB15.06.2024 10:59
libcoq-aac-tactics_8.19.1-1+b1_amd64.deb388.8 KiB15.06.2024 10:49
libcoq-aac-tactics_8.19.1-1+b1_ppc64el.deb391.5 KiB15.06.2024 10:49
libcoq-aac-tactics_8.19.1-1+b1_i386.deb382.0 KiB15.06.2024 10:49
libcoq-aac-tactics_8.19.1-1+b1_arm64.deb397.2 KiB15.06.2024 10:49
libcoq-aac-tactics_8.19.1-1_s390x.deb391.7 KiB11.06.2024 05:49
aac-tactics_8.19.1-1.debian.tar.xz3.7 KiB11.06.2024 05:19
aac-tactics_8.19.1-1.dsc2.1 KiB11.06.2024 05:19
aac-tactics_8.19.1.orig.tar.gz75.2 KiB11.06.2024 05:19
libcoq-aac-tactics_8.18.0-1_armhf.deb373.0 KiB31.12.2023 08:40
libcoq-aac-tactics_8.18.0-1_i386.deb366.8 KiB31.12.2023 08:40
libcoq-aac-tactics_8.18.0-1_arm64.deb382.8 KiB31.12.2023 08:40
libcoq-aac-tactics_8.18.0-1_s390x.deb376.0 KiB26.12.2023 17:07
libcoq-aac-tactics_8.18.0-1_ppc64el.deb377.0 KiB26.12.2023 08:41
libcoq-aac-tactics_8.18.0-1_amd64.deb375.0 KiB21.12.2023 17:31
aac-tactics_8.18.0-1.debian.tar.xz3.6 KiB21.12.2023 14:34
aac-tactics_8.18.0-1.dsc2.1 KiB21.12.2023 14:34
aac-tactics_8.18.0.orig.tar.gz73.8 KiB21.12.2023 14:34
libcoq-aac-tactics_8.17.0-1+b2_arm64.deb388.5 KiB13.02.2023 05:11
libcoq-aac-tactics_8.17.0-1+b2_ppc64el.deb383.8 KiB13.02.2023 05:11
libcoq-aac-tactics_8.17.0-1+b2_amd64.deb380.8 KiB13.02.2023 05:11
libcoq-aac-tactics_8.17.0-1+b2_armhf.deb379.5 KiB13.02.2023 05:11
libcoq-aac-tactics_8.17.0-1+b2_s390x.deb382.2 KiB13.02.2023 05:06
libcoq-aac-tactics_8.17.0-1+b2_i386.deb372.7 KiB13.02.2023 05:06
aac-tactics_8.17.0-1.debian.tar.xz3.5 KiB04.01.2023 19:04
aac-tactics_8.17.0-1.dsc2.1 KiB04.01.2023 19:04
aac-tactics_8.17.0.orig.tar.gz73.9 KiB04.01.2023 19:04