DafnyCore 4.6.0-nightly-2024-06-21-e3273ad

.NET 6.0 This package targets .NET 6.0. The package is compatible with this framework or higher.
This is a prerelease version of DafnyCore.
There is a newer version of this package available.
See the version list below for details. 
dotnet add package DafnyCore --version 4.6.0-nightly-2024-06-21-e3273ad
NuGet\Install-Package DafnyCore -Version 4.6.0-nightly-2024-06-21-e3273ad
This command is intended to be used within the Package Manager Console in Visual Studio, as it uses the NuGet module's version of Install-Package. 
<PackageReference Include="DafnyCore" Version="4.6.0-nightly-2024-06-21-e3273ad" />
For projects that support PackageReference, copy this XML node into the project file to reference the package. 
paket add DafnyCore --version 4.6.0-nightly-2024-06-21-e3273ad
#r "nuget: DafnyCore, 4.6.0-nightly-2024-06-21-e3273ad"
#r directive can be used in F# Interactive and Polyglot Notebooks. Copy this into the interactive tool or source code of the script to reference the package. 
// Install DafnyCore as a Cake Addin
#addin nuget:?package=DafnyCore&version=4.6.0-nightly-2024-06-21-e3273ad&prerelease

// Install DafnyCore as a Cake Tool
#tool nuget:?package=DafnyCore&version=4.6.0-nightly-2024-06-21-e3273ad&prerelease

Package Description

Product Compatible and additional computed target framework versions.
.NET net6.0 is compatible.  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. 
Compatible target framework(s)
Included target framework(s) (in package)
Learn more about Target Frameworks and .NET Standard.

NuGet packages (4)

Showing the top 4 NuGet packages that depend on DafnyCore:

Package Downloads
DafnyPipeline

Package Description
DafnyLanguageServer

Package Description
DafnyDriver

Package Description
DafnyBenchmarkingPlugin

Package Description

GitHub repositories

This package is not used by any popular GitHub repositories.

Version Downloads Last updated
4.7.0 66 6/26/2024
4.7.0-nightly-2024-06-27-14... 0 6/27/2024
4.6.0 703 3/28/2024
4.6.0-nightly-2024-06-26-eb... 43 6/26/2024
4.6.0-nightly-2024-06-25-2e... 66 6/25/2024
4.6.0-nightly-2024-06-24-08... 84 6/24/2024
4.6.0-nightly-2024-06-23-08... 84 6/23/2024
4.6.0-nightly-2024-06-22-08... 86 6/22/2024
4.6.0-nightly-2024-06-21-e3... 88 6/21/2024
4.6.0-nightly-2024-06-20-94... 92 6/20/2024
4.6.0-nightly-2024-06-19-94... 93 6/19/2024
4.6.0-nightly-2024-06-15-5f... 105 6/15/2024
4.6.0-nightly-2024-06-14-70... 92 6/14/2024
4.6.0-nightly-2024-06-13-70... 96 6/14/2024
4.6.0-nightly-2024-06-12-f1... 86 6/12/2024
4.6.0-nightly-2024-06-11-64... 80 6/11/2024
4.6.0-nightly-2024-06-10-f0... 89 6/10/2024
4.6.0-nightly-2024-06-09-f0... 83 6/9/2024
4.6.0-nightly-2024-06-08-9f... 83 6/8/2024
4.6.0-nightly-2024-06-07-43... 83 6/7/2024
4.6.0-nightly-2024-06-06-66... 86 6/6/2024
4.6.0-nightly-2024-06-04-da... 103 6/4/2024
4.6.0-nightly-2024-06-04-75... 84 6/4/2024
4.6.0-nightly-2024-06-04-52... 87 6/4/2024
4.6.0-nightly-2024-05-29-b5... 89 5/29/2024
4.6.0-nightly-2024-05-28-dc... 97 5/28/2024
4.6.0-nightly-2024-05-24-6b... 98 5/24/2024
4.6.0-nightly-2024-05-23-41... 99 5/24/2024
4.6.0-nightly-2024-05-22-41... 87 5/23/2024
4.6.0-nightly-2024-05-21-33... 98 5/21/2024
4.6.0-nightly-2024-05-20-7e... 102 5/20/2024
4.6.0-nightly-2024-05-18-2f... 103 5/18/2024
4.6.0-nightly-2024-05-17-80... 106 5/17/2024
4.6.0-nightly-2024-05-16-8d... 107 5/16/2024
4.6.0-nightly-2024-05-15-af... 101 5/15/2024
4.6.0-nightly-2024-05-14-8d... 89 5/14/2024
4.6.0-nightly-2024-05-13-70... 85 5/13/2024
4.6.0-nightly-2024-05-12-70... 79 5/12/2024
4.6.0-nightly-2024-05-11-70... 78 5/11/2024
4.6.0-nightly-2024-05-10-cc... 86 5/10/2024
4.6.0-nightly-2024-05-09-84... 96 5/9/2024
4.6.0-nightly-2024-05-08-1c... 89 5/8/2024
4.6.0-nightly-2024-05-07-55... 112 5/7/2024
4.6.0-nightly-2024-05-06-55... 111 5/6/2024
4.6.0-nightly-2024-05-05-55... 110 5/5/2024
4.6.0-nightly-2024-05-04-55... 106 5/4/2024
4.6.0-nightly-2024-05-03-55... 73 5/3/2024
4.6.0-nightly-2024-05-02-07... 72 5/3/2024
4.6.0-nightly-2024-05-01-8e... 85 5/1/2024
4.6.0-nightly-2024-05-01-88... 86 5/1/2024
4.6.0-nightly-2024-04-29-ea... 99 4/29/2024
4.6.0-nightly-2024-04-26-bc... 107 4/26/2024
4.6.0-nightly-2024-04-25-b4... 120 4/25/2024
4.6.0-nightly-2024-04-24-06... 107 4/24/2024
4.6.0-nightly-2024-04-22-00... 106 4/22/2024
4.6.0-nightly-2024-04-21-2e... 104 4/21/2024
4.6.0-nightly-2024-04-20-2e... 105 4/21/2024
4.6.0-nightly-2024-04-19-0c... 103 4/19/2024
4.6.0-nightly-2024-04-18-0c... 98 4/18/2024
4.6.0-nightly-2024-04-17-b3... 95 4/17/2024
4.6.0-nightly-2024-04-16-1c... 115 4/16/2024
4.6.0-nightly-2024-04-15-13... 97 4/15/2024
4.6.0-nightly-2024-04-14-13... 103 4/15/2024
4.6.0-nightly-2024-04-13-13... 99 4/13/2024
4.6.0-nightly-2024-04-12-4e... 89 4/12/2024
4.6.0-nightly-2024-04-11-62... 84 4/11/2024
4.6.0-nightly-2024-04-10-d8... 79 4/10/2024
4.6.0-nightly-2024-04-09-65... 97 4/9/2024
4.6.0-nightly-2024-04-08-be... 94 4/8/2024
4.6.0-nightly-2024-04-07-be... 88 4/7/2024
4.6.0-nightly-2024-04-05-56... 92 4/5/2024
4.6.0-nightly-2024-04-04-5c... 90 4/4/2024
4.6.0-nightly-2024-04-03-91... 79 4/3/2024
4.6.0-nightly-2024-04-02-5b... 90 4/2/2024
4.6.0-nightly-2024-04-01-69... 91 4/1/2024
4.6.0-nightly-2024-03-31-4a... 88 3/31/2024
4.6.0-nightly-2024-03-29-8f... 100 3/29/2024
4.6.0-nightly-2024-03-29-71... 78 3/29/2024
4.5.0 240 3/15/2024
4.5.0-nightly-2024-03-27-ca... 99 3/27/2024
4.5.0-nightly-2024-03-26-0c... 97 3/27/2024
4.5.0-nightly-2024-03-25-f4... 105 3/25/2024
4.5.0-nightly-2024-03-24-f4... 87 3/25/2024
4.5.0-nightly-2024-03-23-f4... 93 3/23/2024
4.5.0-nightly-2024-03-22-ec... 84 3/22/2024
4.5.0-nightly-2024-03-21-7c... 73 3/21/2024
4.5.0-nightly-2024-03-20-99... 95 3/20/2024
4.5.0-nightly-2024-03-19-39... 95 3/20/2024
4.5.0-nightly-2024-03-18-39... 101 3/18/2024
4.5.0-nightly-2024-03-17-39... 106 3/17/2024
4.5.0-nightly-2024-03-16-39... 99 3/16/2024
4.5.0-nightly-2024-03-15-02... 98 3/15/2024
4.4.0 794 12/12/2023
4.4.0-nightly-2024-03-15-87... 130 3/15/2024
4.4.0-nightly-2024-03-14-28... 103 3/14/2024
4.4.0-nightly-2024-03-13-f1... 98 3/13/2024
4.4.0-nightly-2024-03-12-69... 91 3/12/2024
4.4.0-nightly-2024-03-11-a8... 88 3/11/2024
4.4.0-nightly-2024-03-10-a2... 79 3/11/2024
4.4.0-nightly-2024-03-09-a2... 84 3/9/2024
4.4.0-nightly-2024-03-08-1d... 81 3/8/2024
4.4.0-nightly-2024-03-06-35... 88 3/6/2024
4.4.0-nightly-2024-03-05-35... 93 3/5/2024
4.4.0-nightly-2024-03-04-54... 89 3/4/2024
4.4.0-nightly-2024-03-03-4e... 84 3/3/2024
4.4.0-nightly-2024-03-01-26... 83 3/1/2024
4.4.0-nightly-2024-02-29-2a... 77 2/29/2024
4.4.0-nightly-2024-02-28-2a... 80 2/28/2024
4.4.0-nightly-2024-02-27-2a... 84 2/27/2024
4.4.0-nightly-2024-02-26-1c... 77 2/26/2024
4.4.0-nightly-2024-02-25-d6... 75 2/26/2024
4.4.0-nightly-2024-02-24-d6... 85 2/24/2024
4.4.0-nightly-2024-02-23-d6... 84 2/23/2024
4.4.0-nightly-2024-02-22-e2... 80 2/22/2024
4.4.0-nightly-2024-02-21-22... 78 2/21/2024
4.4.0-nightly-2024-02-20-ce... 75 2/20/2024
4.4.0-nightly-2024-02-19-be... 81 2/19/2024
4.4.0-nightly-2024-02-18-be... 83 2/18/2024
4.4.0-nightly-2024-02-17-be... 83 2/17/2024
4.4.0-nightly-2024-02-16-af... 66 2/16/2024
4.4.0-nightly-2024-02-15-73... 81 2/15/2024
4.4.0-nightly-2024-02-14-5c... 75 2/14/2024
4.4.0-nightly-2024-02-13-9d... 71 2/13/2024
4.4.0-nightly-2024-02-12-d7... 78 2/12/2024
4.4.0-nightly-2024-02-11-c8... 63 2/11/2024
4.4.0-nightly-2024-02-10-c8... 69 2/10/2024
4.4.0-nightly-2024-02-09-29... 72 2/9/2024
4.4.0-nightly-2024-02-08-fc... 68 2/8/2024
4.4.0-nightly-2024-02-07-59... 77 2/7/2024
4.4.0-nightly-2024-02-06-b3... 66 2/6/2024
4.4.0-nightly-2024-02-05-16... 66 2/5/2024
4.4.0-nightly-2024-02-04-c6... 66 2/4/2024
4.4.0-nightly-2024-02-03-c6... 65 2/3/2024
4.4.0-nightly-2024-02-02-70... 69 2/2/2024
4.4.0-nightly-2024-02-01-8b... 68 2/1/2024
4.4.0-nightly-2024-01-31-8b... 68 1/31/2024
4.4.0-nightly-2024-01-30-90... 69 1/30/2024
4.4.0-nightly-2024-01-26-cf... 70 1/26/2024
4.4.0-nightly-2024-01-25-cf... 70 1/25/2024
4.4.0-nightly-2024-01-24-9d... 66 1/24/2024
4.4.0-nightly-2024-01-23-fe... 80 1/23/2024
4.4.0-nightly-2024-01-22-47... 71 1/22/2024
4.4.0-nightly-2024-01-21-a7... 70 1/21/2024
4.4.0-nightly-2024-01-20-79... 67 1/20/2024
4.4.0-nightly-2024-01-19-99... 75 1/19/2024
4.4.0-nightly-2024-01-19-3b... 67 1/19/2024
4.4.0-nightly-2024-01-18-3b... 70 1/18/2024
4.4.0-nightly-2024-01-17-3b... 78 1/17/2024
4.4.0-nightly-2024-01-03-2c... 101 1/3/2024
4.4.0-nightly-2024-01-01-2c... 93 1/1/2024
4.4.0-nightly-2023-12-31-2c... 87 12/31/2023
4.4.0-nightly-2023-12-30-2c... 96 12/30/2023
4.4.0-nightly-2023-12-29-2c... 111 12/29/2023
4.4.0-nightly-2023-12-28-2c... 89 12/28/2023
4.4.0-nightly-2023-12-27-2c... 95 12/27/2023
4.4.0-nightly-2023-12-26-2c... 92 12/26/2023
4.4.0-nightly-2023-12-25-2c... 103 12/25/2023
4.4.0-nightly-2023-12-24-2c... 88 12/24/2023
4.4.0-nightly-2023-12-23-2c... 101 12/23/2023
4.4.0-nightly-2023-12-22-2c... 87 12/22/2023
4.4.0-nightly-2023-12-21-2c... 78 12/21/2023
4.4.0-nightly-2023-12-20-2c... 94 12/20/2023
4.4.0-nightly-2023-12-19-2c... 88 12/19/2023
4.4.0-nightly-2023-12-18-2c... 104 12/18/2023
4.4.0-nightly-2023-12-17-2c... 99 12/17/2023
4.4.0-nightly-2023-12-16-2c... 96 12/16/2023
4.4.0-nightly-2023-12-15-2c... 114 12/15/2023
4.4.0-nightly-2023-12-14-2c... 101 12/15/2023
4.4.0-nightly-2023-12-13-2c... 97 12/13/2023
4.4.0-nightly-2023-12-12-4f... 114 12/12/2023
4.4.0-nightly-2023-12-11-4f... 109 12/11/2023
4.4.0-nightly-2023-12-10-4f... 108 12/10/2023
4.4.0-nightly-2023-12-09-4f... 104 12/9/2023
4.3.0 270 9/28/2023
4.3.0-nightly-2023-12-08-7e... 93 12/8/2023
4.3.0-nightly-2023-12-07-c9... 99 12/7/2023
4.3.0-nightly-2023-12-06-6a... 87 12/6/2023
4.3.0-nightly-2023-12-05-cc... 55 12/5/2023
4.3.0-nightly-2023-12-04-fd... 71 12/4/2023
4.3.0-nightly-2023-12-03-23... 86 12/3/2023
4.3.0-nightly-2023-12-02-23... 78 12/2/2023
4.3.0-nightly-2023-12-01-05... 88 12/1/2023
4.3.0-nightly-2023-11-30-8e... 82 11/30/2023
4.3.0-nightly-2023-11-29-f7... 84 11/29/2023
4.3.0-nightly-2023-11-28-c5... 71 11/28/2023
4.3.0-nightly-2023-11-27-98... 78 11/27/2023
4.3.0-nightly-2023-11-25-b1... 72 11/25/2023
4.3.0-nightly-2023-11-24-b1... 78 11/24/2023
4.3.0-nightly-2023-11-23-ec... 83 11/23/2023
4.3.0-nightly-2023-11-22-ec... 89 11/22/2023
4.3.0-nightly-2023-11-21-fd... 76 11/21/2023
4.3.0-nightly-2023-11-21-4f... 82 11/21/2023
4.3.0-nightly-2023-11-19-dd... 83 11/19/2023
4.3.0-nightly-2023-11-18-dd... 71 11/18/2023
4.3.0-nightly-2023-11-17-06... 98 11/17/2023
4.3.0-nightly-2023-11-16-f8... 80 11/16/2023
4.3.0-nightly-2023-11-15-c6... 81 11/15/2023
4.3.0-nightly-2023-11-14-84... 87 11/14/2023
4.3.0-nightly-2023-11-13-5e... 76 11/13/2023
4.3.0-nightly-2023-11-12-90... 80 11/12/2023
4.3.0-nightly-2023-11-11-90... 72 11/11/2023
4.3.0-nightly-2023-11-10-4d... 78 11/10/2023
4.3.0-nightly-2023-11-09-ee... 79 11/9/2023
4.3.0-nightly-2023-11-08-48... 68 11/8/2023
4.3.0-nightly-2023-11-07-48... 76 11/7/2023
4.3.0-nightly-2023-11-06-d4... 93 11/6/2023
4.3.0-nightly-2023-11-05-d4... 110 11/5/2023
4.3.0-nightly-2023-11-02-53... 106 11/2/2023
4.3.0-nightly-2023-11-01-45... 104 11/1/2023
4.3.0-nightly-2023-10-31-af... 98 10/31/2023
4.3.0-nightly-2023-10-30-bf... 104 10/30/2023
4.3.0-nightly-2023-10-29-17... 105 10/29/2023
4.3.0-nightly-2023-10-28-17... 105 10/28/2023
4.3.0-nightly-2023-10-27-c6... 101 10/27/2023
4.3.0-nightly-2023-10-26-c6... 113 10/26/2023
4.3.0-nightly-2023-10-25-5d... 124 10/25/2023
4.3.0-nightly-2023-10-24-cd... 113 10/24/2023
4.3.0-nightly-2023-10-23-7b... 107 10/23/2023
4.3.0-nightly-2023-10-23-3e... 127 10/24/2023
4.3.0-nightly-2023-10-20-81... 122 10/20/2023
4.3.0-nightly-2023-10-19-9e... 97 10/19/2023
4.3.0-nightly-2023-10-18-32... 110 10/18/2023
4.3.0-nightly-2023-10-17-ad... 114 10/17/2023
4.3.0-nightly-2023-10-16-41... 105 10/16/2023
4.3.0-nightly-2023-10-15-fc... 96 10/15/2023
4.3.0-nightly-2023-10-14-fc... 105 10/14/2023
4.3.0-nightly-2023-10-13-0e... 113 10/13/2023
4.3.0-nightly-2023-09-27-35... 127 9/27/2023
4.2.0 371 7/20/2023
4.2.0-nightly-2023-10-12-fd... 106 10/12/2023
4.2.0-nightly-2023-10-11-fd... 104 10/11/2023
4.2.0-nightly-2023-10-10-fd... 110 10/10/2023
4.2.0-nightly-2023-10-09-fd... 102 10/9/2023
4.2.0-nightly-2023-10-08-fd... 108 10/8/2023
4.2.0-nightly-2023-10-07-fd... 116 10/7/2023
4.2.0-nightly-2023-10-06-fd... 117 10/6/2023
4.2.0-nightly-2023-10-05-fd... 103 10/5/2023
4.2.0-nightly-2023-10-04-fd... 104 10/4/2023
4.2.0-nightly-2023-10-02-fd... 99 10/2/2023
4.2.0-nightly-2023-09-30-fd... 117 9/30/2023
4.2.0-nightly-2023-09-29-fd... 114 9/29/2023
4.2.0-nightly-2023-09-28-fd... 104 9/28/2023
4.2.0-nightly-2023-09-27-fd... 111 9/27/2023
4.2.0-nightly-2023-09-27-4d... 110 9/27/2023
4.2.0-nightly-2023-09-26-a0... 109 9/26/2023
4.2.0-nightly-2023-09-25-67... 114 9/25/2023
4.2.0-nightly-2023-09-24-67... 107 9/24/2023
4.2.0-nightly-2023-09-23-67... 109 9/23/2023
4.2.0-nightly-2023-09-22-67... 117 9/22/2023
4.2.0-nightly-2023-09-21-75... 90 9/21/2023
4.2.0-nightly-2023-09-20-c6... 100 9/20/2023
4.2.0-nightly-2023-09-19-ae... 101 9/19/2023
4.2.0-nightly-2023-09-18-45... 104 9/18/2023
4.2.0-nightly-2023-09-17-45... 107 9/18/2023
4.2.0-nightly-2023-09-16-04... 111 9/16/2023
4.2.0-nightly-2023-09-15-e7... 112 9/15/2023
4.2.0-nightly-2023-09-14-e5... 118 9/14/2023
4.2.0-nightly-2023-09-13-45... 127 9/13/2023
4.2.0-nightly-2023-09-12-27... 117 9/12/2023
4.2.0-nightly-2023-09-11-d2... 123 9/11/2023
4.2.0-nightly-2023-09-10-c5... 105 9/10/2023
4.2.0-nightly-2023-09-09-ed... 112 9/9/2023
4.2.0-nightly-2023-09-08-37... 113 9/8/2023
4.2.0-nightly-2023-09-07-b6... 122 9/7/2023
4.2.0-nightly-2023-09-06-8d... 114 9/6/2023
4.2.0-nightly-2023-09-05-e1... 112 9/5/2023
4.2.0-nightly-2023-09-04-1e... 105 9/4/2023
4.2.0-nightly-2023-09-03-4a... 108 9/4/2023
4.2.0-nightly-2023-09-02-a8... 112 9/2/2023
4.2.0-nightly-2023-09-01-e9... 117 9/1/2023
4.2.0-nightly-2023-08-31-e9... 109 8/31/2023
4.2.0-nightly-2023-08-30-05... 127 8/30/2023
4.2.0-nightly-2023-08-29-a8... 120 8/29/2023
4.2.0-nightly-2023-08-28-52... 124 8/28/2023
4.2.0-nightly-2023-08-27-95... 125 8/27/2023
4.2.0-nightly-2023-08-26-95... 128 8/26/2023
4.2.0-nightly-2023-08-25-fe... 125 8/25/2023
4.2.0-nightly-2023-08-24-c5... 127 8/24/2023
4.2.0-nightly-2023-08-24-06... 109 8/24/2023
4.2.0-nightly-2023-08-23-b9... 117 8/23/2023
4.2.0-nightly-2023-08-22-84... 125 8/22/2023
4.2.0-nightly-2023-08-21-83... 109 8/21/2023
4.2.0-nightly-2023-08-20-83... 118 8/20/2023
4.2.0-nightly-2023-08-19-83... 130 8/19/2023
4.2.0-nightly-2023-08-18-2a... 118 8/18/2023
4.2.0-nightly-2023-08-17-9e... 117 8/17/2023
4.2.0-nightly-2023-08-16-d9... 120 8/16/2023
4.2.0-nightly-2023-08-15-cd... 144 8/15/2023
4.2.0-nightly-2023-08-14-0c... 156 8/14/2023
4.2.0-nightly-2023-08-13-06... 146 8/13/2023
4.2.0-nightly-2023-08-12-06... 140 8/12/2023
4.2.0-nightly-2023-08-11-e2... 136 8/11/2023
4.2.0-nightly-2023-08-10-44... 286 8/10/2023
4.2.0-nightly-2023-08-09-20... 124 8/9/2023
4.2.0-nightly-2023-08-08-ea... 137 8/9/2023
4.2.0-nightly-2023-08-07-c3... 116 8/7/2023
4.2.0-nightly-2023-08-06-24... 131 8/6/2023
4.2.0-nightly-2023-08-05-38... 151 8/5/2023
4.2.0-nightly-2023-08-04-df... 134 8/4/2023
4.2.0-nightly-2023-08-04-65... 140 8/4/2023
4.2.0-nightly-2023-08-02-a9... 140 8/2/2023
4.2.0-nightly-2023-08-01-52... 147 8/1/2023
4.2.0-nightly-2023-07-31-3b... 136 7/31/2023
4.2.0-nightly-2023-07-30-3b... 155 7/30/2023
4.2.0-nightly-2023-07-29-3b... 133 7/29/2023
4.2.0-nightly-2023-07-28-65... 124 7/28/2023
4.2.0-nightly-2023-07-27-02... 142 7/27/2023
4.2.0-nightly-2023-07-26-59... 146 7/26/2023
4.2.0-nightly-2023-07-25-c5... 143 7/25/2023
4.2.0-nightly-2023-07-24-4d... 147 7/24/2023
4.2.0-nightly-2023-07-23-4d... 147 7/23/2023
4.2.0-nightly-2023-07-22-4d... 147 7/22/2023
4.2.0-nightly-2023-07-21-ab... 148 7/21/2023
4.1.0.50522 325 5/22/2023
4.1.0 291 5/10/2023
4.1.0-nightly-2023-07-20-35... 131 7/20/2023
4.1.0-nightly-2023-07-18-ce... 132 7/18/2023
4.1.0-nightly-2023-07-18-86... 147 7/18/2023
4.1.0-nightly-2023-07-17-ec... 132 7/17/2023
4.1.0-nightly-2023-07-17-e9... 140 7/17/2023
4.1.0-nightly-2023-07-16-e9... 134 7/16/2023
4.1.0-nightly-2023-07-15-e9... 140 7/15/2023
4.1.0-nightly-2023-07-14-12... 128 7/14/2023
4.1.0-nightly-2023-07-13-0d... 133 7/13/2023
4.1.0-nightly-2023-07-12-d4... 131 7/12/2023
4.1.0-nightly-2023-07-11-0f... 134 7/11/2023
4.1.0-nightly-2023-07-10-f4... 128 7/10/2023
4.1.0-nightly-2023-07-09-5c... 139 7/9/2023
4.1.0-nightly-2023-07-08-8b... 132 7/8/2023
4.1.0-nightly-2023-07-07-2d... 135 7/7/2023
4.1.0-nightly-2023-07-06-c5... 130 7/6/2023
4.1.0-nightly-2023-07-05-e4... 135 7/5/2023
4.1.0-nightly-2023-07-04-51... 127 7/4/2023
4.1.0-nightly-2023-07-03-65... 131 7/3/2023
4.1.0-nightly-2023-07-02-e4... 136 7/2/2023
4.1.0-nightly-2023-07-01-e4... 122 7/1/2023
4.1.0-nightly-2023-06-30-86... 132 6/30/2023
4.1.0-nightly-2023-06-29-2b... 135 6/29/2023
4.1.0-nightly-2023-06-28-2b... 131 6/28/2023
4.1.0-nightly-2023-06-27-d7... 116 6/27/2023
4.1.0-nightly-2023-06-26-d7... 110 6/26/2023
4.1.0-nightly-2023-06-25-d7... 122 6/25/2023
4.1.0-nightly-2023-06-24-d7... 128 6/24/2023
4.1.0-nightly-2023-06-23-30... 130 6/23/2023
4.1.0-nightly-2023-06-22-bd... 124 6/22/2023
4.1.0-nightly-2023-06-21-bd... 124 6/21/2023
4.1.0-nightly-2023-06-20-21... 135 6/20/2023
4.1.0-nightly-2023-06-19-9a... 121 6/19/2023
4.1.0-nightly-2023-06-18-9a... 125 6/18/2023
4.1.0-nightly-2023-06-17-9a... 131 6/17/2023
4.1.0-nightly-2023-06-16-b2... 117 6/16/2023
4.1.0-nightly-2023-06-16-18... 133 6/16/2023
4.1.0-nightly-2023-06-15-eb... 122 6/15/2023
4.1.0-nightly-2023-06-15-8f... 131 6/15/2023
4.1.0-nightly-2023-06-13-1c... 131 6/13/2023
4.1.0-nightly-2023-06-12-4e... 124 6/12/2023
4.1.0-nightly-2023-06-11-a8... 128 6/11/2023
4.1.0-nightly-2023-06-10-a8... 127 6/10/2023
4.1.0-nightly-2023-06-09-a8... 117 6/9/2023
4.1.0-nightly-2023-06-08-16... 137 6/8/2023
4.1.0-nightly-2023-06-07-28... 122 6/7/2023
4.1.0-nightly-2023-06-06-59... 126 6/6/2023
4.1.0-nightly-2023-06-05-59... 130 6/5/2023
4.1.0-nightly-2023-06-04-59... 118 6/4/2023
4.1.0-nightly-2023-06-03-59... 129 6/3/2023
4.1.0-nightly-2023-06-02-59... 132 6/2/2023
4.1.0-nightly-2023-06-01-68... 125 6/1/2023
4.1.0-nightly-2023-05-31-b6... 135 5/31/2023
4.1.0-nightly-2023-05-31-81... 112 5/31/2023
4.1.0-nightly-2023-05-30-2f... 137 5/30/2023
4.1.0-nightly-2023-05-29-de... 126 5/29/2023
4.1.0-nightly-2023-05-28-80... 131 5/28/2023
4.1.0-nightly-2023-05-27-80... 136 5/27/2023
4.1.0-nightly-2023-05-26-40... 123 5/26/2023
4.1.0-nightly-2023-05-25-b3... 126 5/25/2023
4.1.0-nightly-2023-05-24-38... 118 5/24/2023
4.1.0-nightly-2023-05-23-16... 128 5/23/2023
4.1.0-nightly-2023-05-22-c8... 126 5/22/2023
4.1.0-nightly-2023-05-21-9b... 134 5/21/2023
4.1.0-nightly-2023-05-20-9b... 126 5/20/2023
4.1.0-nightly-2023-05-19-33... 132 5/19/2023
4.1.0-nightly-2023-05-18-8c... 143 5/18/2023
4.1.0-nightly-2023-05-17-49... 142 5/17/2023
4.1.0-nightly-2023-05-17-05... 130 5/17/2023
4.1.0-nightly-2023-05-15-35... 118 5/15/2023
4.1.0-nightly-2023-05-14-35... 121 5/14/2023
4.1.0-nightly-2023-05-12-30... 132 5/12/2023
4.1.0-nightly-2023-05-11-87... 139 5/11/2023
4.1.0-nightly-2023-05-09-26... 143 5/10/2023
4.1.0-nightly-2023-05-08-d9... 276 5/8/2023
4.1.0-nightly-2023-05-07-a2... 135 5/8/2023
4.1.0-nightly-2023-05-06-a2... 124 5/6/2023
4.1.0-nightly-2023-05-05-81... 121 5/5/2023
4.1.0-nightly-2023-05-04-56... 140 5/4/2023
4.1.0-nightly-2023-05-03-aa... 129 5/3/2023
4.1.0-nightly-2023-05-02-bb... 141 5/2/2023
4.1.0-nightly-2023-05-01-38... 141 5/1/2023
4.1.0-nightly-2023-04-30-38... 133 4/30/2023
4.1.0-nightly-2023-04-29-f0... 138 4/29/2023
4.1.0-nightly-2023-04-29-20... 135 4/29/2023
4.1.0-nightly-2023-04-28-41... 137 4/28/2023
4.1.0-nightly-2023-04-27-d7... 157 4/27/2023
4.1.0-nightly-2023-04-26-21... 143 4/26/2023
4.1.0-nightly-2023-04-25-38... 146 4/25/2023
4.1.0-nightly-2023-04-24-f1... 133 4/24/2023
4.1.0-nightly-2023-04-23-f1... 147 4/23/2023
4.1.0-nightly-2023-04-22-f1... 153 4/22/2023
4.1.0-nightly-2023-04-21-1d... 129 4/21/2023
4.1.0-nightly-2023-04-20-1d... 133 4/20/2023
4.1.0-nightly-2023-04-19-1d... 148 4/19/2023
4.0.0.50303 827 3/3/2023
4.0.0.50303-nightly-2023-04... 131 4/18/2023
4.0.0.50303-nightly-2023-04... 142 4/17/2023
4.0.0.50303-nightly-2023-04... 143 4/16/2023
4.0.0.50303-nightly-2023-04... 132 4/15/2023
4.0.0.50303-nightly-2023-04... 127 4/14/2023
4.0.0.50303-nightly-2023-04... 124 4/13/2023
4.0.0.50303-nightly-2023-04... 136 4/12/2023
4.0.0.50303-nightly-2023-04... 137 4/11/2023
4.0.0.50303-nightly-2023-04... 138 4/10/2023
4.0.0.50303-nightly-2023-04... 118 4/9/2023
4.0.0.50303-nightly-2023-04... 116 4/8/2023
4.0.0.50303-nightly-2023-04... 157 4/7/2023
4.0.0.50303-nightly-2023-04... 147 4/6/2023
4.0.0.50303-nightly-2023-04... 131 4/5/2023
4.0.0.50303-nightly-2023-04... 153 4/4/2023
4.0.0.50303-nightly-2023-04... 148 4/5/2023
4.0.0.50303-nightly-2023-04... 149 4/3/2023
4.0.0.50303-nightly-2023-04... 146 4/2/2023
4.0.0.50303-nightly-2023-04... 146 4/1/2023
4.0.0.50303-nightly-2023-03... 135 3/31/2023
4.0.0.50303-nightly-2023-03... 143 3/30/2023
4.0.0.50303-nightly-2023-03... 153 3/29/2023
4.0.0.50303-nightly-2023-03... 142 3/28/2023
4.0.0.50303-nightly-2023-03... 148 3/27/2023
4.0.0.50303-nightly-2023-03... 153 3/25/2023
4.0.0.50303-nightly-2023-03... 156 3/24/2023
4.0.0.50303-nightly-2023-03... 145 3/23/2023
4.0.0.50303-nightly-2023-03... 139 3/22/2023
4.0.0.50303-nightly-2023-03... 137 3/22/2023
4.0.0.50303-nightly-2023-03... 156 3/21/2023
4.0.0.50303-nightly-2023-03... 145 3/21/2023
4.0.0.50303-nightly-2023-03... 146 3/21/2023
4.0.0.50303-nightly-2023-03... 160 3/20/2023
4.0.0.50303-nightly-2023-03... 144 3/19/2023
4.0.0.50303-nightly-2023-03... 157 3/18/2023
4.0.0.50303-nightly-2023-03... 152 3/17/2023
4.0.0.50303-nightly-2023-03... 154 3/16/2023
4.0.0.50303-nightly-2023-03... 144 3/15/2023
4.0.0.50303-nightly-2023-03... 143 3/13/2023
4.0.0.50303-nightly-2023-03... 151 3/12/2023
4.0.0.50303-nightly-2023-03... 146 3/11/2023
4.0.0.50303-nightly-2023-03... 147 3/10/2023
4.0.0.50303-nightly-2023-03... 141 3/9/2023
4.0.0.50303-nightly-2023-03... 145 3/8/2023
4.0.0.50303-nightly-2023-03... 141 3/3/2023
4.0.0.50302 553 3/3/2023
4.0.0.50302-nightly-2023-03... 123 3/2/2023
3.13.1.50302 579 3/2/2023
3.13.1.50302-nightly-2023-0... 521 3/2/2023
3.13.0.50302 314 3/2/2023
3.13.0.50302-nightly-2023-0... 123 3/2/2023
3.12.0.50221 329 2/21/2023
3.12.0.50221-nightly-2023-0... 131 3/7/2023
3.12.0.50221-nightly-2023-0... 120 3/6/2023
3.12.0.50221-nightly-2023-0... 129 3/3/2023
3.12.0.50221-nightly-2023-0... 133 3/2/2023
3.12.0.50221-nightly-2023-0... 115 3/1/2023
3.12.0.50221-nightly-2023-0... 126 2/28/2023
3.12.0.50221-nightly-2023-0... 117 2/28/2023
3.12.0.50221-nightly-2023-0... 114 2/27/2023
3.12.0.50221-nightly-2023-0... 125 2/27/2023
3.12.0.50221-nightly-2023-0... 127 2/26/2023
3.12.0.50221-nightly-2023-0... 132 2/25/2023
3.12.0.50221-nightly-2023-0... 122 2/23/2023
3.12.0.50221-nightly-2023-0... 119 2/22/2023
3.12.0.50221-nightly-2023-0... 127 2/21/2023
3.11.0.50201 362 2/1/2023
3.11.0.50201-nightly-2023-0... 112 2/21/2023
3.11.0.50201-nightly-2023-0... 119 2/20/2023
3.11.0.50201-nightly-2023-0... 123 2/19/2023
3.11.0.50201-nightly-2023-0... 126 2/18/2023
3.11.0.50201-nightly-2023-0... 123 2/18/2023
3.11.0.50201-nightly-2023-0... 111 2/17/2023
3.11.0.50201-nightly-2023-0... 113 2/16/2023
3.11.0.50201-nightly-2023-0... 115 2/15/2023
3.11.0.50201-nightly-2023-0... 119 2/14/2023
3.11.0.50201-nightly-2023-0... 125 2/13/2023
3.11.0.50201-nightly-2023-0... 124 2/12/2023
3.11.0.50201-nightly-2023-0... 127 2/11/2023
3.11.0.50201-nightly-2023-0... 123 2/11/2023
3.11.0.50201-nightly-2023-0... 117 2/10/2023
3.11.0.50201-nightly-2023-0... 120 2/11/2023
3.11.0.50201-nightly-2023-0... 125 2/9/2023
3.11.0.50201-nightly-2023-0... 129 2/8/2023
3.11.0.50201-nightly-2023-0... 126 2/7/2023
3.11.0.50201-nightly-2023-0... 128 2/6/2023
3.11.0.50201-nightly-2023-0... 131 2/5/2023
3.11.0.50201-nightly-2023-0... 120 2/4/2023
3.11.0.50201-nightly-2023-0... 130 2/3/2023
3.11.0.50201-nightly-2023-0... 134 2/2/2023
3.11.0.50201-nightly-2023-0... 124 2/1/2023
3.10.0.41215 920 12/15/2022
3.10.0.41215-nightly-2023-0... 160 2/1/2023
3.10.0.41215-nightly-2023-0... 185 1/31/2023
3.10.0.41215-nightly-2023-0... 126 1/30/2023
3.10.0.41215-nightly-2023-0... 136 1/29/2023
3.10.0.41215-nightly-2023-0... 145 1/28/2023
3.10.0.41215-nightly-2023-0... 123 1/27/2023
3.10.0.41215-nightly-2023-0... 132 1/26/2023
3.10.0.41215-nightly-2023-0... 128 1/25/2023
3.10.0.41215-nightly-2023-0... 135 1/24/2023
3.10.0.41215-nightly-2023-0... 134 1/23/2023
3.10.0.41215-nightly-2023-0... 122 1/22/2023
3.10.0.41215-nightly-2023-0... 147 1/21/2023
3.10.0.41215-nightly-2023-0... 136 1/20/2023
3.10.0.41215-nightly-2023-0... 120 1/19/2023
3.10.0.41215-nightly-2023-0... 161 1/18/2023
3.10.0.41215-nightly-2023-0... 132 1/17/2023
3.10.0.41215-nightly-2023-0... 128 1/16/2023
3.10.0.41215-nightly-2023-0... 182 1/15/2023
3.10.0.41215-nightly-2023-0... 131 1/14/2023
3.10.0.41215-nightly-2023-0... 123 1/13/2023
3.10.0.41215-nightly-2023-0... 147 1/12/2023
3.10.0.41215-nightly-2023-0... 127 1/11/2023
3.10.0.41215-nightly-2023-0... 150 1/10/2023
3.10.0.41215-nightly-2023-0... 122 1/9/2023
3.10.0.41215-nightly-2023-0... 136 1/9/2023
3.10.0.41215-nightly-2023-0... 132 1/9/2023
3.10.0.41215-nightly-2023-0... 140 1/6/2023
3.10.0.41215-nightly-2023-0... 148 1/5/2023
3.10.0.41215-nightly-2023-0... 137 1/4/2023
3.10.0.41215-nightly-2023-0... 137 1/3/2023
3.10.0.41215-nightly-2023-0... 139 1/2/2023
3.10.0.41215-nightly-2023-0... 136 1/2/2023
3.10.0.41215-nightly-2022-1... 129 12/31/2022
3.10.0.41215-nightly-2022-1... 108 12/30/2022
3.10.0.41215-nightly-2022-1... 134 12/29/2022
3.10.0.41215-nightly-2022-1... 148 12/28/2022
3.10.0.41215-nightly-2022-1... 156 12/27/2022
3.10.0.41215-nightly-2022-1... 141 12/26/2022
3.10.0.41215-nightly-2022-1... 159 12/25/2022
3.10.0.41215-nightly-2022-1... 153 12/24/2022
3.10.0.41215-nightly-2022-1... 141 12/23/2022
3.10.0.41215-nightly-2022-1... 143 12/22/2022
3.10.0.41215-nightly-2022-1... 139 12/21/2022
3.10.0.41215-nightly-2022-1... 143 12/20/2022
3.10.0.41215-nightly-2022-1... 135 12/19/2022
3.10.0.41215-nightly-2022-1... 136 12/18/2022
3.10.0.41215-nightly-2022-1... 130 12/17/2022
3.10.0.41215-nightly-2022-1... 133 12/15/2022
3.10.0.41129-nightly-2022-1... 143 11/29/2022
3.10.0-nightly-2022-12-16-7... 139 12/16/2022
3.10.0-nightly-2022-12-15-5... 127 12/15/2022
3.10.0-nightly-2022-12-14-3... 154 12/14/2022
3.10.0-nightly-2022-12-13-1... 122 12/13/2022
3.10.0-nightly-2022-12-12-f... 140 12/12/2022
3.10.0-nightly-2022-12-12-1... 126 12/12/2022
3.10.0-nightly-2022-12-11-f... 122 12/11/2022
3.10.0-nightly-2022-12-10-f... 135 12/10/2022
3.10.0-nightly-2022-12-09-f... 130 12/9/2022
3.10.0-nightly-2022-12-08-b... 149 12/8/2022
3.10.0-nightly-2022-12-07-3... 125 12/7/2022
3.10.0-nightly-2022-12-06-3... 122 12/6/2022
3.10.0-nightly-2022-12-05-3... 144 12/5/2022
3.10.0-nightly-2022-12-04-3... 135 12/4/2022
3.10.0-nightly-2022-12-03-3... 151 12/3/2022
3.10.0-nightly-2022-12-02-e... 134 12/2/2022
3.9.1.41027 660 10/27/2022
3.9.1.41027-nightly-2022-12... 139 12/1/2022
3.9.1.41027-nightly-2022-11... 144 11/30/2022
3.9.1.41027-nightly-2022-11... 148 11/29/2022
3.9.1.41027-nightly-2022-11... 135 11/29/2022
3.9.1.41027-nightly-2022-11... 128 11/28/2022
3.9.1.41027-nightly-2022-11... 138 11/27/2022
3.9.1.41027-nightly-2022-11... 145 11/26/2022
3.9.1.41027-nightly-2022-11... 141 11/25/2022
3.9.1.41027-nightly-2022-11... 130 11/24/2022
3.9.1.41027-nightly-2022-11... 145 11/23/2022
3.9.1.41027-nightly-2022-11... 149 11/22/2022
3.9.1.41027-nightly-2022-11... 133 11/21/2022
3.9.1.41027-nightly-2022-11... 137 11/20/2022
3.9.1.41027-nightly-2022-11... 141 11/19/2022
3.9.1.41027-nightly-2022-11... 134 11/18/2022
3.9.1.41027-nightly-2022-11... 133 11/17/2022
3.9.1.41027-nightly-2022-11... 135 11/16/2022
3.9.1.41027-nightly-2022-11... 146 11/15/2022
3.9.1.41027-nightly-2022-11... 148 11/14/2022
3.9.1.41027-nightly-2022-11... 144 11/13/2022
3.9.1.41027-nightly-2022-11... 145 11/12/2022
3.9.1.41027-nightly-2022-11... 155 11/11/2022
3.9.1.41027-nightly-2022-11... 143 11/10/2022
3.9.1.41027-nightly-2022-11... 133 11/9/2022
3.9.1.41027-nightly-2022-11... 133 11/8/2022
3.9.1.41027-nightly-2022-11... 133 11/7/2022
3.9.1.41027-nightly-2022-11... 148 11/6/2022
3.9.1.41027-nightly-2022-11... 144 11/5/2022
3.9.1.41027-nightly-2022-11... 128 11/4/2022
3.9.1.41027-nightly-2022-11... 144 11/3/2022
3.9.1.41027-nightly-2022-11... 142 11/2/2022
3.9.1.41027-nightly-2022-11... 133 11/2/2022
3.9.1.41027-nightly-2022-10... 148 10/31/2022
3.9.1.41027-nightly-2022-10... 136 10/29/2022
3.9.1.41027-nightly-2022-10... 145 10/28/2022
3.9.1.41027-nightly-2022-10... 142 10/27/2022
3.9.0.41003 711 10/3/2022
3.9.0.41003-nightly-2022-10... 165 10/27/2022
3.9.0.41003-nightly-2022-10... 137 10/26/2022
3.9.0.41003-nightly-2022-10... 128 10/25/2022
3.9.0.41003-nightly-2022-10... 150 10/24/2022
3.9.0.41003-nightly-2022-10... 144 10/23/2022
3.9.0.41003-nightly-2022-10... 152 10/22/2022
3.9.0.41003-nightly-2022-10... 158 10/21/2022
3.9.0.41003-nightly-2022-10... 164 10/20/2022
3.9.0.41003-nightly-2022-10... 173 10/19/2022
3.9.0.41003-nightly-2022-10... 145 10/18/2022
3.9.0.41003-nightly-2022-10... 138 10/16/2022
3.9.0.41003-nightly-2022-10... 155 10/15/2022
3.9.0.41003-nightly-2022-10... 157 10/14/2022
3.9.0.41003-nightly-2022-10... 160 10/13/2022
3.9.0.41003-nightly-2022-10... 139 10/12/2022
3.9.0.41003-nightly-2022-10... 139 10/11/2022
3.9.0.41003-nightly-2022-10... 169 10/10/2022
3.9.0.41003-nightly-2022-10... 141 10/9/2022
3.9.0.41003-nightly-2022-10... 145 10/8/2022
3.9.0.41003-nightly-2022-10... 152 10/7/2022
3.9.0.41003-nightly-2022-10... 134 10/6/2022
3.9.0.41003-nightly-2022-10... 130 10/5/2022
3.9.0.41003-nightly-2022-10... 133 10/4/2022
3.9.0.41003-nightly-2022-10... 138 10/3/2022
3.9.0.40930 697 10/3/2022
3.9.0.40930-nightly-2022-09... 138 9/30/2022
3.8.1.40901-nightly-2022-10... 146 10/3/2022
3.8.1.40901-nightly-2022-10... 153 10/2/2022
3.8.1.40901-nightly-2022-10... 153 10/1/2022
3.8.1.40901-nightly-2022-09... 143 9/30/2022
3.8.1.40901-nightly-2022-09... 152 9/29/2022
3.8.1.40901-nightly-2022-09... 175 9/28/2022
3.8.1.40901-nightly-2022-09... 153 9/27/2022
3.8.1.40901-nightly-2022-09... 157 9/26/2022
3.8.1.40901-nightly-2022-09... 187 9/25/2022
3.8.1.40901-nightly-2022-09... 476 9/24/2022