debian-boogie - Debian packaging for Boogie

Mode	Name	Size
-rw-r--r--	.gitignore	463	log plain
-rw-r--r--	.travis.yml	973	log plain
d---------	Binaries	102	log plain
d---------	Build	154	log plain
-rw-r--r--	LICENSE.txt	2630	log plain
-rw-r--r--	README.md	3340	log plain
d---------	Source	949	log plain
d---------	Test	1376	log plain
d---------	Util	217	log plain
-rw-r--r--	float_test.bpl	321	log plain
-rw-r--r--	float_test10.bpl	334	log plain
-rw-r--r--	float_test11.bpl	1127	log plain
-rw-r--r--	float_test12.bpl	719	log plain
-rw-r--r--	float_test13.bpl	466	log plain
-rw-r--r--	float_test14.bpl	557	log plain
-rw-r--r--	float_test15.bpl	532	log plain
-rw-r--r--	float_test16.bpl	163	log plain
-rw-r--r--	float_test17.bpl	305	log plain
-rw-r--r--	float_test18.bpl	589	log plain
-rw-r--r--	float_test19.bpl	596	log plain
-rw-r--r--	float_test2.bpl	454	log plain
-rw-r--r--	float_test20.bpl	429	log plain
-rw-r--r--	float_test3.bpl	301	log plain
-rw-r--r--	float_test4.bpl	742	log plain
-rw-r--r--	float_test5.bpl	694	log plain
-rw-r--r--	float_test6.bpl	819	log plain
-rw-r--r--	float_test7.bpl	586	log plain
-rw-r--r--	float_test8.bpl	574	log plain
-rw-r--r--	float_test9.bpl	496	log plain
-rw-r--r--	fp_documentation.txt	3141	log plain