 Name  Last modified  Size 

 Parent Directory    
 coqmathclasses_8.15.04.debian.tar.xz  20230126 12:44  2.6K 
 coqmathclasses_8.15.04.dsc  20230126 12:44  2.1K 
 coqmathclasses_8.15.0.orig.tar.gz  20220708 06:17  164K 
 coqmathclasses_8.19.01.debian.tar.xz  20240426 14:06  2.9K 
 coqmathclasses_8.19.01.dsc  20240426 14:06  2.1K 
 coqmathclasses_8.19.0.orig.tar.gz  20240426 14:06  165K 
 libcoqmathclasses_8.15.04+b1_amd64.deb  20230213 07:28  2.8M 
 libcoqmathclasses_8.15.04+b1_arm64.deb  20230213 07:28  2.8M 
 libcoqmathclasses_8.15.04+b1_armhf.deb  20230213 07:28  2.8M 
 libcoqmathclasses_8.15.04+b1_i386.deb  20230213 07:34  2.8M 
 libcoqmathclasses_8.15.04+b1_ppc64el.deb  20230214 11:10  2.8M 
 libcoqmathclasses_8.15.04+b1_s390x.deb  20230213 07:33  2.8M 
 libcoqmathclasses_8.19.01+b5_amd64.deb  20240821 04:04  2.8M 
 libcoqmathclasses_8.19.01+b5_arm64.deb  20240821 04:29  2.8M 
 libcoqmathclasses_8.19.01+b5_riscv64.deb  20240821 07:44  2.8M 
 libcoqmathclasses_8.19.01+b5_s390x.deb  20240821 04:29  2.8M 
 libcoqmathclasses_8.19.01+b6_ppc64el.deb  20240831 03:40  2.8M 
