Job 1601

CakeML:e7a5c005596708fcf02ba333f849a5ae1eefdf8a
  Merge pull request #839 from CakeML/lpr_transform [Oct 03 11:04:50]
HOL:109bb797367d22a4178d8009554291248f170c63
  More fiddling with holfoot Holmakefiles to get deps right [Oct 12 10:05:04]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Oct 18 08:20:21 Claimed job
Oct 18 08:20:29 Reusing HOL
Oct 18 08:20:39 Starting developers
Oct 18 08:20:39 Finished developers                                               0s  35MB
Oct 18 08:20:39 Starting developers/bin
Oct 18 08:20:46 Finished developers/bin                                           6s   1GB
Oct 18 08:20:46 Starting semantics/ffi Oct 18 08:20:46 8s