boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1_all.deb


Advertisement

Description

boogie - verifiable programming language (compiler)

Distribution: Debian Sid
Repository: Debian Main amd64
Package name: boogie
Package version: 2.3.0.61016+dfsg+3.gbp1f2d6c1
Package release: 1
Package architecture: all
Package type: deb
Installed size: 42 B
Download size: 15.59 KB
Official Mirror: ftp.br.debian.org
Description: unavailable.

Alternatives

    Download

    Source package: boogie

    Install Howto

    1. Update the package index:
      # sudo apt-get update
    2. Install boogie deb package:
      # sudo apt-get install boogie

    Changelog

    2016-10-29 - Benjamin Barenblat <bbaren@mit.edu> 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).

    2016-06-05 - Benjamin Barenblat <bbaren@mit.edu> boogie (2.3.0.61016+dfsg+2.gbp4108246-1) unstable; urgency=medium ** SNAPSHOT build @41082463d783d6f8d8a5aaf69bf459b57bca6000 ** * New snapshot for Dafny 1.9.7.

    2016-04-01 - Benjamin Barenblat <bbaren@mit.edu> boogie (2.3.0.61016+dfsg+1.gbp64e8b3-1) unstable; urgency=medium ** SNAPSHOT build @64e8b33656140b87137d0662d9e6835e004d13c2 ** * Initial release.

    Advertisement
    Advertisement