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.  net10.0 was computed.  net10.0-android was computed.  net10.0-browser was computed.  net10.0-ios was computed.  net10.0-maccatalyst was computed.  net10.0-macos was computed.  net10.0-tvos was computed.  net10.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.5 4,906 8/7/2025
3.5.4 248 6/26/2025
3.5.3 324 5/13/2025
3.5.2 218 4/28/2025
3.5.1 41,307 3/12/2025
3.4.3 6,573 11/26/2024
3.4.2 181 11/14/2024
3.4.1 215 10/25/2024
3.4.0 155 10/24/2024
3.3.3 225 10/15/2024
3.3.2 163 10/12/2024
3.3.1 144 10/7/2024
3.3.0 146 10/8/2024
3.2.5 56,301 9/12/2024
3.2.4 45,955 8/16/2024
3.2.3 162 7/30/2024
3.2.2 188 7/18/2024
3.2.0 170 7/4/2024
3.1.6 226 5/23/2024
3.1.5 201 4/23/2024
3.1.4 290 4/11/2024
3.1.3 43,011 3/13/2024
3.1.2 996 3/7/2024
3.1.1 233 3/5/2024
3.1.0 225 3/4/2024
3.0.12 3,273 2/19/2024
3.0.11 256 2/2/2024
3.0.10 226 1/22/2024
3.0.9 128,851 12/8/2023
3.0.8 1,805 11/29/2023
3.0.7 192 11/21/2023
3.0.6 1,034 11/16/2023
3.0.5 305 10/10/2023
3.0.4 285 9/14/2023
3.0.3 16,112 9/6/2023
3.0.2 196 9/5/2023
3.0.1 53,831 8/16/2023
3.0.0 424 7/20/2023
2.16.9 341 6/20/2023
2.16.8 256 6/1/2023
2.16.7 246 5/19/2023
2.16.5 344 4/10/2023
2.16.4 316 3/31/2023
2.16.3 355 3/9/2023
2.16.2 350 2/23/2023
2.16.1 318 2/21/2023
2.16.0 60,154 11/28/2022
2.15.9 2,806 10/25/2022
2.15.8 96,162 9/30/2022
2.15.7 23,388 7/22/2022
2.15.6 618 6/16/2022
2.15.5 548 6/15/2022
2.15.4 533 6/13/2022
2.15.3 512 6/10/2022
2.15.2 640 5/12/2022
2.15.1 558 5/5/2022
2.15.0 579 5/2/2022
2.14.0 597 4/19/2022
2.13.4 795 3/25/2022
2.13.3 543 3/23/2022
2.13.2 533 3/23/2022
2.13.1 564 3/17/2022
2.13.0 574 3/9/2022
2.12.1 585 2/28/2022
2.11.5 576 2/16/2022
2.11.4 561 2/4/2022
2.11.3 529 2/3/2022
2.11.2 606 1/10/2022
2.11.1 415 12/15/2021
2.11.0 432 12/9/2021
2.10.2 522 11/30/2021
2.10.0 445 11/30/2021
2.9.6 47,043 10/25/2021
2.9.5 451 10/21/2021
2.9.4 546 8/24/2021
2.9.3 475 8/10/2021
2.9.2 482 7/21/2021
2.9.1 2,701 7/5/2021
2.9.0 53,326 6/29/2021
2.8.33 8,704 6/14/2021
2.8.32 20,044 5/4/2021
2.8.31 3,873 4/21/2021
2.8.30 434 4/13/2021
2.8.29 12,418 3/29/2021
2.8.28 552 3/18/2021
2.8.27 7,438 3/11/2021
2.8.26 6,656 2/2/2021
2.8.25 20,523 2/2/2021
2.8.24 465 2/2/2021
2.8.23 505 1/22/2021
2.8.22 606 1/9/2021
2.8.21 614 1/5/2021
2.8.20 571 1/1/2021
2.8.18 654 12/29/2020
2.8.17 499 12/24/2020
2.8.16 512 12/23/2020
2.8.15 560 12/21/2020
2.8.14 664 12/19/2020
2.8.13 609 12/19/2020
2.8.12 596 12/13/2020
2.8.11 569 12/3/2020
2.8.10 563 12/2/2020
2.8.9 541 12/2/2020
2.8.8 564 11/26/2020
2.8.7 594 11/11/2020
2.8.6 572 11/5/2020
2.8.5 550 11/3/2020
2.8.4 601 10/30/2020
2.8.3 592 10/29/2020
2.8.2 632 10/24/2020
2.8.1 599 10/22/2020
2.8.0 636 10/20/2020
2.7.43 658 10/19/2020
2.7.42 622 10/15/2020
2.7.41 592 10/15/2020
2.7.40 637 10/14/2020
2.7.39 615 10/12/2020
2.7.38 671 10/11/2020
2.7.37 663 10/10/2020
2.7.36 624 10/7/2020
2.7.35 10,541 10/6/2020
2.7.34 637 9/30/2020
2.7.33 569 9/30/2020
2.7.32 671 9/29/2020
2.7.31 611 9/25/2020
2.7.30 8,915 9/20/2020
2.7.29 616 9/18/2020
2.7.28 649 9/17/2020
2.7.27 637 9/15/2020
2.7.26 692 9/12/2020
2.7.25 684 9/9/2020
2.7.24 628 9/7/2020
2.7.23 629 9/7/2020
2.7.22 702 9/6/2020
2.7.21 823 9/3/2020
2.7.20 636 8/26/2020
2.7.19 623 8/26/2020
2.7.18 655 8/26/2020
2.7.17 604 8/25/2020
2.7.16 607 8/19/2020
2.7.15 2,636 8/14/2020
2.7.14 692 8/6/2020
2.7.13 611 8/6/2020
2.7.12 663 8/6/2020
2.7.11 629 8/5/2020
2.7.10 677 8/5/2020
2.7.9 1,494 7/23/2020
2.7.8 619 7/23/2020
2.7.7 612 7/23/2020
2.7.6 731 7/22/2020
2.7.5 717 7/21/2020
2.7.4 627 7/21/2020
2.7.3 672 7/20/2020
2.7.2 669 7/20/2020
2.7.1 695 7/18/2020
2.7.0 630 7/15/2020
2.6.22 608 7/15/2020
2.6.21 599 7/15/2020
2.6.20 683 7/8/2020
2.6.19 659 7/6/2020
2.6.18 640 6/11/2020
2.6.17 1,506 6/9/2020
2.6.16 662 6/5/2020
2.6.15 4,904 6/4/2020
2.6.14 696 6/2/2020
2.6.13 729 5/29/2020
2.6.12 643 5/29/2020
2.6.11 766 5/21/2020
2.6.10 679 5/20/2020
2.6.9 667 5/18/2020
2.6.8 660 5/18/2020
2.6.7 643 5/13/2020
2.6.6 664 5/4/2020
2.6.5 1,969 4/21/2020
2.6.4 668 4/18/2020
2.6.3 657 4/15/2020
2.6.2 638 4/15/2020
2.6.1 641 4/14/2020
2.6.0 866 4/10/2020
2.5.19 654 4/8/2020
2.5.18 671 4/6/2020
2.5.17 673 4/3/2020
2.5.16 629 4/3/2020
2.5.15 675 3/24/2020
2.5.14 819 3/22/2020
2.5.13 657 3/22/2020
2.5.10 650 3/3/2020
2.5.9 664 3/2/2020
2.5.8 677 2/28/2020
2.5.7 2,108 2/22/2020
2.5.6 785 2/22/2020
2.5.5 744 2/21/2020
2.5.2 876 2/19/2020
2.5.1 808 2/18/2020
2.5.0 712 2/18/2020
2.4.21 758 2/18/2020
2.4.19 747 2/17/2020
2.4.18 693 2/17/2020
2.4.17 789 2/13/2020
2.4.16 659 2/13/2020
2.4.15 795 1/20/2020
2.4.14 700 1/20/2020
2.4.13 738 1/5/2020
2.4.12 767 1/3/2020
2.4.11 741 1/2/2020
2.4.10 850 1/1/2020
2.4.9 732 1/1/2020
2.4.8 766 1/1/2020
2.4.7 834 12/31/2019
2.4.6 831 12/31/2019
2.4.5 795 12/30/2019
2.4.4 688 12/24/2019
2.4.3 744 12/22/2019
2.4.2 714 12/22/2019
2.4.1-netcore-alpha 1,792 5/9/2019