Lintian Fixes - prooftree
Recent merge proposals
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.