#1381 (Feb 2, 2018, 4:56:09 PM)

	Changes extract lemma (detail / hgweb)
	Started by an SCM change
	This run spent: 5.6 sec waiting; 4 min 38 sec build duration; 4 min 43 sec total from scheduled to completion.
	Revision: d5fabf1037f874307e3e1642a4c0a657aaa8e249

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