Boogie 2.4.1-netcore-alpha

.NET Core 2.2 This package targets .NET Core 2.2. The package is compatible with this framework or higher.
This is a prerelease version of Boogie.
There is a newer version of this package available.
See the version list below for details. 
dotnet tool install --global Boogie --version 2.4.1-netcore-alpha
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 Boogie --version 2.4.1-netcore-alpha
This package contains a .NET tool you can call from the shell/command line. 
#tool dotnet:?package=Boogie&version=2.4.1-netcore-alpha&prerelease                

                    
                

            
nuke :add-package Boogie --version 2.4.1-netcore-alpha

Package Description

Product Compatible and additional computed target framework versions.
.NET net5.0 was computed.  net5.0-windows was computed.  net6.0 was computed.  net6.0-android was computed.  net6.0-ios was computed.  net6.0-maccatalyst was computed.  net6.0-macos was computed.  net6.0-tvos was computed.  net6.0-windows was computed.  net7.0 was computed.  net7.0-android was computed.  net7.0-ios was computed.  net7.0-maccatalyst was computed.  net7.0-macos was computed.  net7.0-tvos was computed.  net7.0-windows was computed.  net8.0 was computed.  net8.0-android was computed.  net8.0-browser was computed.  net8.0-ios was computed.  net8.0-maccatalyst was computed.  net8.0-macos was computed.  net8.0-tvos was computed.  net8.0-windows was computed.  net9.0 was computed.  net9.0-android was computed.  net9.0-browser was computed.  net9.0-ios was computed.  net9.0-maccatalyst was computed.  net9.0-macos was computed.  net9.0-tvos was computed.  net9.0-windows was computed. 
.NET Core netcoreapp2.2 is compatible.  netcoreapp3.0 was computed.  netcoreapp3.1 was computed. 
Compatible target framework(s)
Included target framework(s) (in package)
Learn more about Target Frameworks and .NET Standard.

This package has no dependencies.

Version Downloads Last updated
3.5.1 193 14 days ago
3.4.3 1,486 4 months ago
3.4.2 135 4 months ago
3.4.1 166 5 months ago
3.4.0 95 5 months ago
3.3.3 167 5 months ago
3.3.2 115 5 months ago
3.3.1 96 6 months ago
3.3.0 96 6 months ago
3.2.5 40,529 6 months ago
3.2.4 40,740 7 months ago
3.2.3 101 8 months ago
3.2.2 142 8 months ago
3.2.0 123 9 months ago
3.1.6 171 5/23/2024
3.1.5 157 4/23/2024
3.1.4 246 4/11/2024
3.1.3 42,793 3/13/2024
3.1.2 945 3/7/2024
3.1.1 175 3/5/2024
3.1.0 178 3/4/2024
3.0.12 3,193 2/19/2024
3.0.11 207 2/2/2024
3.0.10 179 1/22/2024
3.0.9 128,129 12/8/2023
3.0.8 1,780 11/29/2023
3.0.7 179 11/21/2023
3.0.6 1,000 11/16/2023
3.0.5 273 10/10/2023
3.0.4 247 9/14/2023
3.0.3 15,979 9/6/2023
3.0.2 163 9/5/2023
3.0.1 53,672 8/16/2023
3.0.0 380 7/20/2023
2.16.9 288 6/20/2023
2.16.8 208 6/1/2023
2.16.7 189 5/19/2023
2.16.5 299 4/10/2023
2.16.4 268 3/31/2023
2.16.3 298 3/9/2023
2.16.2 291 2/23/2023
2.16.1 262 2/21/2023
2.16.0 56,852 11/28/2022
2.15.9 2,453 10/25/2022
2.15.8 95,098 9/30/2022
2.15.7 23,319 7/22/2022
2.15.6 560 6/16/2022
2.15.5 476 6/15/2022
2.15.4 474 6/13/2022
2.15.3 451 6/10/2022
2.15.2 581 5/12/2022
2.15.1 496 5/5/2022
2.15.0 506 5/2/2022
2.14.0 528 4/19/2022
2.13.4 718 3/25/2022
2.13.3 469 3/23/2022
2.13.2 458 3/23/2022
2.13.1 487 3/17/2022
2.13.0 500 3/9/2022
2.12.1 520 2/28/2022
2.11.5 496 2/16/2022
2.11.4 486 2/4/2022
2.11.3 465 2/3/2022
2.11.2 533 1/10/2022
2.11.1 352 12/15/2021
2.11.0 368 12/9/2021
2.10.2 439 11/30/2021
2.10.0 382 11/30/2021
2.9.6 46,966 10/25/2021
2.9.5 377 10/21/2021
2.9.4 474 8/24/2021
2.9.3 411 8/10/2021
2.9.2 404 7/21/2021
2.9.1 2,536 7/5/2021
2.9.0 52,911 6/29/2021
2.8.33 8,477 6/14/2021
2.8.32 19,574 5/4/2021
2.8.31 3,789 4/21/2021
2.8.30 365 4/13/2021
2.8.29 12,150 3/29/2021
2.8.28 474 3/18/2021
2.8.27 7,367 3/11/2021
2.8.26 6,577 2/2/2021
2.8.25 20,075 2/2/2021
2.8.24 375 2/2/2021
2.8.23 432 1/22/2021
2.8.22 531 1/9/2021
2.8.21 539 1/5/2021
2.8.20 496 1/1/2021
2.8.18 567 12/29/2020
2.8.17 413 12/24/2020
2.8.16 426 12/23/2020
2.8.15 484 12/21/2020
2.8.14 589 12/19/2020
2.8.13 523 12/19/2020
2.8.12 506 12/13/2020
2.8.11 493 12/3/2020
2.8.10 474 12/2/2020
2.8.9 465 12/2/2020
2.8.8 475 11/26/2020
2.8.7 505 11/11/2020
2.8.6 488 11/5/2020
2.8.5 473 11/3/2020
2.8.4 513 10/30/2020
2.8.3 498 10/29/2020
2.8.2 542 10/24/2020
2.8.1 521 10/22/2020
2.8.0 546 10/20/2020
2.7.43 565 10/19/2020
2.7.42 547 10/15/2020
2.7.41 504 10/15/2020
2.7.40 544 10/14/2020
2.7.39 520 10/12/2020
2.7.38 584 10/11/2020
2.7.37 586 10/10/2020
2.7.36 547 10/7/2020
2.7.35 10,463 10/6/2020
2.7.34 549 9/30/2020
2.7.33 495 9/30/2020
2.7.32 587 9/29/2020
2.7.31 532 9/25/2020
2.7.30 8,596 9/20/2020
2.7.29 541 9/18/2020
2.7.28 573 9/17/2020
2.7.27 546 9/15/2020
2.7.26 615 9/12/2020
2.7.25 606 9/9/2020
2.7.24 551 9/7/2020
2.7.23 538 9/7/2020
2.7.22 616 9/6/2020
2.7.21 746 9/3/2020
2.7.20 546 8/26/2020
2.7.19 545 8/26/2020
2.7.18 565 8/26/2020
2.7.17 518 8/25/2020
2.7.16 519 8/19/2020
2.7.15 2,560 8/14/2020
2.7.14 616 8/6/2020
2.7.13 535 8/6/2020
2.7.12 587 8/6/2020
2.7.11 552 8/5/2020
2.7.10 601 8/5/2020
2.7.9 1,179 7/23/2020
2.7.8 544 7/23/2020
2.7.7 530 7/23/2020
2.7.6 645 7/22/2020
2.7.5 632 7/21/2020
2.7.4 541 7/21/2020
2.7.3 596 7/20/2020
2.7.2 591 7/20/2020
2.7.1 614 7/18/2020
2.7.0 553 7/15/2020
2.6.22 526 7/15/2020
2.6.21 523 7/15/2020
2.6.20 593 7/8/2020
2.6.19 567 7/6/2020
2.6.18 563 6/11/2020
2.6.17 1,365 6/9/2020
2.6.16 579 6/5/2020
2.6.15 4,822 6/4/2020
2.6.14 619 6/2/2020
2.6.13 652 5/29/2020
2.6.12 552 5/29/2020
2.6.11 678 5/21/2020
2.6.10 587 5/20/2020
2.6.9 579 5/18/2020
2.6.8 575 5/18/2020
2.6.7 551 5/13/2020
2.6.6 584 5/4/2020
2.6.5 1,876 4/21/2020
2.6.4 588 4/18/2020
2.6.3 568 4/15/2020
2.6.2 558 4/15/2020
2.6.1 551 4/14/2020
2.6.0 774 4/10/2020
2.5.19 571 4/8/2020
2.5.18 578 4/6/2020
2.5.17 593 4/3/2020
2.5.16 548 4/3/2020
2.5.15 593 3/24/2020
2.5.14 720 3/22/2020
2.5.13 563 3/22/2020
2.5.10 566 3/3/2020
2.5.9 584 3/2/2020
2.5.8 596 2/28/2020
2.5.7 2,026 2/22/2020
2.5.6 693 2/22/2020
2.5.5 662 2/21/2020
2.5.2 794 2/19/2020
2.5.1 727 2/18/2020
2.5.0 609 2/18/2020
2.4.21 663 2/18/2020
2.4.19 665 2/17/2020
2.4.18 613 2/17/2020
2.4.17 709 2/13/2020
2.4.16 577 2/13/2020
2.4.15 715 1/20/2020
2.4.14 610 1/20/2020
2.4.13 655 1/5/2020
2.4.12 684 1/3/2020
2.4.11 649 1/2/2020
2.4.10 769 1/1/2020
2.4.9 650 1/1/2020
2.4.8 674 1/1/2020
2.4.7 752 12/31/2019
2.4.6 736 12/31/2019
2.4.5 696 12/30/2019
2.4.4 591 12/24/2019
2.4.3 662 12/22/2019
2.4.2 634 12/22/2019
2.4.1-netcore-alpha 1,682 5/9/2019