 Name  Last modified  Size  Description 

 Parent Directory     
 coqmathclasses_8.15.0.orig.tar.gz  20220709 13:18  164K  
 coqmathclasses_8.15.04build2.debian.tar.xz  20230217 15:29  2.6K  
 coqmathclasses_8.15.04build2.dsc  20230217 15:29  2.1K  
 libcoqmathclasses_8.15.04build2_amd64.deb  20230217 15:29  3.3M  
 coqmathclasses_8.17.0.orig.tar.gz  20230613 19:34  165K  
 coqmathclasses_8.17.01build1.debian.tar.xz  20230726 13:19  2.7K  
 coqmathclasses_8.17.01build1.dsc  20230726 13:19  2.1K  
 libcoqmathclasses_8.17.01build1_amd64.deb  20230726 15:55  3.3M  
 coqmathclasses_8.18.0.orig.tar.gz  20231224 01:16  165K  
 coqmathclasses_8.18.01build3.debian.tar.xz  20240408 15:57  3.1K  
 coqmathclasses_8.18.01build3.dsc  20240408 15:57  2.2K  
 libcoqmathclasses_8.18.01build3_amd64.deb  20240408 18:59  3.2M  
 coqmathclasses_8.19.0.orig.tar.gz  20240502 19:53  165K  
 coqmathclasses_8.19.01build8.debian.tar.xz  20240908 03:04  3.1K  
 coqmathclasses_8.19.01build8.dsc  20240908 03:04  2.1K  
 libcoqmathclasses_8.19.01build8_amd64.deb  20240908 03:05  3.2M  
