Problems while searching for a new upstream version
high
uscan had problems while searching for a new upstream version:
uscan returned an empty output
Standards version of the package is outdated.
high
The package is severely out of date with respect to the Debian Policy.The package should be updated to follow the last version of Debian Policy
(Standards-Version 4.3.0 instead of
3.9.8).
The package has not entered testing even though the delay is over
normal
The package has not entered testing even though the 10-day delay is over.Check why.
Depends on packages which need a new maintainer
normal
The packages that dafny depends on which need a new maintainer are:
The current maintainer is looking for someone who can take over
maintenance of this package. If you are interested in this
package, please consider taking it over. Alternatively you may
want to be co-maintainer in order to help the actual
maintainer. Please see bug number #903143 for more information.
![[bug history graph]](https://qa.debian.org/data/bts/graphs/d/dafny.png){kind=link}