debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Bumped version to 1.9.4.20428	leino	2015-04-29
\|
*	Add z3.exe and z3-license.txt to dafny binary and extension distribution.	qunyanm	2015-04-06
\|
*	Changed version to 1.9.1.11021	leino	2014-10-21
\| \| \| \|	Also include ModelViewer.dll in binary distribution
*	Fix some things due to changes in Boogie (execution engine API, ↵	wuestholz	2013-12-09
\| \| \| \|	'UnivBackPred2.smt2' no longer needed).
*	Fixed build failures due to changes in Boogie.	wuestholz	2013-11-23
\|
*	Fixed typo in build script	Rustan Leino	2013-08-06
\|
*	Updated 'PrepareDafnyZip.bat'.	wuestholz	2013-08-05
\|
*	Bumped version to 1.6.1, to be released as a binary and on rise4fun.	Rustan Leino	2013-03-10
\|
*	Include BVD in build (to copy it into the Dafny\Binaries directory)	Unknown	2012-10-30
	Batch file for producing a binary distributions