Ubuntu

boogie binary package in Ubuntu Focal amd64

  1. Focal (20.04)
  2. amd64
  3. boogie

 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.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2019-12-28 07:43:12 UTC Published Ubuntu Focal amd64 release universe cli-mono Extra 2.4.1+dfsg-0.1
  • Published
  • Copied from ubuntu focal-proposed amd64 in Primary Archive for Ubuntu
  Deleted Ubuntu Focal amd64 proposed universe cli-mono Extra 2.4.1+dfsg-0.1
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to Release

  • Published
  2019-12-28 07:43:17 UTC Superseded Ubuntu Focal amd64 release universe cli-mono Extra 2.3.0.61016+dfsg+3.gbp1f2d6c1-1
  • Removal requested .
  • Superseded by amd64 build of boogie 2.4.1+dfsg-0.1 in ubuntu focal PROPOSED
  • Published
  • Copied from ubuntu zesty-proposed amd64 in Primary Archive for Ubuntu

Source package