Nixhub.io

dotnetPackages.Boogie

An intermediate verification language

devbox add dotnetPackages.Boogie@latest
Tips

Install the package with Nix (specific nixpkg reference shown below).

Not a Nix expert? Download the Devbox CLI and install via `devbox add dotnetPackages.Boogie@latest`.

  1. Version
    2.15.7

    Available on Linux and macOS

    Nixpkgs Reference

    7d0ed7f2e5aea07ab22ccb338d27fbe347ed2f11#dotnetPackages.Boogie

    Install with Devbox

    devbox add dotnetPackages.Boogie@2.15.7
    Last updated

  2. Version
    2.4.1

    Available on Linux and macOS

    Nixpkgs Reference

    72bbea9db7d727ed044e60b5f5febc60a3c5c955#dotnetPackages.Boogie

    Install with Devbox

    devbox add dotnetPackages.Boogie@2.4.1
    Last updated

  3. Version
    2019-06-20

    Available on Linux

    Nixpkgs Reference

    7ad5e816faba3f808e2a8815b14d0f023a4e2160#dotnetPackages.Boogie

    Install with Devbox

    devbox add dotnetPackages.Boogie@2019-06-20
    Last updated