Index of /pool/main/a/aac-tactics/

directories: 0, files: 16

NameLast modifiedSize
../
aac-tactics_0.2.pl2.orig.tar.gz2019-08-30 02:14:1475.59 KiB
aac-tactics_8.6.1.orig.tar.gz2019-08-29 04:10:4273.31 KiB
aac-tactics_0.2.pl2-7.debian.tar.gz2019-08-30 02:14:142.68 KiB
aac-tactics_8.6.1-1.debian.tar.xz2019-08-29 04:10:423.14 KiB
aac-tactics_8.20.0-1.dsc2025-08-29 09:32:302.05 KiB
libaac-tactics-ocaml-dev_8.6.1-1_amd64.deb2019-08-29 04:41:0538.06 KiB
aac-tactics_8.20.0-1.debian.tar.xz2025-08-29 09:32:303.72 KiB
aac-tactics_0.2.pl2-7.dsc2019-08-30 02:14:142.17 KiB
aac-tactics_8.20.0.orig.tar.gz2025-08-29 09:32:3075.85 KiB
libaac-tactics-ocaml_0.2.pl2-7_amd64.deb2019-08-30 01:08:25141.90 KiB
aac-tactics_8.6.1-1.dsc2019-08-29 04:10:422.17 KiB
libaac-tactics-coq_8.6.1-1_all.deb2019-08-29 03:33:31217.13 KiB
libcoq-aac-tactics_8.20.0-1+b4_amd64.deb2025-08-29 13:01:56385.30 KiB
libaac-tactics-ocaml-dev_0.2.pl2-7_amd64.deb2019-08-30 02:06:43129.88 KiB
libaac-tactics-ocaml_8.6.1-1_amd64.deb2019-08-29 03:36:52107.66 KiB
libaac-tactics-coq_0.2.pl2-7_all.deb2019-08-30 01:37:43313.24 KiB