#1415 (Feb 22, 2018, 8:08:11 PM)

	Changes merged (detail / hgweb) moved auxiliary lemmas (detail / hgweb)
	Started by an SCM change
	This run spent: 7.1 sec waiting; 3 hr 17 min build duration; 3 hr 17 min total from scheduled to completion.
	Revision: d961a099a3fadb035d0c1ac0a8daec150abad76d

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #1415	( 1 hr 44 min )	Console Output