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

dafny 4.11.0 single

Programming language with built-in specification constructs

Name
Dafny-4.11.0
Package set
top-level
Homepage
https://research.microsoft.com/dafny
License
MIT
Source
pkgs/by-name/da/dafny/package.nix:98
Derivation
/nix/store/alk44i0p82ds7m49iwabsragvjv2zlw7-Dafny-4.11.0.drv
Repology
not reported as outdated · look up (as of 2026-10-07T10:23:38Z)

Maintainers 1

HandleNameContactVia
layus Guillaume Maudoux GitHub · layus.on@gmail.com listed on package

Dependencies 24

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
jdk11 11.0.32.1+1 nativeBuildInputs
chayleaf, FliegendeWurst, Infinidoge, msgilligan, tomodachi94
 34 maintained
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.