 Name  Last modified  Size  Description 

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