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

../
libaac-tactics-coq_0.2.pl2-7_all.deb               09-Jun-2012 09:02    313K
libaac-tactics-coq_0.4-3_all.deb                   30-Jul-2014 09:11    209K
libaac-tactics-coq_8.6.1-1_all.deb                 30-Dec-2016 10:13    217K
libaac-tactics-ocaml-dev_0.2.pl2-7_amd64.deb       09-Jun-2012 09:02    130K
libaac-tactics-ocaml-dev_0.2.pl2-7_armhf.deb       09-Jun-2012 10:03     20K
libaac-tactics-ocaml-dev_0.2.pl2-7_i386.deb        09-Jun-2012 10:03    133K
libaac-tactics-ocaml-dev_0.4-3_amd64.deb           30-Jul-2014 09:11     44K
libaac-tactics-ocaml-dev_0.4-3_arm64.deb           24-Sep-2014 09:40     44K
libaac-tactics-ocaml-dev_0.4-3_armhf.deb           30-Jul-2014 09:56     44K
libaac-tactics-ocaml-dev_0.4-3_i386.deb            30-Jul-2014 09:41     44K
libaac-tactics-ocaml-dev_8.6.1-1_amd64.deb         30-Dec-2016 10:13     38K
libaac-tactics-ocaml-dev_8.6.1-1_arm64.deb         30-Dec-2016 10:43     38K
libaac-tactics-ocaml-dev_8.6.1-1_armhf.deb         30-Dec-2016 10:43     38K
libaac-tactics-ocaml-dev_8.6.1-1_i386.deb          30-Dec-2016 10:43     38K
libaac-tactics-ocaml_0.2.pl2-7_amd64.deb           09-Jun-2012 09:02    142K
libaac-tactics-ocaml_0.2.pl2-7_armhf.deb           09-Jun-2012 10:03     33K
libaac-tactics-ocaml_0.2.pl2-7_i386.deb            09-Jun-2012 10:03    124K
libaac-tactics-ocaml_0.4-3_amd64.deb               30-Jul-2014 09:11    125K
libaac-tactics-ocaml_0.4-3_arm64.deb               24-Sep-2014 09:40     27K
libaac-tactics-ocaml_0.4-3_armhf.deb               30-Jul-2014 09:56    122K
libaac-tactics-ocaml_0.4-3_i386.deb                30-Jul-2014 09:41    115K
libaac-tactics-ocaml_8.6.1-1_amd64.deb             30-Dec-2016 10:13    108K
libaac-tactics-ocaml_8.6.1-1_arm64.deb             30-Dec-2016 10:43    105K
libaac-tactics-ocaml_8.6.1-1_armhf.deb             30-Dec-2016 10:43    115K
libaac-tactics-ocaml_8.6.1-1_i386.deb              30-Dec-2016 10:43    101K
libcoq-aac-tactics_8.17.0-1+b2_amd64.deb           13-Feb-2023 05:11    381K
libcoq-aac-tactics_8.17.0-1+b2_arm64.deb           13-Feb-2023 05:11    389K
libcoq-aac-tactics_8.17.0-1+b2_armhf.deb           13-Feb-2023 05:11    379K
libcoq-aac-tactics_8.17.0-1+b2_i386.deb            13-Feb-2023 05:06    373K
libcoq-aac-tactics_8.20.0-1_amd64.deb              20-Nov-2024 14:16    385K
libcoq-aac-tactics_8.20.0-1_arm64.deb              20-Nov-2024 14:57    391K