output « test-suite - debian-coq - Debian packaging for Coq

Mode	Name	Size
-rw-r--r--	ArgumentsScope.out	1083	log plain
-rw-r--r--	ArgumentsScope.v	535	log plain
-rw-r--r--	Cases.out	916	log plain
-rw-r--r--	Cases.v	839	log plain
-rw-r--r--	Coercions.out	108	log plain
-rw-r--r--	Coercions.v	651	log plain
-rw-r--r--	Existentials.out	48	log plain
-rw-r--r--	Existentials.v	225	log plain
-rw-r--r--	Fixpoint.out	612	log plain
-rw-r--r--	Fixpoint.v	898	log plain
-rw-r--r--	Implicit.out	344	log plain
-rw-r--r--	Implicit.v	947	log plain
-rw-r--r--	InitSyntax.out	382	log plain
-rw-r--r--	InitSyntax.v	111	log plain
-rw-r--r--	Intuition.out	91	log plain
-rw-r--r--	Intuition.v	121	log plain
-rw-r--r--	Match_subterm.out	25	log plain
-rw-r--r--	Match_subterm.v	86	log plain
-rw-r--r--	Nametab.out	1114	log plain
-rw-r--r--	Nametab.v	917	log plain
-rw-r--r--	Naming.out	1789	log plain
-rw-r--r--	Naming.v	1957	log plain
-rw-r--r--	Notations.out	1829	log plain
-rw-r--r--	Notations.v	5896	log plain
-rw-r--r--	Notations2.out	217	log plain
-rw-r--r--	Notations2.v	947	log plain
-rw-r--r--	NumbersSyntax.out	965	log plain
-rw-r--r--	NumbersSyntax.v	1351	log plain
-rw-r--r--	Quote.out	972	log plain
-rw-r--r--	Quote.v	911	log plain
-rw-r--r--	RealSyntax.out	31	log plain
-rw-r--r--	RealSyntax.v	49	log plain
-rw-r--r--	Search.out	1321	log plain
-rw-r--r--	Search.v	143	log plain
-rw-r--r--	SearchPattern.out	1411	log plain
-rw-r--r--	SearchPattern.v	408	log plain
-rw-r--r--	SearchRewrite.out	72	log plain
-rw-r--r--	SearchRewrite.v	118	log plain
-rw-r--r--	Sum.out	99	log plain
-rw-r--r--	Sum.v	93	log plain
-rw-r--r--	Tactics.out	132	log plain
-rw-r--r--	Tactics.v	488	log plain
-rw-r--r--	TranspModtype.out	89	log plain
-rw-r--r--	TranspModtype.v	385	log plain
-rw-r--r--	ZSyntax.out	571	log plain
-rw-r--r--	ZSyntax.v	558	log plain
-rw-r--r--	reduction.out	44	log plain
-rw-r--r--	reduction.v	278	log plain
-rw-r--r--	set.out	315	log plain
-rw-r--r--	set.v	154	log plain
-rw-r--r--	simpl.out	201	log plain
-rw-r--r--	simpl.v	148	log plain