UbuntuUpdates.org

Package "libboogie-cil"

Name: libboogie-cil

Description:

verifiable programming language (library)

Latest version: 2.3.0.61016+dfsg+3.gbp1f2d6c1-1
Release: bionic (18.04)
Level: base
Repository: universe
Homepage: http://research.microsoft.com/en-us/projects/boogie/

Links


Download "libboogie-cil"


Other versions of "libboogie-cil" in Bionic

No other version of this package is available in the Bionic release.

Changelog

There is no recent update for this package.



About   -   Send Feedback to @ubuntu_updates