Index of /linux/ubuntu/22.04-mirror/pool/universe/a/aac-tactics

Icon  Name                                        Last modified      Size  Description
[PARENTDIR] Parent Directory                                                 -   
[   ] libaac-tactics-coq_8.15.0-1_all.deb         2022-02-06 12:04  282K  
[   ] libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb 2022-02-06 12:04   40K  
[   ] libaac-tactics-ocaml_8.15.0-1_amd64.deb     2022-02-06 12:04  128K