general
- source
- dafny (optional, misc)
- version
- 2.3.0+dfsg-0.1
- maint
- Benjamin Barenblat
- std-ver
- 4.4.1
- VCS
- Git (browse)
todo
- Incorporate and acknowledge the changes from the non maintainer upload.
- The package should be updated to follow the last version of Debian Policy (Standards-Version 4.6.0 instead of 4.4.1).
- A new upstream version is available: 3.3.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
- [2020-01-22] dafny 2.3.0+dfsg-0.1 MIGRATED to testing (Britney)
- [2020-01-20] Accepted 2.3.0+dfsg-0.1 in unstable (medium) (Fabian Wolff)
- [2017-04-11] dafny REMOVED from testing (Britney)
- [2016-12-29] dafny 1.9.7-1 MIGRATED to testing (Britney)
- [2016-10-31] dafny REMOVED from testing (Britney)
- [2016-07-26] dafny 1.9.7-1 MIGRATED to testing (Britney)
- [2016-06-30] dafny REMOVED from testing (Britney)
- [2016-06-11] dafny 1.9.7-1 MIGRATED to testing (Britney)
- [2016-06-05] Accepted 1.9.7-1 in unstable (medium) (Benjamin Barenblat)
- [2016-04-13] dafny 1.9.5-1 MIGRATED to testing (Britney)
- [2016-04-07] Accepted 1.9.5-1 in unstable (medium) (Benjamin Barenblat)
