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 15 warnings 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.5.1 instead of 4.4.1).
  • A new upstream version is available: 3.1.0, you should consider packaging it.

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.

news RSS

bugs

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