#760 (Mar 8, 2017, 5:35:10 PM)

	Changes added lemma (detail / hgweb)
	Started by an SCM change
	This run spent: 7.8 sec waiting; 5 min 17 sec build duration; 5 min 25 sec total from scheduled to completion.
	Revision: 7cc5c435a7a587996e1d69bcd30dfcf7a08d6b4a

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #760	( 4 min 57 sec )	Console Output