net8.0
Package Description
Published
May 16, 2026
5mo ago
Total Downloads
397.0K
396,999
Install
dotnet add package DafnyLanguageServer --version 4.11.1-nightly-2026-05-16-7c0fd13
| Product | Versions |
|---|---|
| .NET |
README
Changes from Previous Version
v4.11.1-nightly-2026-05-14-7c0fd13v4.11.1-nightly-2026-05-16-7c0fd13
Added Frameworks
net8.0
Added Dependencies
DafnyCore(net8.0)
Microsoft.Extensions.Logging(net8.0)
Newtonsoft.Json(net8.0)
RangeTree(net8.0)
Serilog(net8.0)
Serilog.Extensions.Logging(net8.0)
Serilog.Settings.Configuration(net8.0)
Serilog.Sinks.Debug(net8.0)
Serilog.Sinks.File(net8.0)
System.Collections(net8.0)
System.Diagnostics.Debug(net8.0)
System.IO.FileSystem.Primitives(net8.0)
System.Runtime.Handles(net8.0)
Adoption Assessment
Assess this package against its supported frameworks, license, maintenance signals and dependency graph before making it a project standard.
This version is marked prerelease. Validate its API and upgrade path before production use.Compatibility metadata lists 1 target framework; confirm the exact target used by your application.The published metadata declares 15 direct dependency entries across framework groups. Inspect the resolved dependency graph for your target framework.
Related Guides & Workflows
Learn how to evaluate, integrate, or audit this package in your .NET project.