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

The Coyote command line tool.

Version Downloads Last updated
1.4.2 46 1/12/2022
1.4.1 291 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 15,121 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 252 11/17/2020
1.2.1 259 10/27/2020
1.2.0 219 10/27/2020
1.1.5 191 10/14/2020
1.1.4 229 10/10/2020
1.1.2 262 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 256 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 271 5/27/2020
1.0.6 250 5/13/2020
1.0.5 615 4/27/2020