Scrub Obsolete - cvc4

• QA Page
• Maintainer email: debian-science-maintainers@alioth-lists.debian.net
• Automatic publish policy: main: push-derived , pristine-tar: push-derived , upstream: push-derived
• Last processed: 2023-07-01T17:21 (took 2m16s)
• Branch URL: https://salsa.debian.org/science-team/cvc4.git -b master (taken from version 1.8-3)
• Queue position: 84351 (a 39w6d wait)

Schedule a new run

No unpublished successful runs for cvc4.

Historical runs

• nothing-to-do: No changes made
• nothing-to-do: No changes made