#945 (Jun 17, 2017, 8:26:09 PM)

	Changes adapted to new simp lemmas (detail / hgweb)
	Started by an SCM change
	This run spent: 7.6 sec waiting; 1 hr 32 min build duration; 1 hr 32 min total from scheduled to completion.
	Revision: c910fd3a35ce6ba244ba05c9541c392efc254d58
	Resume build

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