Index of /debian/pool/main/c/coq-equations

 Name                                     Last modified      Size  Description
 Parent Directory                                              -   
 coq-equations_1.3-8.15-2.debian.tar.xz   2022-07-14 09:48  2.1K  
 coq-equations_1.3-8.15-2.dsc             2022-07-14 09:48  2.1K  
 coq-equations_1.3-8.15.orig.tar.gz       2022-07-14 09:48  1.0M  
 coq-equations_1.3-8.16-1.debian.tar.xz   2022-09-06 05:09  2.1K  
 coq-equations_1.3-8.16-1.dsc             2022-09-06 05:09  2.1K  
 coq-equations_1.3-8.16.orig.tar.gz       2022-09-06 05:09  1.0M  
 libcoq-equations_1.3-8.15-2+b1_arm64.deb 2022-08-28 17:28  1.4M  
 libcoq-equations_1.3-8.15-2+b1_i386.deb  2022-08-28 19:29  1.3M  
 libcoq-equations_1.3-8.15-2+b2_amd64.deb 2022-08-28 19:13  1.4M  
 libcoq-equations_1.3-8.16-1_amd64.deb    2022-09-06 08:26  1.4M  
 libcoq-equations_1.3-8.16-1_arm64.deb    2022-09-07 16:57  1.4M  
 libcoq-equations_1.3-8.16-1_i386.deb     2022-09-06 15:42  1.3M