debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Boogie build succeeded	CodeplexBot	2012-08-22
\|
*	Boogie build succeeded	CodeplexBot	2012-08-15
\|
*	Boogie build succeeded, 3 test(s) failed	CodeplexBot	2012-08-04
\|
*	Boogie build succeeded	CodeplexBot	2012-07-10
\|
*	Boogie build succeeded	CodeplexBot	2012-07-01
\|
*	Chalice build succeeded	CodeplexBot	2012-06-30
\|
*	Boogie build succeeded, 1 test(s) failed	CodeplexBot	2012-06-28
\|
*	Boogie build succeeded	CodeplexBot	2012-06-23
\|
*	Boogie build succeeded, 1 test(s) failed	CodeplexBot	2012-06-21
\|
*	Chalice build succeeded	CodeplexBot	2012-06-08
\|
*	Boogie build succeeded	CodeplexBot	2012-06-08
\|
*	Chalice build succeeded	CodeplexBot	2012-06-04
\|
*	Boogie build succeeded	CodeplexBot	2012-06-02
\|
*	Boogie build succeeded	CodeplexBot	2012-05-30
\|
*	Boogie build succeeded	CodeplexBot	2012-05-29
\|
*	Boogie build succeeded	CodeplexBot	2012-05-26
\|
*	Chalice build succeeded	CodeplexBot	2012-05-25
\|
*	Chalice build succeeded, 1 test(s) failed	CodeplexBot	2012-05-22
\|
*	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
\|