Index of /pub/gnu_linux/raspbian/pool/main/a/aac-tactics

      Name                                        Last modified      Size  Description
Parent Directory - aac-tactics_8.15.1-4.debian.tar.xz 2022-05-22 13:33 3.7K aac-tactics_8.15.1-4.dsc 2022-05-22 13:33 2.2K aac-tactics_8.15.1.orig.tar.gz 2022-04-03 16:10 67K aac-tactics_8.6.1-1.debian.tar.xz 2016-12-30 05:13 3.1K aac-tactics_8.6.1-1.dsc 2016-12-30 05:13 2.2K aac-tactics_8.6.1.orig.tar.gz 2016-12-30 05:13 73K libaac-tactics-coq_8.6.1-1_all.deb 2016-12-30 05:13 217K libaac-tactics-ocaml-dev_8.15.1-4_armhf.deb 2022-05-28 06:08 39K libaac-tactics-ocaml-dev_8.6.1-1_armhf.deb 2017-01-16 23:08 38K libaac-tactics-ocaml_8.15.1-4_armhf.deb 2022-05-28 06:08 108K libaac-tactics-ocaml_8.6.1-1_armhf.deb 2017-01-16 23:08 111K libcoq-aac-tactics_8.15.1-4_armhf.deb 2022-05-28 06:08 261K