New Upstream Snapshot - hol-light

Merged new upstream version: 20190729+git20191013.d81588f (was: 20190729).

More details

Full run details