debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Boogie build succeeded	codeplexbot	2010-08-20
\|
*	Boogie build succeeded	codeplexbot	2010-08-19
\|
*	Boogie build succeeded	codeplexbot	2010-08-17
\|
*	Boogie build succeeded	codeplexbot	2010-08-14
\|
*	Boogie build succeeded, 1 test(s) failed	codeplexbot	2010-08-13
\|
*	Boogie build succeeded, 1 test(s) failed	codeplexbot	2010-08-12
\|
*	Boogie build succeeded, 1 test(s) failed	codeplexbot	2010-08-10
\|
*	Boogie build succeeded, 1 test(s) failed	codeplexbot	2010-08-08
\|
*	Boogie build succeeded	codeplexbot	2010-08-05
\|
*	Boogie build succeeded	codeplexbot	2010-08-04
\|
*	Boogie build succeeded	codeplexbot	2010-07-31
\|
*	Boogie build failed	codeplexbot	2010-07-29
\|
*	Boogie build failed	codeplexbot	2010-07-28
\|
*	Boogie build failed	codeplexbot	2010-07-24
\|
*	Boogie build succeeded	codeplexbot	2010-07-23
\|
*	Boogie build succeeded, 25 test(s) failed	codeplexbot	2010-07-22
\|
*	Boogie build succeeded, 25 test(s) failed	codeplexbot	2010-07-22
\|
*	Boogie build failed	codeplexbot	2010-07-21
\|
*	Boogie build succeeded	codeplexbot	2010-07-20
\|
*	Boogie build succeeded	codeplexbot	2010-07-17
\|
*	Boogie build failed	codeplexbot	2010-07-16
\|
*	[Aste] Success: Committing summary due to changes.	codeplexbot	2010-07-10
\|
*	[Aste] Success: Committing summary due to changes.	codeplexbot	2010-07-07
\|
*	[Aste] Success: Committing summary due to changes.	codeplexbot	2010-07-06
\|
*	[Aste] Added summary.log	codeplexbot	2010-07-06