Index of /ubuntu/mirror/archive.ubuntu.com/ubuntu/pool/universe/a/aac-tactics

 Name                                                      Last modified      Size  Description
 Parent Directory                                                               -   
 aac-tactics_8.11.0-1.debian.tar.xz                        2021-06-30 11:25  3.4K  
 aac-tactics_8.11.0-1.dsc                                  2021-06-30 11:25  2.1K  
 aac-tactics_8.11.0.orig.tar.gz                            2021-06-30 11:25   64K  
 aac-tactics_8.15.0-1.debian.tar.xz                        2022-03-17 10:03  3.5K  
 aac-tactics_8.15.0-1.dsc                                  2022-03-17 10:03  2.2K  
 aac-tactics_8.15.0.orig.tar.gz                            2022-03-17 10:03   67K  
 aac-tactics_8.18.0-1build3.debian.tar.xz                  2024-04-23 21:53  3.8K  
 aac-tactics_8.18.0-1build3.dsc                            2024-04-23 21:53  2.1K  
 aac-tactics_8.18.0.orig.tar.gz                            2024-04-23 21:53   74K  
 libaac-tactics-coq_8.11.0-1_all.deb                       2021-06-30 11:25  238K  
 libaac-tactics-coq_8.15.0-1_all.deb                       2022-03-17 10:03  282K  
 libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb               2021-06-30 11:25   38K  
 libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb               2022-03-17 10:03   40K  
 libaac-tactics-ocaml_8.11.0-1_amd64.deb                   2021-06-30 11:25  104K  
 libaac-tactics-ocaml_8.15.0-1_amd64.deb                   2022-03-17 10:03  128K  
 libcoq-aac-tactics_8.18.0-1build3_amd64.deb               2024-04-23 21:53  412K