Skip to content
Started 8 yr 4 mo ago
Took 3 min 32 sec on built-in
Failed

#63 (Feb 17, 2016, 3:47:11 PM)

Changes
  1. regenerate with isabelle/ (detail / hgweb)

Started by an SCM change

Revision: 123d7cbae5492a5e61d2abecab11a245c8127129
Resume build
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #63( 3 min 20 sec )Console Output