Change logs for dafny source package in Bionic

dafny (1.9.7-1) unstable; urgency=medium

  * New upstream release.

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