Filename Modification time Size aac-tactics_8.17.0-1.debian.tar.xz 2023-01-04 20:04 CET 3552 B aac-tactics_8.17.0-1.dsc 2023-01-04 20:04 CET 2108 B aac-tactics_8.17.0.orig.tar.gz 2023-01-04 20:04 CET 74 KiB aac-tactics_8.18.0-1.debian.tar.xz 2023-12-21 15:34 CET 3716 B aac-tactics_8.18.0-1.dsc 2023-12-21 15:34 CET 2104 B aac-tactics_8.18.0.orig.tar.gz 2023-12-21 15:34 CET 74 KiB libcoq-aac-tactics_8.17.0-1+b2_amd64.deb 2023-02-13 06:11 CET 381 KiB libcoq-aac-tactics_8.17.0-1+b2_arm64.deb 2023-02-13 06:11 CET 389 KiB libcoq-aac-tactics_8.17.0-1+b2_armhf.deb 2023-02-13 06:11 CET 379 KiB libcoq-aac-tactics_8.17.0-1+b2_i386.deb 2023-02-13 06:06 CET 373 KiB libcoq-aac-tactics_8.17.0-1+b2_ppc64el.deb 2023-02-13 06:11 CET 384 KiB libcoq-aac-tactics_8.17.0-1+b2_s390x.deb 2023-02-13 06:06 CET 382 KiB libcoq-aac-tactics_8.18.0-1+b1_amd64.deb 2024-03-19 19:40 CET 375 KiB libcoq-aac-tactics_8.18.0-1+b1_arm64.deb 2024-03-19 19:40 CET 383 KiB libcoq-aac-tactics_8.18.0-1+b1_armhf.deb 2024-03-26 16:17 CET 373 KiB libcoq-aac-tactics_8.18.0-1+b1_i386.deb 2024-03-19 19:35 CET 367 KiB libcoq-aac-tactics_8.18.0-1+b1_ppc64el.deb 2024-03-19 19:35 CET 378 KiB libcoq-aac-tactics_8.18.0-1+b1_s390x.deb 2024-03-19 22:19 CET 376 KiB libcoq-aac-tactics_8.18.0-1_amd64.deb 2023-12-21 18:31 CET 375 KiB libcoq-aac-tactics_8.18.0-1_arm64.deb 2023-12-31 09:40 CET 383 KiB libcoq-aac-tactics_8.18.0-1_armhf.deb 2023-12-31 09:40 CET 373 KiB libcoq-aac-tactics_8.18.0-1_i386.deb 2023-12-31 09:40 CET 367 KiB libcoq-aac-tactics_8.18.0-1_ppc64el.deb 2023-12-26 09:41 CET 377 KiB libcoq-aac-tactics_8.18.0-1_riscv64.deb 2023-12-26 16:46 CET 378 KiB libcoq-aac-tactics_8.18.0-1_s390x.deb 2023-12-26 18:07 CET 376 KiB