#1642 (May 30, 2018, 8:20:09 AM)

	Changes lemma combined_size_bound_integer (detail / hgweb)
	Started by an SCM change
	This run spent: 5.1 sec waiting; 11 min build duration; 12 min total from scheduled to completion.
	Revision: 172cbe38d2f920b45146aa05e2a9e64cccc0b3d3
	Resume build

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