New Upstream Snapshot - hol-light

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

Resulting package

Changes filename: hol-light_20190729+git20191013.d81588f-1~jan+nus1_amd64.changes

Built on 2019-10-14T04:24 (took 11m0s)

The resulting binary packages can be installed (if you have the apt repository enabled) by running one of:

apt install -t fresh-snapshots hol-light

More details

Full run details