Filename | Modification time | Size |
---|---|---|
aac-tactics_8.17.0-1.debian.tar.xz | 3552 B | |
aac-tactics_8.17.0-1.dsc | 2108 B | |
aac-tactics_8.17.0.orig.tar.gz | 74 KiB | |
aac-tactics_8.19.1-1.debian.tar.xz | 3748 B | |
aac-tactics_8.19.1-1.dsc | 2104 B | |
aac-tactics_8.19.1.orig.tar.gz | 75 KiB | |
libcoq-aac-tactics_8.17.0-1+b2_amd64.deb | 381 KiB | |
libcoq-aac-tactics_8.17.0-1+b2_arm64.deb | 389 KiB | |
libcoq-aac-tactics_8.17.0-1+b2_armhf.deb | 379 KiB | |
libcoq-aac-tactics_8.17.0-1+b2_i386.deb | 373 KiB | |
libcoq-aac-tactics_8.17.0-1+b2_ppc64el.deb | 384 KiB | |
libcoq-aac-tactics_8.17.0-1+b2_s390x.deb | 382 KiB | |
libcoq-aac-tactics_8.19.1-1+b1_amd64.deb | 389 KiB | |
libcoq-aac-tactics_8.19.1-1+b1_arm64.deb | 397 KiB | |
libcoq-aac-tactics_8.19.1-1+b1_armhf.deb | 388 KiB | |
libcoq-aac-tactics_8.19.1-1+b1_i386.deb | 382 KiB | |
libcoq-aac-tactics_8.19.1-1+b1_ppc64el.deb | 392 KiB | |
libcoq-aac-tactics_8.19.1-1+b1_riscv64.deb | 391 KiB | |
libcoq-aac-tactics_8.19.1-1+b1_s390x.deb | 389 KiB |