Job 2185

CakeML:70c9116352cfd04905fbfb3bd8726ca1aaec0f1d
  fix Holmakefile [Aug 16 02:50:12]
#967 (lpr_arm8)
Merging into:5c1bae6b33cf93343962f658faefefee12f74a9c
  Merge pull request #965 from CakeML/explorer [Aug 10 04:53:38]
HOL:357d6c43687341407aee3390b69b4f1a7ef5cf57
  Modernise some ratScript.sml syntax [Aug 15 05:20:32]
Machine:pavlova

Aug 18 06:35:05 Claimed job