.NETFramework4.5.2.NETStandard2.0
Package Description
Published
May 22, 2023
3y ago
Total Downloads
3.0M
2,981,726
Install
dotnet add package DafnyRuntime --version 4.1.0.50522
| Product | Versions |
|---|---|
| .NET Standard | |
| Other |
README
Changes from Previous Version
v4.1.0v4.1.0.50522
Added Frameworks
.NETFramework4.5.2.NETStandard2.0
Added Dependencies
System.Collections.Immutable(.NETFramework4.5.2)
System.Runtime.Numerics(.NETFramework4.5.2)
System.Collections.Immutable(.NETStandard2.0)
System.Runtime.Numerics(.NETStandard2.0)
Adoption Assessment
Assess this package against its supported frameworks, license, maintenance signals and dependency graph before making it a project standard.
Compatibility metadata lists 2 target frameworks; confirm the exact target used by your application.
Related Guides & Workflows
Learn how to evaluate, integrate, or audit this package in your .NET project.