Microsoft.Coyote.CLI 1.4.0 Prefix Reserved

dotnet tool install --global Microsoft.Coyote.CLI --version 1.4.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.4.0
This package contains a .NET tool you can call from the shell/command line.
#tool dotnet:?package=Microsoft.Coyote.CLI&version=1.4.0
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
nuke :add-package Microsoft.Coyote.CLI --version 1.4.0
The NuGet Team does not provide support for this client. Please contact its maintainers for support.

The Coyote command line tool.

This package has no dependencies.

Version Downloads Last updated
1.4.0 0 10/15/2021
1.3.1 207 8/1/2021
1.3.0 169 7/7/2021
1.2.8 203 6/4/2021
1.2.7 141 5/24/2021
1.2.6 11,039 4/22/2021
1.2.5 93 4/13/2021
1.2.4 159 3/3/2021
1.2.3 263 12/10/2020
1.2.2 206 11/17/2020
1.2.1 228 10/27/2020
1.2.0 185 10/27/2020
1.1.5 161 10/14/2020
1.1.4 197 10/10/2020
1.1.2 203 10/6/2020
1.1.1 253 9/28/2020
1.1.0 190 9/24/2020
1.0.17 302 8/14/2020
1.0.16 211 8/3/2020
1.0.15 267 7/22/2020
1.0.14 218 7/21/2020
1.0.12 206 7/1/2020
1.0.11 291 6/6/2020
1.0.10 205 6/3/2020
1.0.8 220 5/27/2020
1.0.6 207 5/13/2020
1.0.5 453 4/27/2020