Triple - Together we Inspire
/archive/pool/universe/a/aac-tactics/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libcoq-aac-tactics_8.20.0-1build3_amd64.deb 4309182025-Feb-18 21:25
libcoq-aac-tactics_8.19.1-2build3_amd64.deb 4401362024-Sep-07 15:44
libcoq-aac-tactics_8.18.0-1build3_amd64.deb 4216762024-Apr-08 07:57
libaac-tactics-coq_8.15.0-1_all.deb 2890982022-Feb-06 19:04
libaac-tactics-ocaml_8.15.0-1_amd64.deb 1307902022-Feb-06 19:04
libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb 407762022-Feb-06 19:04
libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb 386242020-Mar-18 19:48
libaac-tactics-ocaml_8.11.0-1_amd64.deb 1068962020-Mar-18 19:48
libaac-tactics-coq_8.11.0-1_all.deb 2434562020-Mar-18 19:48
libaac-tactics-ocaml-dev_8.6.1-2_i386.deb 376882017-Nov-01 13:05
libaac-tactics-ocaml_8.6.1-2_i386.deb 1107962017-Nov-01 13:05
libaac-tactics-coq_8.6.1-2_all.deb 2207962017-Nov-01 13:05
libaac-tactics-ocaml_8.6.1-2_amd64.deb 1202962017-Nov-01 13:05
libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb 376842017-Nov-01 13:05
libaac-tactics-ocaml-dev_0.4-5build2_i386.deb 440282015-Nov-05 00:34
libaac-tactics-ocaml_0.4-5build2_i386.deb 1119502015-Nov-05 00:34
libaac-tactics-coq_0.4-5build2_all.deb 2127122015-Nov-05 00:33
libaac-tactics-ocaml-dev_0.4-5build2_amd64.deb 440362015-Nov-05 00:33
libaac-tactics-ocaml_0.4-5build2_amd64.deb 1199862015-Nov-05 00:33
libaac-tactics-ocaml-dev_0.4-2_i386.deb 443742014-Jan-20 11:33
libaac-tactics-ocaml_0.4-2_i386.deb 1169642014-Jan-20 11:33
libaac-tactics-coq_0.4-2_all.deb 2125282014-Jan-20 11:33
libaac-tactics-ocaml-dev_0.4-2_amd64.deb 439222014-Jan-20 11:33
libaac-tactics-ocaml_0.4-2_amd64.deb 1281162014-Jan-20 11:33