debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Boogie build succeeded	CodeplexBot	2012-05-01
\|
*	Boogie build succeeded, 1 test(s) failed	CodeplexBot	2012-04-29
\|
*	Boogie build succeeded	CodeplexBot	2012-04-28
\|
*	Boogie build succeeded	CodeplexBot	2012-04-18
\|
*	Chalice build succeeded	CodeplexBot	2012-03-26
\|
*	Chalice build succeeded, 73 test(s) failed	CodeplexBot	2012-03-14
\|
*	Boogie build succeeded	CodeplexBot	2012-03-12
\|
*	Boogie build succeeded	CodeplexBot	2012-03-11
\|
*	Boogie build failed	CodeplexBot	2012-03-10
\|
*	Boogie build succeeded	CodeplexBot	2012-03-01
\|
*	Boogie build succeeded	CodeplexBot	2012-02-29
\|
*	Boogie build succeeded	CodeplexBot	2012-02-28
\|
*	Boogie build succeeded	CodeplexBot	2012-02-26
\|
*	Boogie build succeeded	CodeplexBot	2012-02-25
\|
*	Boogie build succeeded	CodeplexBot	2012-02-08
\|
*	Boogie build succeeded	CodeplexBot	2012-01-19
\|
*	Boogie build succeeded, 1 test(s) failed	CodeplexBot	2012-01-18
\|
*	Boogie build succeeded	CodeplexBot	2012-01-11
\|
*	Boogie build failed	CodeplexBot	2012-01-10
\|
*	Boogie build succeeded	CodeplexBot	2012-01-06
\|
*	Boogie build succeeded, 1 test(s) failed	CodeplexBot	2012-01-01
\|
*	Boogie build succeeded, 1 test(s) failed	CodeplexBot	2011-12-31
\|
*	Boogie build succeeded, 1 test(s) failed	CodeplexBot	2011-12-30
\|
*	Boogie build succeeded	CodeplexBot	2011-12-23
\|
*	Boogie build succeeded, 1 test(s) failed	CodeplexBot	2011-12-20
\|
*	Boogie build succeeded	CodeplexBot	2011-12-16
\|
*	Boogie build failed	CodeplexBot	2011-12-16
\|
*	Boogie build succeeded	CodeplexBot	2011-12-08
\|
*	Boogie build succeeded	CodeplexBot	2011-12-07
\|
*	Boogie build succeeded, 1 test(s) failed	CodeplexBot	2011-12-06
\|
*	Boogie build succeeded	CodeplexBot	2011-11-29
\|
*	Boogie build succeeded	CodeplexBot	2011-11-25
\|
*	Boogie build succeeded	CodeplexBot	2011-11-23
\|
*	Boogie build succeeded	CodeplexBot	2011-11-21
\|
*	Boogie build succeeded	CodeplexBot	2011-11-17
\|
*	Boogie build failed	CodeplexBot	2011-11-17
\|
*	Boogie build failed	CodeplexBot	2011-11-16
\|
*	Boogie build succeeded	CodeplexBot	2011-11-12
\|
*	Boogie build succeeded	CodeplexBot	2011-11-01
\|
*	Boogie build succeeded	CodeplexBot	2011-10-28
\|
*	Boogie build succeeded, 28 test(s) failed	CodeplexBot	2011-10-28
\|
*	Boogie build succeeded	CodeplexBot	2011-10-20
\|
*	Boogie build succeeded	CodeplexBot	2011-10-18
\|
*	Boogie build succeeded	CodeplexBot	2011-10-17
\|
*	Boogie build succeeded	CodeplexBot	2011-10-14
\|
*	Boogie build succeeded	CodeplexBot	2011-10-01
\|
*	Boogie build succeeded, 1 test(s) failed	CodeplexBot	2011-09-30
\|
*	Boogie build succeeded	CodeplexBot	2011-09-29
\|
*	Chalice build succeeded	CodeplexBot	2011-09-28
\|
*	Boogie build succeeded	CodeplexBot	2011-09-28
\|