New Upstream Snapshot - hol-light

• QA Page
• Maintainer email: debian-ocaml-maint@lists.debian.org
• Branch URL: https://salsa.debian.org/ocaml-team/hol-light.git,branch=master
• Upstream Branch URL: https://github.com/jrh13/hol-light.git/
• Queue position: 102872 (a 49w0d wait)

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

More details

Full run details

Schedule a new run Publish now