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
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 |
Available diffs
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.