debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Removed Dafny, Jennisys, Chalice, and BCT, which now live in different ↵	Rustan Leino	2013-03-05
\| \| \| \|	Codeplex repositories.
*	Ignore TPTP dlls	MichalMoskal	2011-01-19
\|
*	More BCT ignores	MichalMoskal	2010-12-10
\|
*	Ignore some BCT files	MichalMoskal	2010-12-10
\|
*	Rename BVD binary to (suprise!) BVD	MichalMoskal	2010-12-08
\|
*	Remove FSharp DLLs (no longer needed) and obsolete Makefile	MichalMoskal	2010-12-06
\|
*	Ignore more generated files.	MichalMoskal	2010-12-02
\|
*	Put Model.cs in separate assembly. Fix signing/versioning with it.	MichalMoskal	2010-10-12
\|
*	Make the -mv option use the new Model class.	MichalMoskal	2010-10-12
\|
*	Add one more file	MichalMoskal	2010-10-07
\|
*	Update to include all build artifacts, also from Dafny	MichalMoskal	2010-10-07
\|
*	Addint ignore file for GIT	stobies	2010-08-27