 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+b2_amd64.buildinfo  20221130 00:14  7.0K  
 coqmathclasses_8.15.03+b2_arm64.buildinfo  20221130 00:45  7.0K  
 coqmathclasses_8.15.03+b2_armhf.buildinfo  20221130 00:14  6.9K  
 coqmathclasses_8.15.03+b2_i386.buildinfo  20221130 00:50  6.9K  
 coqmathclasses_8.15.03+b2_ppc64el.buildinfo  20221130 02:56  7.0K  
 coqmathclasses_8.15.03+b2_s390x.buildinfo  20221130 04:53  6.9K  
 coqmathclasses_8.15.03+b3_amd64.buildinfo  20221228 17:14  7.1K  
 coqmathclasses_8.15.03+b3_arm64.buildinfo  20221228 17:14  7.1K  
 coqmathclasses_8.15.03+b3_armhf.buildinfo  20221228 17:14  7.0K  
 coqmathclasses_8.15.03+b3_i386.buildinfo  20221228 17:14  7.1K  
 coqmathclasses_8.15.03+b3_ppc64el.buildinfo  20221228 18:56  7.1K  
 coqmathclasses_8.15.03+b3_s390x.buildinfo  20221228 19:26  7.0K  
 coqmathclasses_8.15.03+b4_amd64.buildinfo  20230124 01:56  7.0K  
 coqmathclasses_8.15.03+b4_arm64.buildinfo  20230124 02:26  7.0K  
 coqmathclasses_8.15.03+b4_armhf.buildinfo  20230124 02:57  6.8K  
 coqmathclasses_8.15.03+b4_i386.buildinfo  20230124 02:26  6.9K  
 coqmathclasses_8.15.03+b4_ppc64el.buildinfo  20230124 17:56  7.0K  
 coqmathclasses_8.15.03+b4_s390x.buildinfo  20230124 02:11  6.9K  
 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  
 coqmathclasses_8.15.04_amd64.buildinfo  20230126 15:26  6.6K  
 coqmathclasses_8.15.04_arm64.buildinfo  20230126 15:11  6.6K  
 coqmathclasses_8.15.04_armhf.buildinfo  20230126 14:25  6.5K  
 coqmathclasses_8.15.04_i386.buildinfo  20230126 14:10  6.6K  
 coqmathclasses_8.15.04_ppc64el.buildinfo  20230127 04:57  6.6K  
 coqmathclasses_8.15.04_s390x.buildinfo  20230126 17:27  6.5K  
 coqmathclasses_8.15.04_source.buildinfo  20230126 12:44  7.3K  
