Publishing details

• Published on 2017-10-24
• Copied from debian sid in Primary Archive for Debian GNU/Linux

Changelog

dafny (1.9.7-1) unstable; urgency=medium

  * New upstream release.

 -- Benjamin Barenblat <email address hidden>  Sun, 05 Jun 2016 17:10:37 -0400

Builds

Built packages

• dafny programming language with program correctness verifier

Package files

• dafny_1.9.7-1.debian.tar.xz (10.3 KiB)
• dafny_1.9.7-1.dsc (1.5 KiB)
• dafny_1.9.7-1_all.deb (837.6 KiB)
• dafny_1.9.7.orig.tar.gz (6.1 MiB)