Skip to main content
AWS.Cryptography.Internal.StandardLibrary package icon

AWS.Cryptography.Internal.StandardLibrary

The StandarLibrary is a library written to supply helpful Dafny functionality.

Total Downloads
1.2M
1,191,680
Published
Jan 30, 2025
Latest stable version

Install

.NET CLI
dotnet add package AWS.Cryptography.Internal.StandardLibrary --version 1.7.5
Package Manager Console
Install-Package AWS.Cryptography.Internal.StandardLibrary -Version 1.7.5
PackageReference
<PackageReference Include="AWS.Cryptography.Internal.StandardLibrary" Version="1.7.5" />

Frameworks

.NETFramework4.8 net6.0

Dependencies

DafnyRuntime
.NETFramework4.8
[4.2.0, 4.8.0]
[1.7.0, )
System.ValueTuple
.NETFramework4.8
[4.5.0, )
[4.2.0, 4.8.0]
[4.5.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.