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)

versions ... ...pool

oldstable
save 2.3.0+dfsg-0.1
stable
save 2.3.0+dfsg-0.1
unstable
save 2.3.0+dfsg-0.1
Ubuntu
2.3.0+dfsg-0.1

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

links

patches

Debian
2.3.0+dfsg-0.1 2.3.0+dfsg-0.1 2.3.0+dfsg-0.1

subscribe to this package (docs)

Debian Package Tracking System - Copyright © 2002-2014 Raphaël Hertzog, Stefano Zacchiroli and others.
Report problems to the qa.debian.org pseudopackage in the Debian BTS.
git revision 537db4c | Checkout or browse git repository
Last modified: 2024-01-06T04:39:11+00:00.