New Upstream Snapshot - hol-light

• QA Page
• Maintainer email: debian-ocaml-maint@lists.debian.org
• Automatic publish policy: main: push-derived , pristine-tar: push-derived , upstream: push-derived
• Last processed: 2022-06-15T03:25 (took 1h25m)
• Branch URL: https://salsa.debian.org/ocaml-team/hol-light.git -b master (taken from version 20231021-1)
• Queue position: 252185 (a 282w4d wait)

Schedule a new run

More details

Full run details

Historical runs

• missing-build-file: Missing build file: pa_j_3.1x_8.xx.ml
• missing-build-file: Missing build file: pa_j_3.1x_8.xx.ml
• worker-timeout: No keepalives received in 10:02:31.652891.
• missing-build-file: Missing build file: pa_j_3.1x_8.xx.ml
• command-failed: Command 'SCHROOT=unstable-amd64-sbuild PYTHONPATH=/:/code:/code/breezy:/code/dulwich:/code/lintian-brush:/code/ognibuild:/code/silver-platter:/code/buildlog-consultant:/code/upstream-ontologist:/code/debmutate:/code/python-debian/lib:/usr/lib/python39.zip:/usr/lib/python3.9:/usr/lib/python3.9/lib-dynload:/usr/local/lib/python3.9/dist-packages:/usr/lib/python3/dist-packages /usr/bin/python3 -m janitor.dist --packaging=/tmp/janitorogjafdd1/hol-light/debian' returned non-zero exit status 1.