 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+b2_amd64.deb  20240625 09:58  2.8M 
 libcoqmathclasses_8.19.01+b2_arm64.deb  20240625 09:58  2.7M 
 libcoqmathclasses_8.19.01+b2_armhf.deb  20240625 10:03  2.7M 
 libcoqmathclasses_8.19.01+b2_i386.deb  20240625 09:53  2.7M 
 libcoqmathclasses_8.19.01+b2_ppc64el.deb  20240625 09:58  2.8M 
 libcoqmathclasses_8.19.01+b2_riscv64.deb  20240630 17:18  2.8M 
 libcoqmathclasses_8.19.01+b2_s390x.deb  20240625 10:29  2.7M 
