#676 (Jan 10, 2017, 3:57:09 PM)

	Changes added lemma (detail / hgweb)
	Started by an SCM change
	This run spent: 7.2 sec waiting; 31 min build duration; 31 min total from scheduled to completion.
	Revision: b7ecd80022ed62ac189dd59abe5fc6c12ae45364

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #676	( 31 min )	Console Output