Job 2475

CakeML:dc4cb57dc61faa9076884dcc7dbe95db8bf24613
  Fix cv translation of source_let [Jul 19 09:33:43]
#1014 (source_let-fix)
Merging into:6cdeb10d4b89bd7583574cdfb1d7a3c11bf8f52d
  Adjust translations of toSortedAList [Jul 19 09:41:46]
HOL:c37de731916a5fe5fdc6218d4b2e19234435e4ce
  Add lots of regexp matching regression tests for DBSearchParser [Jul 15 06:13:45]
Machine:lammmington

Jul 20 21:14:06 Claimed job