 Name  Last modified  Size  Description 

 Parent Directory     
 coqmathclasses_8.15.02+b1_amd64.buildinfo  20220710 10:34  7.0K  
 coqmathclasses_8.15.02_amd64source.buildinfo  20220708 06:17  7.1K  
 coqmathclasses_8.15.02_arm64.buildinfo  20220708 23:27  6.6K  
 coqmathclasses_8.15.02_armhf.buildinfo  20220708 23:27  6.5K  
 coqmathclasses_8.15.02_i386.buildinfo  20220708 23:27  6.6K  
 coqmathclasses_8.15.02_ppc64el.buildinfo  20220708 23:57  6.6K  
 coqmathclasses_8.15.02_s390x.buildinfo  20220709 01:29  6.5K  
 coqmathclasses_8.15.03+b1_amd64.buildinfo  20220908 23:43  6.9K  
 coqmathclasses_8.15.03+b1_arm64.buildinfo  20220908 21:13  6.9K  
 coqmathclasses_8.15.03+b1_armhf.buildinfo  20220908 21:28  6.8K  
 coqmathclasses_8.15.03+b1_i386.buildinfo  20220908 21:57  6.8K  
 coqmathclasses_8.15.03+b1_ppc64el.buildinfo  20220909 03:25  6.9K  
 coqmathclasses_8.15.03+b1_s390x.buildinfo  20220908 22:32  6.8K  
 coqmathclasses_8.15.03_amd64.buildinfo  20220716 11:13  6.6K  
 coqmathclasses_8.15.03_arm64.buildinfo  20220716 11:13  6.6K  
 coqmathclasses_8.15.03_armhf.buildinfo  20220716 11:13  6.5K  
 coqmathclasses_8.15.03_i386.buildinfo  20220716 11:08  6.6K  
 coqmathclasses_8.15.03_ppc64el.buildinfo  20220716 11:13  6.6K  
 coqmathclasses_8.15.03_s390x.buildinfo  20220716 13:49  6.5K  
 coqmathclasses_8.15.03_source.buildinfo  20220716 10:37  6.7K  
