 Name  Last modified  Size  Description 

 Parent Directory     
 coqmathclasses_8.15.0.orig.tar.gz  20220708 10:17  164K  
 coqmathclasses_8.15.04.dsc  20230126 16:44  2.1K  
 coqmathclasses_8.15.04.debian.tar.xz  20230126 16:44  2.6K  
 libcoqmathclasses_8.15.04+b1_amd64.deb  20230213 11:28  2.8M  
 libcoqmathclasses_8.15.04+b1_arm64.deb  20230213 11:28  2.8M  
 libcoqmathclasses_8.15.04+b1_armhf.deb  20230213 11:28  2.8M  
 libcoqmathclasses_8.15.04+b1_s390x.deb  20230213 11:33  2.8M  
 libcoqmathclasses_8.15.04+b1_i386.deb  20230213 11:34  2.8M  
 libcoqmathclasses_8.15.04+b1_ppc64el.deb  20230214 15:10  2.8M  
 coqmathclasses_8.17.01.debian.tar.xz  20230613 09:20  2.6K  
 coqmathclasses_8.17.01.dsc  20230613 09:20  2.1K  
 coqmathclasses_8.17.0.orig.tar.gz  20230613 09:20  165K  
 libcoqmathclasses_8.17.01+b2_amd64.deb  20230922 17:13  2.8M  
 libcoqmathclasses_8.17.01+b2_armhf.deb  20230922 17:13  2.8M  
 libcoqmathclasses_8.17.01+b2_arm64.deb  20230922 17:13  2.8M  
 libcoqmathclasses_8.17.01+b2_i386.deb  20230922 17:13  2.8M  
 libcoqmathclasses_8.17.01+b2_ppc64el.deb  20230922 17:28  2.8M  
 libcoqmathclasses_8.17.01+b2_s390x.deb  20230922 17:44  2.8M  
 libcoqmathclasses_8.17.01+b1_riscv64.deb  20230924 01:52  2.8M  
