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

 Name                                              Last modified      Size  
 Parent Directory                                                       -   
 coq-stdpp_1.8.0-3build2.debian.tar.xz             2023-02-16 18:50  2.4K  
 coq-stdpp_1.8.0-3build2.dsc                       2023-02-16 18:50  2.0K  
 coq-stdpp_1.8.0-4build1.debian.tar.xz             2023-07-26 06:19  2.4K  
 coq-stdpp_1.8.0-4build1.dsc                       2023-07-26 06:19  2.0K  
 coq-stdpp_1.8.0.orig.tar.gz                       2022-08-19 18:34  249K  
 coq-stdpp_1.9.0-1build3.debian.tar.xz             2024-04-08 08:57  2.7K  
 coq-stdpp_1.9.0-1build3.dsc                       2024-04-08 08:57  2.1K  
 coq-stdpp_1.9.0.orig.tar.gz                       2023-12-22 17:26  291K  
 coq-stdpp_1.10.0-2build3.debian.tar.xz            2024-09-07 16:43  2.8K  
 coq-stdpp_1.10.0-2build3.dsc                      2024-09-07 16:43  2.0K  
 coq-stdpp_1.10.0.orig.tar.gz                      2024-05-02 13:38  296K  
 libcoq-stdpp_1.8.0-3build2_amd64.deb              2023-02-16 18:50  4.5M  
 libcoq-stdpp_1.8.0-4build1_amd64.deb              2023-07-26 07:22  4.5M  
 libcoq-stdpp_1.9.0-1build3_amd64.deb              2024-04-08 08:57  5.0M  
 libcoq-stdpp_1.10.0-2build3_amd64.deb             2024-09-07 16:44  5.2M