New Upstream Release - cryptominisat

• QA Page
• Maintainer email: debian-science-maintainers@lists.alioth.debian.org
• Automatic publish policy: main: push-derived , pristine-tar: push-derived , upstream: push-derived
• Last processed: 2022-10-03T09:15 (took 9m8s)
• Branch URL: https://salsa.debian.org/science-team/cryptominisat.git -b master (taken from version 5.11.15+dfsg1-1.1)
• Queue position: 239068 (a 246w2d wait)

Schedule a new run

No unpublished successful runs for cryptominisat.

Historical runs

• nothing-to-do: Last upstream version 5.11.2 already imported.