Lintian Fixes - prooftree

• QA Page
• Maintainer email: debian-ocaml-maint@lists.debian.org
• This package is not present in the archive.
• Last processed: 2023-08-14T09:10 (took 33s)
• Branch URL: https://salsa.debian.org/ocaml-team/prooftree.git -b master (taken from version 0.13-3)
• Queue position: 67923 (a 35w3d wait)

Schedule a new run

Recent merge proposals

• https://salsa.debian.org/ocaml-team/prooftree/-/merge_requests/1 (open)

No unpublished successful runs for prooftree.

Historical runs

• nothing-to-do: No changes made
• nothing-new-to-do: No changes made
• success:
• run-disappeared: Worker started processing new run rather than ad2e5b6b-2053-4a80-9c56-273b32bac070
• build-failed: The build failed.
• unable-to-find-upstream-tarball: Unable to find the needed upstream tarball for prooftree, version 5.4.2.