CakeML:2e7502a4c471019b8a289239af5b8d7ec34a5960 Merge pull request #661 from CakeML/divord [Jun 30 07:51:58] HOL:27b999029af7e69c3496b29a745728c30561192b Fix regular-play/selftest.sml given testutils changes [Jun 26 01:16:59] Machine:brain09 4.14.127.1.amd64-smp Jun 30 08:06:48 Claimed job