Publishing details

• Published on 2017-10-24
• Copied from debian sid in Primary Archive for Debian GNU/Linux

Changelog

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 <email address hidden>  Sat, 29 Oct 2016 21:52:24 -0400

Builds

Built packages

• boogie verifiable programming language (compiler)

• libboogie-cil verifiable programming language (library)

Package files

• boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1.debian.tar.xz (8.5 KiB)
• boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1.dsc (1.8 KiB)
• boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1_all.deb (13.6 KiB)
• boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1.orig.tar.gz (1.8 MiB)
• libboogie-cil_2.3.0.61016+dfsg+3.gbp1f2d6c1-1_all.deb (545.8 KiB)