boogie (2.4.1+dfsg-0.1) unstable; urgency=medium * Non-maintainer upload. * New upstream release. * Update debian/watch file. * Update debian/copyright: - New upstream license. - Relicense debian/* to match new upstream license (Expat) (see https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=944876#20). - Exclude prebuilt Windows binary from the source tree. * Update licenses in debian/{boogie,bvd}.1. * Change Priority to optional in debian/control. * Upgrade to debhelper compat level 12. * Update build dependencies (Closes: #927171). * Upgrade to Standards-Version 4.4.1. * Fix debian/rules to make the new version build. * Enable autopkgtest package testing, and add mccarthy-{91,92} tests. * Update Vcs-Git and Vcs-Browser fields in debian/control. -- Fabian Wolff Mon, 16 Dec 2019 14:25:20 +0100 boogie (2.3.0.61016+dfsg+3.gbp1f2d6c1-1) unstable; urgency=medium ** SNAPSHOT build @1f2d6c15cc587e9e1b91be70186ee9a26d5e1928 ** * New snapshot for Dafny 1.9.8. * Build-Depend on tzdata (Closes: #839497). -- Benjamin Barenblat Sat, 29 Oct 2016 21:52:24 -0400 boogie (2.3.0.61016+dfsg+2.gbp4108246-1) unstable; urgency=medium ** SNAPSHOT build @41082463d783d6f8d8a5aaf69bf459b57bca6000 ** * New snapshot for Dafny 1.9.7. -- Benjamin Barenblat Sun, 05 Jun 2016 16:02:41 -0400 boogie (2.3.0.61016+dfsg+1.gbp64e8b3-1) unstable; urgency=medium ** SNAPSHOT build @64e8b33656140b87137d0662d9e6835e004d13c2 ** * Initial release. -- Benjamin Barenblat Fri, 01 Apr 2016 16:18:08 -0400