x86_64-linux · 151fa4e8ddfd · generated 2026-10-07T10:25:31Z

boogie 3.5.7 single outdated

Intermediate verification language

Name
Boogie-3.5.7
Package set
top-level
Homepage
https://github.com/boogie-org/boogie
License
MIT
Main program
boogie
Source
pkgs/by-name/bo/boogie/package.nix:56
Derivation
/nix/store/5k0s8i2b30k8v0q28gxanx6b4ynavw18-Boogie-3.5.7.drv
Repology
outdated, newest version is 3.5.8 · boogie (as of 2026-10-07T10:23:38Z)
Also available as
dotnetPackages.Boogie

Maintainers 1

HandleNameContactVia
taktoa Remy Goldschmidt GitHub · taktoa@gmail.com · @taktoa:matrix.org listed on package

Dependencies 23

PackageAsMaintainersUsed by (transitive)Status
dotnetCorePackages.dotnet_8.packages.Microsoft-AspNetCore-App-Ref 8.0.31 buildInputs
95 unmaintained
dotnetCorePackages.dotnet_8.packages.Microsoft-AspNetCore-App-Runtime-linux-x64 8.0.31 buildInputs
95 unmaintained
dotnetCorePackages.dotnet_8.packages.Microsoft-DotNet-ILCompiler 8.0.31 buildInputs
95 unmaintained
dotnetCorePackages.dotnet_8.packages.Microsoft-NET-ILLink-Tasks 8.0.31 buildInputs
95 unmaintained
dotnetCorePackages.dotnet_8.packages.Microsoft-NETCore-App-Crossgen2-linux-x64 8.0.31 buildInputs
95 unmaintained
dotnetCorePackages.dotnet_8.packages.Microsoft-NETCore-App-Host-linux-x64 8.0.31 buildInputs
95 unmaintained
dotnetCorePackages.dotnet_8.packages.Microsoft-NETCore-App-Ref 8.0.31 buildInputs
95 unmaintained
dotnetCorePackages.dotnet_8.packages.Microsoft-NETCore-App-Runtime-linux-x64 8.0.31 buildInputs
95 unmaintained
dotnetCorePackages.dotnet_8.packages.Microsoft-NETCore-DotNetAppHost 8.0.31 buildInputs
95 unmaintained
dotnetCorePackages.dotnet_8.packages.Microsoft-NETCore-DotNetHost 8.0.31 buildInputs
95 unmaintained
dotnetCorePackages.dotnet_8.packages.Microsoft-NETCore-DotNetHostPolicy 8.0.31 buildInputs
95 unmaintained
dotnetCorePackages.dotnet_8.packages.Microsoft-NETCore-DotNetHostResolver 8.0.31 buildInputs
95 unmaintained
dotnetCorePackages.dotnet_8.packages.runtime-linux-x64-Microsoft-NETCore-DotNetAppHost 8.0.31 buildInputs
95 unmaintained
dotnetCorePackages.dotnet_8.packages.runtime-linux-x64-Microsoft-NETCore-DotNetHost 8.0.31 buildInputs
95 unmaintained
dotnetCorePackages.dotnet_8.packages.runtime-linux-x64-Microsoft-NETCore-DotNetHostPolicy 8.0.31 buildInputs
95 unmaintained
dotnetCorePackages.dotnet_8.packages.runtime-linux-x64-Microsoft-NETCore-DotNetHostResolver 8.0.31 buildInputs
95 unmaintained
cacert 3.126 nativeBuildInputs
andir, balsoft, fpletz, lukegb, pyrox0
 47,701 maintained outdated
dotnet-sdk 8.0.425 nativeBuildInputs
corngood
 96 single
makeWrapper 26.05pre-git nativeBuildInputs
76,854 unmaintained setup hook
bashNonInteractive 5.3p15 other input
andir, balsoft, infinisil, pyrox0
 102,441 maintained outdated
icu 78.3 other input
7c6f434c
 26,399 single
stdenvNoCC 26.05pre-git other input
93,950 team-only
z3 5.1.0 other input
numinit, thoughtpolice
 114 maintained

Used by 0 directly, 0 transitively

No package depends on this one.