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 aac-tactics_8.19.0-1.debian.tar.xz 2024-04-26 15:46 CEST 3728 B aac-tactics_8.19.0-1.dsc 2024-04-26 15:46 CEST 2104 B aac-tactics_8.19.0.orig.tar.gz 2024-04-26 15:46 CEST 75 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_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_s390x.deb 2023-12-26 18:07 CET 376 KiB libcoq-aac-tactics_8.19.0-1_amd64.deb 2024-04-28 00:03 CEST 383 KiB libcoq-aac-tactics_8.19.0-1_arm64.deb 2024-04-28 00:03 CEST 391 KiB libcoq-aac-tactics_8.19.0-1_armhf.deb 2024-04-28 00:08 CEST 381 KiB libcoq-aac-tactics_8.19.0-1_i386.deb 2024-04-27 19:39 CEST 375 KiB libcoq-aac-tactics_8.19.0-1_ppc64el.deb 2024-04-27 19:02 CEST 386 KiB libcoq-aac-tactics_8.19.0-1_riscv64.deb 2024-04-27 19:23 CEST 386 KiB libcoq-aac-tactics_8.19.0-1_s390x.deb 2024-04-28 00:36 CEST 384 KiB