Index of /ubuntu/pool/universe/a/aac-tactics

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]libaac-tactics-coq_8.6.1-2_all.deb2017-11-01 10:05 216K 
[   ]libaac-tactics-coq_8.11.0-1_all.deb2020-03-18 16:48 238K 
[   ]libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb2017-11-01 10:05 37K 
[   ]libaac-tactics-ocaml-dev_8.6.1-2_i386.deb2017-11-01 10:05 37K 
[   ]libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb2020-03-18 16:48 38K 
[   ]libaac-tactics-ocaml_8.6.1-2_amd64.deb2017-11-01 10:05 117K 
[   ]libaac-tactics-ocaml_8.6.1-2_i386.deb2017-11-01 10:05 108K 
[   ]libaac-tactics-ocaml_8.11.0-1_amd64.deb2020-03-18 16:48 104K