dafny 2.3.0+dfsg-0.1 source package in Ubuntu


dafny (2.3.0+dfsg-0.1) unstable; urgency=medium

  * Non-maintainer upload.
  * New upstream release.
  * Update watch file.
  * Upgrade to debhelper compat level 12.
  * Upgrade to Standards-Version 4.4.1.
  * Change Priority from extra to optional in debian/control.
  * Make the package build again (Closes: #852645, #934950).
  * Enable autopkgtest package testing and add ackermann-{pos,neg} tests.
  * Update debian/copyright.
  * Update patch use_system_z3.diff.
  * Add Vcs-Git and Vcs-Browser fields in debian/control.

 -- Fabian Wolff <email address hidden>  Tue, 14 Jan 2020 21:27:14 +0100

Upload details

Uploaded by:
Benjamin Barenblat
Uploaded to:
Original maintainer:
Benjamin Barenblat
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Oracular release universe misc
Noble release universe misc
Mantic release universe misc
Lunar release universe misc
Jammy release universe misc
Focal release universe misc


Focal: [FULLYBUILT] amd64


File Size SHA-256 Checksum
dafny_2.3.0+dfsg-0.1.dsc 1.9 KiB 28566acdf347e815f57295eb2f08c2fd3db001aeac8cf1f6eef7e3a44a890880
dafny_2.3.0+dfsg.orig.tar.xz 2.1 MiB 239664cd32619a6fe3f4c5695d7f82015d430eefceaa524846566ef80c93a50d
dafny_2.3.0+dfsg-0.1.debian.tar.xz 10.2 KiB 3ef40a8130cc1772871e56a335311a2e8407a86da4cab82b660d300ef17f1839

Available diffs

No changes file available.

Binary packages built by this source

dafny: programming language with program correctness verifier

 Dafny is a programming language with a program verifier. The verifier
 processes function preconditions, postconditions, and assertions, and sends
 them to an SMT solver for checking. In this way, assertion failures become
 compiler errors, rather than runtime ones.