hofs « Test - debian-dafny - Debian packaging for Dafny

Mode	Name	Size
-rw-r--r--	Apply.dfy	659	log plain
-rw-r--r--	Apply.dfy.expect	212	log plain
-rw-r--r--	Classes.dfy	677	log plain
-rw-r--r--	Classes.dfy.expect	281	log plain
-rw-r--r--	Consequence.dfy	159	log plain
-rw-r--r--	Consequence.dfy.expect	61	log plain
-rw-r--r--	Examples.dfy	1142	log plain
-rw-r--r--	Examples.dfy.expect	61	log plain
-rw-r--r--	Field.dfy	338	log plain
-rw-r--r--	Field.dfy.expect	437	log plain
-rw-r--r--	FnRef.dfy	1205	log plain
-rw-r--r--	FnRef.dfy.expect	816	log plain
-rw-r--r--	Frame.dfy	2230	log plain
-rw-r--r--	Frame.dfy.expect	1098	log plain
-rw-r--r--	Lambda.dfy	1271	log plain
-rw-r--r--	Lambda.dfy.expect	464	log plain
-rw-r--r--	LambdaParsefail.dfy	460	log plain
-rw-r--r--	LambdaParsefail.dfy.expect	293	log plain
-rw-r--r--	LambdaParsefail2.dfy	169	log plain
-rw-r--r--	LambdaParsefail2.dfy.expect	152	log plain
-rw-r--r--	Map.dfy	2834	log plain
-rw-r--r--	MutableField.dfy	225	log plain
-rw-r--r--	MutableField.dfy.expect	133	log plain
-rw-r--r--	Naked.dfy	844	log plain
-rw-r--r--	Naked.dfy.expect	1992	log plain
-rw-r--r--	OneShot.dfy	360	log plain
-rw-r--r--	OneShot.dfy.expect	604	log plain
-rw-r--r--	Quant.dfy	2348	log plain
-rw-r--r--	ReadsReads.dfy	966	log plain
-rw-r--r--	ReadsReads.dfy.expect	598	log plain
-rw-r--r--	Renaming.dfy	505	log plain
-rw-r--r--	Renaming.dfy.expect	61	log plain
-rw-r--r--	ResolveError.dfy	836	log plain
-rw-r--r--	ResolveError.dfy.expect	1326	log plain
-rw-r--r--	Simple.dfy	1563	log plain
-rw-r--r--	Simple.dfy.expect	963	log plain
-rw-r--r--	TreeMap.dfy	6404	log plain
-rw-r--r--	TreeMapSimple.dfy	1279	log plain
-rw-r--r--	TreeMapSimple.dfy.expect	61	log plain
-rw-r--r--	Twice.dfy	954	log plain
-rw-r--r--	Twice.dfy.expect	330	log plain
-rw-r--r--	Types.dfy	578	log plain
-rw-r--r--	Types.dfy.expect	335	log plain
-rw-r--r--	WhileLoop.dfy	1073	log plain
-rw-r--r--	WhileLoop.dfy.expect	61	log plain