Microsoft.Coyote.CLI 1.3.0

The ID prefix of this package has been reserved for one of the owners of this package by NuGet.org. Prefix Reserved
There is a newer version of this package available.
See the version list below for details.
The owner has unlisted this package. This could mean that the package is deprecated, has security vulnerabilities or shouldn't be used anymore.
dotnet tool install --global Microsoft.Coyote.CLI --version 1.3.0
This package contains a .NET tool you can call from the shell/command line.
dotnet new tool-manifest # if you are setting up this repo
dotnet tool install --local Microsoft.Coyote.CLI --version 1.3.0
This package contains a .NET tool you can call from the shell/command line.
#tool dotnet:?package=Microsoft.Coyote.CLI&version=1.3.0
nuke :add-package Microsoft.Coyote.CLI --version 1.3.0

The Coyote command line tool.

Product Compatible and additional computed target framework versions.
.NET net5.0 is compatible.  net5.0-windows was computed.  net6.0 was computed.  net6.0-android was computed.  net6.0-ios was computed.  net6.0-maccatalyst was computed.  net6.0-macos was computed.  net6.0-tvos was computed.  net6.0-windows was computed.  net7.0 was computed.  net7.0-android was computed.  net7.0-ios was computed.  net7.0-maccatalyst was computed.  net7.0-macos was computed.  net7.0-tvos was computed.  net7.0-windows was computed.  net8.0 was computed.  net8.0-android was computed.  net8.0-browser was computed.  net8.0-ios was computed.  net8.0-maccatalyst was computed.  net8.0-macos was computed.  net8.0-tvos was computed.  net8.0-windows was computed. 
.NET Core netcoreapp3.1 is compatible. 
Compatible target framework(s)
Included target framework(s) (in package)
Learn more about Target Frameworks and .NET Standard.

This package has no dependencies.

Version Downloads Last updated
1.7.11 406 3/18/2024
1.7.10 6,405 8/18/2023
1.7.9 522 6/6/2023
1.7.8 392 4/14/2023
1.7.7 247 4/10/2023
1.7.6 269 4/6/2023
1.7.5 377 3/10/2023
1.7.4 373 2/14/2023
1.7.3 580 12/14/2022
1.7.2 471 12/2/2022
1.7.1 416 11/15/2022
1.7.0 457 10/31/2022
1.6.2 461 10/6/2022
1.6.1 427 10/5/2022
1.6.0 481 9/19/2022
1.5.9 668 8/8/2022
1.4.3 721 2/8/2022