dafny.msbuild 1.0.0 

dotnet add package dafny.msbuild --version 1.0.0                

                    
                

            
NuGet\Install-Package dafny.msbuild -Version 1.0.0
This command is intended to be used within the Package Manager Console in Visual Studio, as it uses the NuGet module's version of Install-Package. 
<PackageReference Include="dafny.msbuild" Version="1.0.0" />
For projects that support PackageReference, copy this XML node into the project file to reference the package. 
paket add dafny.msbuild --version 1.0.0                

                    
                

            
#r "nuget: dafny.msbuild, 1.0.0"
#r directive can be used in F# Interactive and Polyglot Notebooks. Copy this into the interactive tool or source code of the script to reference the package. 
// Install dafny.msbuild as a Cake Addin
#addin nuget:?package=dafny.msbuild&version=1.0.0

// Install dafny.msbuild as a Cake Tool
#tool nuget:?package=dafny.msbuild&version=1.0.0

Package Description

There are no supported framework assets in this package.

Learn more about Target Frameworks and .NET Standard.

  • .NETCoreApp 3.0

    • No dependencies.

NuGet packages

This package is not used by any NuGet packages.

GitHub repositories

This package is not used by any popular GitHub repositories.

Version Downloads Last updated
1.0.0 11,865 4/6/2020
0.3.0 556 3/11/2020
0.2.0 746 1/28/2020
0.1.2 2,080 12/12/2019
0.1.1 623 12/11/2019
0.1.0 497 12/11/2019