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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]libaac-tactics-coq_8.11.0-1_all.deb2020-03-19 02:48 238K 
[   ]libaac-tactics-coq_8.15.0-1_all.deb2022-02-07 02:04 282K 
[   ]libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb2020-03-19 02:48 38K 
[   ]libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb2022-02-07 02:04 40K 
[   ]libaac-tactics-ocaml_8.11.0-1_amd64.deb2020-03-19 02:48 104K 
[   ]libaac-tactics-ocaml_8.15.0-1_amd64.deb2022-02-07 02:04 128K 
[   ]libcoq-aac-tactics_8.18.0-1build3_amd64.deb2024-04-08 14:57 412K 

Apache/2.4.62 (Debian) Server at mirror-gw.elastis.id Port 80