#1494 (Apr 11, 2018, 5:26:13 PM)

	Changes added deterministic büchi automata (detail / hgweb)
	Started by an SCM change
	This run spent: 9.6 sec waiting; 9 min 2 sec build duration; 9 min 12 sec total from scheduled to completion.
	Revision: 70a7332b71dc099d2f10bc4b146d2efd8fb9d107
	Resume build

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