bullseye-backports - minisat+
The Vcs-* headers in the last upload of this package are still pointing to alioth (https://anonscm.debian.org/git/debian-science/packages/minisat+.git,branch=master) . However, Alioth has been turned off and its repositories are no longer directly accessible.
Please migrate the package to alioth's replacement, salsa and update the Vcs-* headers.