Index of /sites/archive.ubuntu.com/ubuntu/ubuntu/ubuntu/pool/universe/c/coq-hierarchy-builder/

 Name                                                            Last modified      Size  
 Parent Directory                                                                     -   
 coq-hierarchy-builder_1.2.1-2.debian.tar.xz                     2022-02-14 05:33  2.7K  
 coq-hierarchy-builder_1.2.1-2.dsc                               2022-02-14 05:33  2.2K  
 coq-hierarchy-builder_1.2.1-2_amd64.deb                         2022-02-14 08:54  760K  
 coq-hierarchy-builder_1.2.1.orig.tar.gz                         2022-01-17 23:14  184K  
 coq-hierarchy-builder_1.4.0-2build3.debian.tar.xz               2023-02-16 23:24  3.2K  
 coq-hierarchy-builder_1.4.0-2build3.dsc                         2023-02-16 23:24  2.2K  
 coq-hierarchy-builder_1.4.0-2build3_amd64.deb                   2023-02-17 02:34  758K  
 coq-hierarchy-builder_1.4.0-6build5.debian.tar.xz               2023-08-28 16:48  5.6K  
 coq-hierarchy-builder_1.4.0-6build5.dsc                         2023-08-28 16:48  2.2K  
 coq-hierarchy-builder_1.4.0-6build5_amd64.deb                   2023-08-28 17:39  758K  
 coq-hierarchy-builder_1.4.0.orig.tar.gz                         2022-11-06 03:17  197K  
 coq-hierarchy-builder_1.6.0-1build5.debian.tar.xz               2024-04-08 08:57  3.6K  
 coq-hierarchy-builder_1.6.0-1build5.dsc                         2024-04-08 08:57  2.2K  
 coq-hierarchy-builder_1.6.0-1build5_amd64.deb                   2024-04-08 10:28  812K  
 coq-hierarchy-builder_1.6.0.orig.tar.gz                         2023-12-23 17:16  197K  
 libcoq-hierarchy-builder_1.2.1-2_amd64.deb                      2022-02-14 08:54  241K  
 libcoq-hierarchy-builder_1.4.0-2build3_amd64.deb                2023-02-17 02:34  258K  
 libcoq-hierarchy-builder_1.4.0-6build5_amd64.deb                2023-08-28 17:39  260K  
 libcoq-hierarchy-builder_1.6.0-1build5_amd64.deb                2024-04-08 10:28  262K