Index of /sites/archive.ubuntu.com/ubuntu/pool/universe/p/paramcoq/?C=S&O=A

 Name                                              Last modified      Size  
 Parent Directory                                                       -   
 paramcoq_1.1.3+coq8.16-3build2.dsc                2023-02-16 18:50  2.1K  
 paramcoq_1.1.3+coq8.19-2build2.dsc                2024-09-07 16:43  2.1K  
 paramcoq_1.1.3+coq8.17-2.dsc                      2023-07-25 18:54  2.1K  
 paramcoq_1.1.3+coq8.18-1build2.dsc                2024-04-01 06:43  2.1K  
 paramcoq_1.1.3+coq8.16-3build2.debian.tar.xz      2023-02-16 18:50  2.9K  
 paramcoq_1.1.3+coq8.17-2.debian.tar.xz            2023-07-25 18:54  3.0K  
 paramcoq_1.1.3+coq8.18-1build2.debian.tar.xz      2024-04-01 06:43  3.2K  
 paramcoq_1.1.3+coq8.19-2build2.debian.tar.xz      2024-09-07 16:43  3.2K  
 paramcoq_1.1.3+coq8.17.orig.tar.gz                2023-06-13 06:30   45K  
 paramcoq_1.1.3+coq8.16.orig.tar.gz                2022-11-06 03:01   45K  
 paramcoq_1.1.3+coq8.18.orig.tar.gz                2023-12-22 17:26   45K  
 paramcoq_1.1.3+coq8.19.orig.tar.gz                2024-05-03 02:49   45K  
 libcoq-paramcoq_1.1.3+coq8.19-2build2_amd64.deb   2024-09-07 16:44  121K  
 libcoq-paramcoq_1.1.3+coq8.16-3build2_amd64.deb   2023-02-16 18:50  126K  
 libcoq-paramcoq_1.1.3+coq8.17-2_amd64.deb         2023-07-25 19:49  126K  
 libcoq-paramcoq_1.1.3+coq8.18-1build2_amd64.deb   2024-04-01 07:51  127K