Index of /ubuntu-testing/pool/main/a/aac-tactics/
../
libaac-tactics-coq_0.4-5build2_all.deb 28-May-2020 21:51 212712
libaac-tactics-coq_8.11.0-1_all.deb 21-Dec-2020 16:10 243456
libaac-tactics-coq_8.6.1-2_all.deb 28-May-2020 17:56 220796
libaac-tactics-ocaml-dev_0.4-5build2_amd64.deb 28-May-2020 21:43 44036
libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb 21-Dec-2020 16:21 38624
libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb 28-May-2020 17:45 37684
libaac-tactics-ocaml_0.4-5build2_amd64.deb 28-May-2020 21:57 119986
libaac-tactics-ocaml_8.11.0-1_amd64.deb 21-Dec-2020 15:40 106896
libaac-tactics-ocaml_8.6.1-2_amd64.deb 28-May-2020 17:34 120296