Job 350

CakeML:36fa4033e24aeaf59f736a5b51247282a33a5948
  Clean out various cruft [Jul 02 18:08:12]
#496 (divsem)
Merging into:b289303609aa9526ba291ecba92f558f8f506000
  Replace polyc call with $(POLYC) [Jun 19 11:03:42]
HOL:8e425b7beb933b64bc62ab2a6b168eef4ef378b2
  build sequence: removing ocaml [Jul 02 19:42:40]
Machine:oven1 4.15.9-300.fc27.x86_64 x86_64 GNU/Linux

Jul 03 08:45:47 Claimed job
Jul 03 08:46:15 Building HOL