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

formula 2.0 single

Formal Specifications for Verification and Synthesis

Name
formula-dotnet-2.0
Package set
top-level
Homepage
https://github.com/VUISIS/formula-dotnet
License
MS-PL
Main program
formula
Source
pkgs/by-name/fo/formula/package.nix:40
Derivation
/nix/store/mcpqk4cgzvhdhyqhwjbahc4640v2x52h-formula-dotnet-2.0.drv
Repology
not reported as outdated · look up (as of 2026-10-07T10:23:38Z)

Maintainers 1

HandleNameContactVia
siraben Siraphob Phipathananunth GitHub · bensiraphob@gmail.com · @siraben:matrix.org listed on package

Dependencies 22

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

Used by 0 directly, 0 transitively

No package depends on this one.