dafny
programming language with program correctness verifier

NEW: Take a look at the new package tracker: tracker.debian.org/pkg/dafny

general

source
dafny (optional, misc)
version
2.3.0+dfsg-0.1
maint
Benjamin Barenblat
std-ver
4.4.1
VCS
Git (browse)

binaries

todo

  • Incorporate and acknowledge the changes from the non maintainer upload.
  • Lintian reports 1 error and 1 warning about this package. You should make the package lintian clean getting rid of them.
  • The package should be updated to follow the last version of Debian Policy (Standards-Version 4.6.2 instead of 4.4.1).

problems

  • There were override disparities found in suite unstable:
    • dafny: Override says devel - optional, .deb says devel - extra
  • 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.
  • The package has a debian/watch file, but the last attempt to use it for checking for newer upstream versions failed with an error:
    In debian/watch no matching files for watch line   https://github.com/dafny-lang/dafny/releases (?:.*?/)?v?(\d[\d.]*)\.tar\.gz

news RSS

bugs

all bug history graph
1
RC
0
I&N
0
M&W
1
F&P
0