Boogie.Concurrency 2.10.2

Install-Package Boogie.Concurrency -Version 2.10.2
dotnet add package Boogie.Concurrency --version 2.10.2
<PackageReference Include="Boogie.Concurrency" Version="2.10.2" />
For projects that support PackageReference, copy this XML node into the project file to reference the package.
paket add Boogie.Concurrency --version 2.10.2
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
#r "nuget: Boogie.Concurrency, 2.10.2"
#r directive can be used in F# Interactive, C# scripting and .NET Interactive. Copy this into the interactive tool or source code of the script to reference the package.
// Install Boogie.Concurrency as a Cake Addin
#addin nuget:?package=Boogie.Concurrency&version=2.10.2

// Install Boogie.Concurrency as a Cake Tool
#tool nuget:?package=Boogie.Concurrency&version=2.10.2
The NuGet Team does not provide support for this client. Please contact its maintainers for support.

Package Description

NuGet packages (1)

Showing the top 1 NuGet packages that depend on Boogie.Concurrency:

Package Downloads
Boogie.ExecutionEngine

Contains the API for Boogie

GitHub repositories

This package is not used by any popular GitHub repositories.

Version Downloads Last updated
2.10.2 73 11/30/2021
2.10.0 35 11/30/2021
2.9.6 3,899 10/25/2021
2.9.5 153 10/21/2021
2.9.4 739 8/24/2021
2.9.3 8,928 8/10/2021
2.9.2 1,360 7/21/2021
2.9.1 191 7/5/2021
2.9.0 181 6/29/2021
2.8.33 190 6/14/2021
2.8.32 142 5/4/2021
2.8.31 158 4/21/2021
2.8.30 7,463 4/13/2021
2.8.29 147 3/29/2021
2.8.28 175 3/18/2021
2.8.27 148 3/11/2021
2.8.26 3,405 2/2/2021
2.8.25 156 2/2/2021
2.8.24 144 2/2/2021
2.8.23 153 1/22/2021
2.8.22 200 1/9/2021
2.8.21 4,287 1/5/2021
2.8.20 246 1/1/2021
2.8.18 190 12/29/2020
2.8.17 173 12/24/2020
2.8.16 185 12/23/2020
2.8.15 219 12/21/2020
2.8.14 318 12/19/2020
2.8.13 276 12/19/2020
2.8.12 268 12/13/2020
2.8.11 179 12/3/2020
2.8.10 237 12/2/2020
2.8.9 202 12/2/2020
2.8.8 208 11/26/2020
2.8.7 263 11/11/2020
2.8.6 231 11/5/2020
2.8.5 240 11/3/2020
2.8.4 303 10/30/2020
2.8.3 249 10/29/2020
2.8.2 280 10/24/2020
2.8.1 252 10/22/2020
2.8.0 301 10/20/2020
2.7.43 283 10/19/2020
2.7.42 255 10/15/2020
2.7.41 278 10/15/2020
2.7.40 288 10/14/2020
2.7.39 254 10/12/2020