Format: 1.8
Date: Mon, 16 Dec 2019 14:25:20 +0100
Source: boogie
Binary: boogie libboogie-cil
Architecture: all
Version: 2.4.1+dfsg-0.1
Distribution: focal-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lgw01-amd64-042.buildd>
Changed-By: Fabian Wolff <fabi.wolff@arcor.de>
Description:
 boogie     - verifiable programming language (compiler)
 libboogie-cil - verifiable programming language (library)
Closes: 927171
Changes:
 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.
Checksums-Sha1:
 4580c7e3947fd327fe8c2b26bcd4736635a2030a 14000 boogie_2.4.1+dfsg-0.1_all.deb
 cdc005bdc1ccebafe84f5872f22f22df4c7bdc79 15668 boogie_2.4.1+dfsg-0.1_amd64.buildinfo
 f74277a548a8941905c9358461e2fc28c61e451e 586956 libboogie-cil_2.4.1+dfsg-0.1_all.deb
Checksums-Sha256:
 b7326f6fa285fc5b10f698147b7dc6b0126719b85337dd6f9f81b47d8c087d5b 14000 boogie_2.4.1+dfsg-0.1_all.deb
 92e55fded31e31cf4c33d53cfd1b9857f3163ab0120f295ba520495cf6dd1cba 15668 boogie_2.4.1+dfsg-0.1_amd64.buildinfo
 932b31f9c26c7f93ab2c71dbefd95b984fe2b0ed8c506d32c1edd0e8cd2a4a3b 586956 libboogie-cil_2.4.1+dfsg-0.1_all.deb
Files:
 d982adfbe351b70b92d911e68765c6d0 14000 cli-mono optional boogie_2.4.1+dfsg-0.1_all.deb
 85b005db4fe877050abe0784c29c43d5 15668 cli-mono optional boogie_2.4.1+dfsg-0.1_amd64.buildinfo
 9ac5610b4acae93b4385a031079a48de 586956 cli-mono optional libboogie-cil_2.4.1+dfsg-0.1_all.deb