AWS.Cryptography.Internal.StandardLibrary
The StandarLibrary is a library written to supply helpful Dafny functionality.
Total Downloads
1.2M
1,187,049
Published
Mar 18, 2026
Latest stable version
Install
.NET CLI
dotnet add package AWS.Cryptography.Internal.StandardLibrary --version 2.0.0
Package Manager Console
Install-Package AWS.Cryptography.Internal.StandardLibrary -Version 2.0.0
PackageReference
<PackageReference Include="AWS.Cryptography.Internal.StandardLibrary" Version="2.0.0" />
Frameworks
Dependencies
DafnyRuntime
[4.9.0, )
.NETFramework4.8
System.Collections.Immutable
[1.7.0, )
.NETFramework4.8
System.ValueTuple
[4.6.1, )
.NETFramework4.8
DafnyRuntime
[4.9.0, )
net6.0
System.Collections.Immutable
[1.7.0, )
net6.0
System.ValueTuple
[4.6.1, )
net6.0
Adoption guide
A verified publisher signal is available. Assess fit from the package's supported frameworks, license and dependency graph rather than popularity alone.
Compatibility metadata lists 2 target frameworks; confirm the exact target used by your application.
How to read this guidance
Sources: published NuGet v3 registry metadata and explicit NuBrowse editorial guides. Refresh: package metadata is refreshed from NuGet when the page loads. Limit: this is not a security, legal or compatibility guarantee; validate the selected version in your project.
Useful next steps
Move from package metadata to a concrete selection or review workflow.