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.19.1-2.debian.tar.xz 2024-08-03 17:44 CEST 3792 B aac-tactics_8.19.1-2.dsc 2024-08-03 17:44 CEST 1876 B aac-tactics_8.19.1.orig.tar.gz 2024-06-11 07:19 CEST 75 KiB aac-tactics_8.20.0-1.debian.tar.xz 2024-11-20 10:52 CET 3808 B aac-tactics_8.20.0-1.dsc 2024-11-20 10:52 CET 2104 B aac-tactics_8.20.0.orig.tar.gz 2024-11-20 10:52 CET 76 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.19.1-2+b2_amd64.deb 2024-08-21 05:48 CEST 393 KiB libcoq-aac-tactics_8.19.1-2+b2_arm64.deb 2024-08-21 05:48 CEST 400 KiB libcoq-aac-tactics_8.19.1-2+b2_riscv64.deb 2024-08-21 06:45 CEST 397 KiB libcoq-aac-tactics_8.19.1-2+b3_ppc64el.deb 2024-08-30 17:00 CEST 395 KiB libcoq-aac-tactics_8.19.1-2+b3_s390x.deb 2024-08-21 05:54 CEST 395 KiB libcoq-aac-tactics_8.20.0-1_amd64.deb 2024-11-20 15:16 CET 385 KiB libcoq-aac-tactics_8.20.0-1_arm64.deb 2024-11-20 15:57 CET 391 KiB libcoq-aac-tactics_8.20.0-1_ppc64el.deb 2024-11-20 15:52 CET 386 KiB libcoq-aac-tactics_8.20.0-1_riscv64.deb 2024-11-20 15:37 CET 388 KiB libcoq-aac-tactics_8.20.0-1_s390x.deb 2024-11-21 03:40 CET 386 KiB