 Name  Last modified  Size  Description 

 Parent Directory     
 coqmathclasses_8.15.04.debian.tar.xz  20230126 13:44  2.6K  
 coqmathclasses_8.15.04.dsc  20230126 13:44  2.1K  
 coqmathclasses_8.15.0.orig.tar.gz  20220708 08:17  164K  
 coqmathclasses_8.18.01.debian.tar.xz  20231222 12:07  2.8K  
 coqmathclasses_8.18.01.dsc  20231222 12:07  2.1K  
 coqmathclasses_8.18.0.orig.tar.gz  20231222 12:07  165K  
 coqmathclasses_8.19.01.debian.tar.xz  20240426 16:06  2.9K  
 coqmathclasses_8.19.01.dsc  20240426 16:06  2.1K  
 coqmathclasses_8.19.0.orig.tar.gz  20240426 16:06  165K  
 libcoqmathclasses_8.15.04+b1_amd64.deb  20230213 08:28  2.8M  
 libcoqmathclasses_8.15.04+b1_arm64.deb  20230213 08:28  2.8M  
 libcoqmathclasses_8.15.04+b1_armhf.deb  20230213 08:28  2.8M  
 libcoqmathclasses_8.15.04+b1_i386.deb  20230213 08:34  2.8M  
 libcoqmathclasses_8.19.01+b1_amd64.deb  20240615 13:25  2.8M  
 libcoqmathclasses_8.19.01+b1_arm64.deb  20240615 13:25  2.8M  
 libcoqmathclasses_8.19.01+b1_armhf.deb  20240615 13:20  2.7M  
 libcoqmathclasses_8.19.01+b1_i386.deb  20240615 13:25  2.7M  
 libcoqmathclasses_8.19.01+b1_riscv64.deb  20240615 14:11  2.8M  
 libcoqmathclasses_8.19.01+b2_amd64.deb  20240625 11:58  2.8M  
 libcoqmathclasses_8.19.01+b2_arm64.deb  20240625 11:58  2.7M  
 libcoqmathclasses_8.19.01+b2_armhf.deb  20240625 12:03  2.7M  
 libcoqmathclasses_8.19.01+b2_i386.deb  20240625 11:53  2.7M  
