DynamoDbEncryption.csproj

<Project Sdk="Microsoft.NET.Sdk">

  <PropertyGroup>
    <OutputType>Library</OutputType>
    <GenerateAssemblyInfo>false</GenerateAssemblyInfo>
    <IsPackable>true</IsPackable>

    <Version>3.4.0</Version>

    <AssemblyName>AWS.Cryptography.DbEncryptionSDK.DynamoDb</AssemblyName>
    <PackageId>AWS.Cryptography.DbEncryptionSDK.DynamoDb</PackageId>
    <Title>AWSDatabaseEncryptionSDKDynamoDB</Title>

    <Description>The AWS Database Encryption SDK for DyanamoDB in .NET abstracts client-side encryption for Amazon DynamoDB operations. It uses cryptographic best practices to protect the data keys that protect your data.</Description>
    <Authors>Amazon Web Services</Authors>
    <PackageLicenseExpression>Apache-2.0</PackageLicenseExpression>
    <RepositoryUrl>https://github.com/aws/aws-database-encryption-sdk-dynamodb</RepositoryUrl>
    <PackageIcon>icon.png</PackageIcon>
    <PackageReadmeFile>README.md</PackageReadmeFile>
    <PackageTags>AWS;Amazon;KMS;Encryption;Cryptography;DynamoDB</PackageTags>

    <ImplicitUsings>enable</ImplicitUsings>
    <Nullable>disable</Nullable>
    <LangVersion>10</LangVersion>
    <TargetFrameworks>net6.0;net48</TargetFrameworks>
    <EnableDefaultCompileItems>false</EnableDefaultCompileItems>
    <!--
      Ignore errors from generated code. Ideally this would be scoped to just the relevant files.
      CS0105: duplicate namespace, CS0618: obsolete members
    -->
    <NoWarn>CS0105,CS0618</NoWarn>
  </PropertyGroup>


  <ItemGroup>
    <PackageReference Include="AWSSDK.DynamoDBv2" Version="3.7.303.14"/>
    <PackageReference Include="AWSSDK.Core" Version="3.7.304.7"/>
    <PackageReference Include="DafnyRuntime" Version="4.2.0" />
    <ProjectReference Include="../../../submodules/MaterialProviders/AwsCryptographicMaterialProviders/runtimes/net/MPL.csproj"/>
    <!--
              System.Collections.Immutable can be removed once dafny.msbuild is updated with
              https://github.com/dafny-lang/dafny.msbuild/pull/10 and versioned
            -->
    <PackageReference Include="System.Collections.Immutable" Version="1.7.0"/>
    <!-- Work around for dafny-lang/dafny/issues/1951; remove once resolved -->
    <PackageReference Include="System.ValueTuple" Version="4.5.0"/>

    <Compile Include="Extern/**/*.cs"/>
    <Compile Include="Generated/**/*.cs"/>
    <Compile Include="src/**/*.cs"/>
    <Compile Include="ImplementationFromDafny.cs"/>
  </ItemGroup>

  <ItemGroup>
    <None Include="..\..\icon.png" Pack="true" PackagePath="" />
    <None Include="README.md" Pack="true" PackagePath="" />
  </ItemGroup>

</Project>