DafnyDriver 4.11.0

NuGet\Install-Package DafnyDriver -Version 4.11.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="DafnyDriver" Version="4.11.0" />
 
 

For projects that support PackageReference, copy this XML node into the project file to reference the package.

<PackageVersion Include="DafnyDriver" Version="4.11.0" />
 


 Directory.Packages.props
 

 
 

<PackageReference Include="DafnyDriver" />
 


 Project file
 

 
 

For projects that support Central Package Management (CPM), copy this XML node into the solution Directory.Packages.props file to version the package.

paket add DafnyDriver --version 4.11.0
 
 

The NuGet Team does not provide support for this client. Please contact its maintainers for support.

#r "nuget: DafnyDriver, 4.11.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.

#:package DafnyDriver@4.11.0
 
 

#:package directive can be used in C# file-based apps starting in .NET 10 preview 4. Copy this into a .cs file before any lines of code to reference the package.

#addin nuget:?package=DafnyDriver&version=4.11.0
 


 Install as a Cake Addin
 

 
 

#tool nuget:?package=DafnyDriver&version=4.11.0
 


 Install as a Cake Tool
 

 
 

The NuGet Team does not provide support for this client. Please contact its maintainers for support.