#1480 (Apr 6, 2018, 4:26:10 PM)

	Changes Added a lemma to Landau_Symbols (detail / hgweb)
	Started by an SCM change
	This run spent: 7 sec waiting; 9 min 22 sec build duration; 9 min 29 sec total from scheduled to completion.
	Revision: 6c7328a7eef2b718611ed8f1d3782cefa47da43d

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #1480	( 8 min 55 sec )	Console Output