Scrub Obsolete - alt-ergo

• QA Page
• Maintainer email: debian-ocaml-maint@lists.debian.org
• This package is not present in the archive.
• Last processed: 2022-04-22T09:56 (took 1m55s)
• Branch URL: https://salsa.debian.org/ocaml-team/alt-ergo.git -b master (taken from version 2.4.2-2)
• Queue position: 140932 (a 60w1d wait)

Schedule a new run

Run locally

More details

Full run details

Historical runs

• unsatisfied-apt-dependencies: Unsatisfied APT dependencies: libpsmt2-frontend-ocaml-dev:amd64
• unable-to-find-upstream-tarball: Unable to find the needed upstream tarball for alt-ergo, version 6.1.32-dfsg.
• run-disappeared: Worker started processing new run rather than c51ebac7-9eee-4d08-98d4-b366893c7141