Multiarch Fixes - proofgeneral

• QA Page
• Maintainer email: team+math@tracker.debian.org
• Automatic publish policy: main: push-derived , pristine-tar: push-derived , upstream: push-derived
• Last processed: 2023-09-10T08:32 (took 0s)
• Queue position: 60549 (a 34w2d wait)

More details

Full run details

Historical runs

• not-in-vcs: No VCS URL known for codebase.
• not-in-vcs: No VCS URL known for codebase.
• not-in-vcs: No VCS URL known for package.
• not-in-vcs: No VCS URL known for package.
• not-in-vcs: No VCS URL known for package.