opened « bugs « test-suite - debian-coq

Mode	Name	Size
-rw-r--r--	1338.v-disabled	332	log plain
-rw-r--r--	1501.v	2587	log plain
-rw-r--r--	1596.v	7378	log plain
-rw-r--r--	1671.v	322	log plain
-rw-r--r--	1811.v	200	log plain
-rw-r--r--	2456.v	1809	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--	2800.v	78	log plain
-rw-r--r--	2814.v	124	log plain
-rw-r--r--	3010.v-disabled	121	log plain
-rw-r--r--	3092.v	238	log plain
-rw-r--r--	3100.v	242	log plain
-rw-r--r--	3166.v	2520	log plain
-rw-r--r--	3186.v-disabled	59	log plain
-rw-r--r--	3209.v	718	log plain
-rw-r--r--	3230.v	372	log plain
-rw-r--r--	3248.v	415	log plain
-rw-r--r--	3263.v	9765	log plain
-rw-r--r--	3277.v	188	log plain
-rw-r--r--	3278.v	628	log plain
-rw-r--r--	3283.v	1019	log plain
-rw-r--r--	3295.v	3057	log plain
-rw-r--r--	3304.v	203	log plain
-rw-r--r--	3311.v	337	log plain
-rw-r--r--	3312.v	185	log plain
-rw-r--r--	3320.v	60	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--	3383.v	506	log plain
-rw-r--r--	3395.v	9725	log plain
-rw-r--r--	3410.v	67	log plain
-rw-r--r--	3459.v	870	log plain
-rw-r--r--	3463.v	285	log plain
-rw-r--r--	3478.v-disabled	244	log plain
-rw-r--r--	3554.v	55	log plain
-rw-r--r--	3626.v	191	log plain
-rw-r--r--	3655.v	351	log plain
-rw-r--r--	3753.v	113	log plain
-rw-r--r--	3754.v	9258	log plain
-rw-r--r--	3794.v	167	log plain
-rw-r--r--	3848.v	1072	log plain
-rw-r--r--	3849.v	160	log plain
-rw-r--r--	4214.v	134	log plain
-rw-r--r--	743.v	218	log plain
-rw-r--r--	HoTT_coq_106.v	2023	log plain