net6.0
Package Description
Published
Oct 4, 2022
4y ago
Total Downloads
367.8K
367,849
Install
dotnet add package DafnyServer --version 3.9.0.41003-nightly-2022-10-04-6eb02e5
| Product | Versions |
|---|---|
| .NET |
Changes from Previous Version
v3.9.0.41003-nightly-2022-10-03-9131182v3.9.0.41003-nightly-2022-10-04-6eb02e5
Added Frameworks
net6.0
Added Dependencies
DafnyLanguageServer(net6.0)
DafnyPipeline(net6.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.No SPDX license expression is published. Review the license text and your organisation's policy before redistribution.Compatibility metadata lists 1 target framework; confirm the exact target used by your application.
Related Guides & Workflows
Learn how to evaluate, integrate, or audit this package in your .NET project.