Microsoft.Coyote.CLI 1.4.1 Prefix Reserved

dotnet tool install --global Microsoft.Coyote.CLI --version 1.4.1
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.1
This package contains a .NET tool you can call from the shell/command line.
#tool dotnet:?package=Microsoft.Coyote.CLI&version=1.4.1
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.1
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.1 209 10/20/2021
1.4.0 117 10/15/2021
1.3.1 250 8/1/2021
1.3.0 194 7/7/2021
1.2.8 227 6/4/2021
1.2.7 164 5/24/2021
1.2.6 13,129 4/22/2021
1.2.5 121 4/13/2021
1.2.4 181 3/3/2021
1.2.3 285 12/10/2020
1.2.2 229 11/17/2020
1.2.1 249 10/27/2020
1.2.0 198 10/27/2020
1.1.5 174 10/14/2020
1.1.4 219 10/10/2020
1.1.2 232 10/6/2020
1.1.1 278 9/28/2020
1.1.0 209 9/24/2020
1.0.17 333 8/14/2020
1.0.16 241 8/3/2020
1.0.15 301 7/22/2020
1.0.14 243 7/21/2020
1.0.12 231 7/1/2020
1.0.11 320 6/6/2020
1.0.10 230 6/3/2020
1.0.8 246 5/27/2020
1.0.6 225 5/13/2020
1.0.5 561 4/27/2020