Welcome to Capital Online Mirror Site

/ubuntu-security/ubuntu/pool/universe/a/aac-tactics/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
libaac-tactics-ocaml_0.4-2_amd64.deb	125.1 KiB	2014-Jan-20 19:33
libaac-tactics-ocaml-dev_0.4-2_amd64.deb	42.9 KiB	2014-Jan-20 19:33
libaac-tactics-coq_0.4-2_all.deb	207.5 KiB	2014-Jan-20 19:33
libaac-tactics-ocaml-dev_0.4-2_i386.deb	43.3 KiB	2014-Jan-20 19:33
libaac-tactics-ocaml_0.4-2_i386.deb	114.2 KiB	2014-Jan-20 19:33
libaac-tactics-ocaml_0.4-5build2_amd64.deb	117.2 KiB	2015-Nov-05 08:33
libaac-tactics-ocaml-dev_0.4-5build2_amd64.deb	43.0 KiB	2015-Nov-05 08:33
libaac-tactics-coq_0.4-5build2_all.deb	207.7 KiB	2015-Nov-05 08:33
libaac-tactics-ocaml_0.4-5build2_i386.deb	109.3 KiB	2015-Nov-05 08:34
libaac-tactics-ocaml-dev_0.4-5build2_i386.deb	43.0 KiB	2015-Nov-05 08:34
libaac-tactics-ocaml_8.6.1-2_amd64.deb	117.5 KiB	2017-Nov-01 21:05
libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb	36.8 KiB	2017-Nov-01 21:05
libaac-tactics-coq_8.6.1-2_all.deb	215.6 KiB	2017-Nov-01 21:05
libaac-tactics-ocaml_8.6.1-2_i386.deb	108.2 KiB	2017-Nov-01 21:05
libaac-tactics-ocaml-dev_8.6.1-2_i386.deb	36.8 KiB	2017-Nov-01 21:05
libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb	37.7 KiB	2020-Mar-19 03:48
libaac-tactics-ocaml_8.11.0-1_amd64.deb	104.4 KiB	2020-Mar-19 03:48
libaac-tactics-coq_8.11.0-1_all.deb	237.8 KiB	2020-Mar-19 03:48
libaac-tactics-ocaml_8.15.0-1_amd64.deb	127.7 KiB	2022-Feb-07 03:04
libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb	39.8 KiB	2022-Feb-07 03:04
libaac-tactics-coq_8.15.0-1_all.deb	282.3 KiB	2022-Feb-07 03:04
libcoq-aac-tactics_8.18.0-1build3_amd64.deb	411.8 KiB	2024-Apr-08 15:57
libcoq-aac-tactics_8.19.1-2build3_amd64.deb	429.8 KiB	2024-Sep-07 23:44
libcoq-aac-tactics_8.20.0-1build3_amd64.deb	420.8 KiB	2025-Feb-19 05:25