opened « bugs « test-suite - coq - the Coq proof assistant

Mode	Name	Size
-rw-r--r--	1338.v-disabled	332	log plain
-rw-r--r--	1596.v	7333	log plain
-rw-r--r--	1615.v	218	log plain
-rw-r--r--	1671.v	322	log plain
-rw-r--r--	1811.v	201	log plain
-rw-r--r--	2572.v-disabled	5523	log plain
-rw-r--r--	2652a.v-disabled	4620	log plain
-rw-r--r--	2652b.v-disabled	2811	log plain
-rw-r--r--	3010.v-disabled	121	log plain
-rw-r--r--	3092.v	238	log plain
-rw-r--r--	3166.v	2520	log plain
-rw-r--r--	3186.v-disabled	59	log plain
-rw-r--r--	3248.v	421	log plain
-rw-r--r--	3277.v	191	log plain
-rw-r--r--	3278.v	640	log plain
-rw-r--r--	3283.v	1019	log plain
-rw-r--r--	3295.v	3069	log plain
-rw-r--r--	3304.v	206	log plain
-rw-r--r--	3311.v	337	log plain
-rw-r--r--	3312.v	185	log plain
-rw-r--r--	3343.v	1296	log plain
-rw-r--r--	3345.v	5404	log plain
-rw-r--r--	3357.v	321	log plain
-rw-r--r--	3363.v	479	log plain
-rw-r--r--	3370.v	341	log plain
-rw-r--r--	3395.v	9725	log plain
-rw-r--r--	3424.v	975	log plain
-rw-r--r--	3459.v	873	log plain
-rw-r--r--	3463.v	285	log plain
-rw-r--r--	3478.v-disabled	244	log plain
-rw-r--r--	3626.v	191	log plain
-rw-r--r--	3655.v	351	log plain
-rw-r--r--	3754.v	9258	log plain
-rw-r--r--	3794.v	168	log plain
-rw-r--r--	3889.v	356	log plain
-rw-r--r--	3890.v	258	log plain
-rw-r--r--	3919.v-disabled	261	log plain
-rw-r--r--	3922.v-disabled	2634	log plain
-rw-r--r--	3928.v-disabled	250	log plain
-rw-r--r--	3938.v	263	log plain
-rw-r--r--	3946.v	191	log plain
-rw-r--r--	4701.v	945	log plain
-rw-r--r--	4721.v	567	log plain
-rw-r--r--	4728.v	1915	log plain
-rw-r--r--	4755.v	1312	log plain
-rw-r--r--	4771.v	267	log plain
-rw-r--r--	4778.v	1188	log plain
-rw-r--r--	4781.v	3275	log plain
-rw-r--r--	4813.v	170	log plain
-rw-r--r--	6393.v	404	log plain
-rw-r--r--	6602.v	206	log plain
-rw-r--r--	HoTT_coq_106.v	2023	log plain