Microsoft.Coyote.CLI 1.1.2 Prefix Reserved

There is a newer version of this package available.
See the version list below for details.
dotnet tool install --global Microsoft.Coyote.CLI --version 1.1.2
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.1.2
This package contains a .NET tool you can call from the shell/command line.
#tool dotnet:?package=Microsoft.Coyote.CLI&version=1.1.2
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
nuke :add-package Microsoft.Coyote.CLI --version 1.1.2
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.2 10 1/12/2022
1.4.1 286 10/20/2021
1.4.0 125 10/15/2021
1.3.1 258 8/1/2021
1.3.0 205 7/7/2021
1.2.8 238 6/4/2021
1.2.7 170 5/24/2021
1.2.6 14,781 4/22/2021
1.2.5 132 4/13/2021
1.2.4 196 3/3/2021
1.2.3 301 12/10/2020
1.2.2 247 11/17/2020
1.2.1 259 10/27/2020
1.2.0 213 10/27/2020
1.1.5 189 10/14/2020
1.1.4 229 10/10/2020
1.1.2 257 10/6/2020
1.1.1 293 9/28/2020
1.1.0 224 9/24/2020
1.0.17 375 8/14/2020
1.0.16 251 8/3/2020
1.0.15 322 7/22/2020
1.0.14 257 7/21/2020
1.0.12 241 7/1/2020
1.0.11 340 6/6/2020
1.0.10 281 6/3/2020
1.0.8 266 5/27/2020
1.0.6 248 5/13/2020
1.0.5 605 4/27/2020