Ubuntu
boogie package

boogie 2.4.1+dfsg-0.1 source package in Ubuntu

Changelog

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 <email address hidden>  Mon, 16 Dec 2019 14:25:20 +0100

Upload details

Uploaded by:
Benjamin Barenblat
Uploaded to:
Sid
Original maintainer:
Benjamin Barenblat
Architectures:
all
Section:
misc
Urgency:
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

Builds

Focal: [FULLYBUILT] amd64

Downloads

File Size SHA-256 Checksum
boogie_2.4.1+dfsg-0.1.dsc 1.9 KiB 1d5b6e8701b81ca1b22259daaa1b16728de18d5b99c7122c434fbc0d7765853c
boogie_2.4.1+dfsg.orig.tar.xz 1.1 MiB 863dbb07fa71e2fdc117f87dac8193dc438ef8aaa9940379e21738ef86c9f077
boogie_2.4.1+dfsg-0.1.debian.tar.xz 8.9 KiB 3cd9c617d78183b42bacc3a3e40c1c6bbf1eb8ff37d07aa0f84466410b2a4ea9

No changes file available.

Binary packages built by this source

boogie: verifiable programming language (compiler)

 Boogie is a compiler intermediate language with support for automatic invariant
 checking using an SMT solver such as Z3. It supports program verification for
 a variety of other, higher-level languages, including Spec\#, C, Dafny, and
 Chalice.
 .
 This package contains the Boogie compiler, as well as bvd, the Boogie
 Verification Debugger.

libboogie-cil: verifiable programming language (library)

 Boogie is a compiler intermediate language with support for automatic invariant
 checking using an SMT solver such as Z3. It supports program verification for
 a variety of other, higher-level languages, including Spec\#, C, Dafny, and
 Chalice.
 .
 This package contains the Boogie library.