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


Advertisement

Description

boogie - verifiable programming language (compiler)

Property Value
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 -

Alternatives

Package Version Architecture Repository
boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1_all.deb 2.3.0.61016+dfsg+3.gbp1f2d6c1 all Debian Main
boogie - - -

Requires

Name Value
libboogie-cil = 2.3.0.61016+dfsg+3.gbp1f2d6c1-1
libmono-system-windows-forms4.0-cil >= 1.0
mono-mcs -
mono-runtime >= 3.0~
z3 -

Download

Type URL
Binary Package boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1_all.deb
Source Package boogie

Install Howto

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

Files

Path
/usr/bin/boogie
/usr/bin/bvd
/usr/lib/boogie/BVD.exe
/usr/lib/boogie/Boogie.exe
/usr/share/doc/boogie/README.md
/usr/share/doc/boogie/changelog.Debian.gz
/usr/share/doc/boogie/copyright
/usr/share/man/man1/boogie.1.gz
/usr/share/man/man1/bvd.1.gz

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.

See Also

Package Description
bookletimposer_0.2-5_all.deb PDF imposition toolkit
boolector_1.5.118.6b56be4.121013-1+b1_amd64.deb SMT solver for bit-vectors and arrays
boolstuff-dev_0.1.16-1_amd64.deb library for operating on boolean expression binary trees - devel
boolstuff_0.1.16-1_amd64.deb programs for operating on boolean expression binary trees
boomaga_1.3.0-1_amd64.deb virtual printer for viewing a document before printing
boot-info-script_0.76-3_all.deb inspect boot environment
bootcd_5.13_all.deb run your system from cd without need for disks
bootchart2_0.14.4-3+b1_amd64.deb boot process performance analyser
booth-pacemaker_1.0-7_all.deb Resource agents to integrate booth with Pacemaker
booth_1.0-7_amd64.deb Cluster Ticket Manager
bootlogd_2.88dsf-59.10_amd64.deb daemon to log boot messages
bootp_2.4.3-18+b2_amd64.deb server for the bootp protocol with DHCP support
bootparamd_0.17-9+b2_amd64.deb Boot parameter server
bootpc_0.64-7+b2_amd64.deb bootp client
bootstrap-vz-doc_0.9.11+20180121git-1_all.deb tool for creating Debian images for cloud platforms (Docs)
Advertisement
Advertisement