New Upstream Release - cbmc

• QA Page
• Maintainer email: mt@debian.org
• Automatic publish policy: main: push-derived , pristine-tar: push-derived , upstream: push-derived
• Last processed: 2023-05-28T00:30 (took 0s)
• Queue position: 100799 (a 45w2d 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 package.
• not-in-vcs: No VCS URL known for package.