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 08:05 216K 
[   ]libaac-tactics-coq_8.11.0-1_all.deb2020-03-18 14:48 238K 
[   ]libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb2017-11-01 08:05 37K 
[   ]libaac-tactics-ocaml-dev_8.6.1-2_i386.deb2022-03-19 09:53 37K 
[   ]libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb2020-03-18 14:48 38K 
[   ]libaac-tactics-ocaml_8.6.1-2_amd64.deb2017-11-01 08:05 117K 
[   ]libaac-tactics-ocaml_8.6.1-2_i386.deb2022-03-19 09:53 108K 
[   ]libaac-tactics-ocaml_8.11.0-1_amd64.deb2020-03-18 14:48 104K 

Apache/2.4.29 (Ubuntu) Server at ubuntu1.gcfl.net Port 80