Skip to content
Started 8 yr 3 mo ago
Took 2 hr 43 min on built-in
Failed

#103 (Mar 4, 2016, 9:38:12 PM)

Changes
  1. simplified proofs (detail / hgweb)

Started by an SCM change

Revision: 7a72fd8ce2ff251d9d2b432721c7df63ec6ab4bc
Resume build
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #103( 2 hr 43 min )Console Output