boogie

Boogie 3.5.7 · pkgs/by-name/bo/boogie/package.nix

Health

Risk

risk 9 low

+8 3.5.7 is behind upstream 3.5.8
+1 no versionCheckHook

Version

3.5.7 3.5.8 available

Channels

master 3.5.7 · nixos-unstable 3.5.7 · nixos-26.05 3.5.6 master is ahead of nixos-26.05

Hydra

succeeded 1d ago

Advisories

none open

Packaging

no versionCheckHook

Packagewhat each field means

Description

Intermediate verification language

Long description

Boogie is an intermediate verification language (IVL), intended as a layer on which to build program verifiers for other languages. This derivation may be used as a vim plugin to provide syntax highlighting.

Homepage

https://github.com/boogie-org/boogie

Changelog

https://github.com/boogie-org/boogie/releases/tag/v3.5.7

License

MIT

Platforms

3 platforms: Linux, Darwin

Main program

boogie

Source provenance

not set: built from source

Outputs

out

Status

not broken, not insecure, free

Position

pkgs/by-name/bo/boogie/package.nix:56

Maintainers

taktoa

Version bumps 1

all open bumps

boogie: 3.5.7 -> 3.5.8

#570331 by r-ryantm · opened 2w ago · checks pass

Pull requests 3

boogie: 3.5.7 -> 3.5.8

#570331 by r-ryantm · opened 2w ago · checks pass

buildDotnetModule: disallow using SelfContained on solutions

#500563 by js6pak · opened 7mo ago

draft: treewide: dotnet reorg: dotnet-sdk -> dotnet draft

#286134 by corngood · opened 2y ago

Closed or merged in the last 60 days 1

boogie: 3.5.6 -> 3.5.7

#546553 by r-ryantm · merged 2mo ago

Issues 0

None open.