Test - debian-boogie - Debian packaging for Boogie

Mode	Name	Size
d---------	AbsHoudini	2543	log plain
-rw-r--r--	README.md	5322	log plain
d---------	aitest0	263	log plain
d---------	aitest1	1010	log plain
d---------	aitest9	196	log plain
d---------	bitvectors	932	log plain
d---------	civl	3774	log plain
-rwxr-xr-x	clean.py	1079	log plain
d---------	codeexpr	360	log plain
d---------	commandline	572	log plain
d---------	datatypes	225	log plain
d---------	doomed	238	log plain
d---------	extractloops	686	log plain
d---------	floats	1085	log plain
d---------	forro	39	log plain
d---------	generalizedarray	79	log plain
d---------	havoc0	358	log plain
d---------	houdini	1964	log plain
d---------	inline	1417	log plain
d---------	linear	648	log plain
-rw-r--r--	lit.site.cfg	4859	log plain
d---------	livevars	654	log plain
d---------	lock	176	log plain
d---------	optimization	429	log plain
d---------	prover	238	log plain
-rw-r--r--	pydiff.py	3628	log plain
d---------	secure	210	log plain
d---------	smoke	83	log plain
d---------	snapshots	4535	log plain
d---------	stratifiedinline	1037	log plain
d---------	symdiff	77	log plain
d---------	test0	2620	log plain
d---------	test1	1785	log plain
d---------	test13	137	log plain
d---------	test15	487	log plain
d---------	test16	195	log plain
d---------	test17	199	log plain
d---------	test2	3774	log plain
d---------	test20	1794	log plain
d---------	test21	7863	log plain
d---------	test7	546	log plain
d---------	textbook	611	log plain
d---------	unnecessaryassumes	218	log plain
d---------	z3api	1500	log plain