#1685 (Jun 16, 2018, 11:11:08 AM)

	Changes moved lemmas to distributiuon (detail / hgweb)
	Started by an SCM change
	This run spent: 6.4 sec waiting; 1 hr 48 min build duration; 1 hr 48 min total from scheduled to completion.
	Revision: c1fa5de7890adde0c05ff5fc2bfb82984ccbd62c

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