#1463 (Mar 28, 2018, 3:50:13 PM)

	Changes More lemmas on Landau symbols (detail / hgweb)
	Started by an SCM change
	This run spent: 9.1 sec waiting; 9 min 40 sec build duration; 9 min 49 sec total from scheduled to completion.
	Revision: c4818b0d24115a3800bcd77b185db943a3113b31

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #1463	( 9 min 2 sec )	Console Output