DafnyCore 4.8.0-nightly-2024-10-01-0831a23

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.8.0-nightly-2024-10-01-0831a23

NuGet\Install-Package DafnyCore -Version 4.8.0-nightly-2024-10-01-0831a23

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.8.0-nightly-2024-10-01-0831a23" />

For projects that support PackageReference, copy this XML node into the project file to reference the package.

paket add DafnyCore --version 4.8.0-nightly-2024-10-01-0831a23

The NuGet Team does not provide support for this client. Please contact its maintainers for support.

#r "nuget: DafnyCore, 4.8.0-nightly-2024-10-01-0831a23"

#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.8.0-nightly-2024-10-01-0831a23&prerelease

// Install DafnyCore as a Cake Tool
#tool nuget:?package=DafnyCore&version=4.8.0-nightly-2024-10-01-0831a23&prerelease

The NuGet Team does not provide support for this client. Please contact its maintainers for support.

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.

Product

.NET

Compatible target framework(s)

Included target framework(s) (in package)

Learn more about Target Frameworks and .NET Standard.

net6.0
- Boogie.ExecutionEngine (>= 3.2.5)
- DafnyRuntime (>= 4.8.0-nightly-2024-10-01-0831a23)
- JetBrains.Annotations (>= 2021.1.0)
- Microsoft.Extensions.FileSystemGlobbing (>= 5.0.0)
- Microsoft.Extensions.Logging.Abstractions (>= 5.0.0)
- OmniSharp.Extensions.LanguageServer (>= 0.19.5)
- Serilog (>= 2.12.0)
- System.Collections.Immutable (>= 1.7.1)
- System.CommandLine (>= 2.0.0-beta4.22272.1)
- System.Runtime.Numerics (>= 4.3.0)
- Tomlyn (>= 0.16.2)

NuGet packages (4)

Showing the top 4 NuGet packages that depend on DafnyCore:

Package	Downloads
DafnyPipeline Package Description	149.2K
DafnyLanguageServer Package Description	135.1K
DafnyDriver Package Description	83.7K
DafnyBenchmarkingPlugin Package Description	43.6K

GitHub repositories

This package is not used by any popular GitHub repositories.

Version	Downloads	Last updated
4.9.1-nightly-2024-11-25-7c...	85	11/25/2024
4.9.1-nightly-2024-11-24-7c...	82	11/24/2024
4.9.1-nightly-2024-11-23-7c...	87	11/23/2024
4.9.1-nightly-2024-11-22-0b...	93	11/22/2024
4.9.1-nightly-2024-11-21-ac...	89	11/21/2024
4.9.1-nightly-2024-11-20-b9...	108	11/20/2024
4.9.1-nightly-2024-11-19-b9...	106	11/19/2024
4.9.1-nightly-2024-11-18-b9...	110	11/18/2024
4.9.1-nightly-2024-11-17-b9...	102	11/17/2024
4.9.1-nightly-2024-11-16-f9...	103	11/16/2024
4.9.1-nightly-2024-11-15-91...	114	11/15/2024
4.9.1-nightly-2024-11-14-7d...	118	11/14/2024
4.9.1-nightly-2024-11-13-5f...	106	11/13/2024
4.9.1-nightly-2024-11-12-e7...	108	11/12/2024
4.9.1-nightly-2024-11-11-e7...	114	11/11/2024
4.9.1-nightly-2024-11-10-e7...	120	11/10/2024
4.9.1-nightly-2024-11-09-e7...	111	11/9/2024
4.9.1-nightly-2024-11-08-94...	117	11/8/2024
4.9.1-nightly-2024-11-07-a0...	99	11/7/2024
4.9.1-nightly-2024-11-06-3e...	112	11/6/2024
4.9.1-nightly-2024-11-05-f9...	108	11/5/2024
4.9.1-nightly-2024-11-04-f9...	116	11/4/2024
4.9.1-nightly-2024-11-03-5b...	118	11/3/2024
4.9.1-nightly-2024-11-02-5b...	116	11/2/2024
4.9.1-nightly-2024-11-01-ea...	111	11/1/2024
4.9.0	169	10/31/2024
4.8.1	394	9/16/2024
4.8.1-nightly-2024-10-31-c5...	117	10/31/2024
4.8.1-nightly-2024-10-30-c5...	110	10/30/2024
4.8.1-nightly-2024-10-29-7a...	105	10/29/2024
4.8.1-nightly-2024-10-29-72...	99	10/29/2024
4.8.1-nightly-2024-10-24-77...	108	10/24/2024
4.8.1-nightly-2024-10-23-77...	107	10/23/2024
4.8.1-nightly-2024-10-22-77...	101	10/22/2024
4.8.1-nightly-2024-10-21-a0...	103	10/21/2024
4.8.1-nightly-2024-10-20-a0...	123	10/20/2024
4.8.1-nightly-2024-10-19-a0...	139	10/19/2024
4.8.1-nightly-2024-10-18-2d...	140	10/18/2024
4.8.1-nightly-2024-10-17-59...	98	10/17/2024
4.8.1-nightly-2024-10-16-7f...	105	10/16/2024
4.8.1-nightly-2024-10-15-60...	99	10/15/2024
4.8.1-nightly-2024-10-14-c4...	112	10/14/2024
4.8.1-nightly-2024-10-13-c4...	111	10/13/2024
4.8.1-nightly-2024-10-12-c4...	113	10/12/2024
4.8.1-nightly-2024-10-11-8f...	109	10/11/2024
4.8.1-nightly-2024-10-10-8f...	114	10/10/2024
4.8.1-nightly-2024-10-09-37...	122	10/9/2024
4.8.1-nightly-2024-10-06-b5...	116	10/6/2024
4.8.1-nightly-2024-10-05-b5...	116	10/5/2024
4.8.1-nightly-2024-10-04-b5...	106	10/4/2024
4.8.0	408	8/29/2024
4.8.0-nightly-2024-10-03-d9...	109	10/3/2024
4.8.0-nightly-2024-10-02-d9...	114	10/2/2024
4.8.0-nightly-2024-10-01-08...	119	10/1/2024
4.8.0-nightly-2024-09-30-38...	110	9/30/2024
4.8.0-nightly-2024-09-29-38...	102	9/29/2024
4.8.0-nightly-2024-09-27-66...	108	9/27/2024
4.8.0-nightly-2024-09-26-cb...	110	9/26/2024
4.8.0-nightly-2024-09-25-8a...	118	9/25/2024
4.8.0-nightly-2024-09-24-ef...	120	9/24/2024
4.8.0-nightly-2024-09-23-05...	123	9/23/2024
4.8.0-nightly-2024-09-22-05...	114	9/22/2024
4.8.0-nightly-2024-09-21-05...	102	9/21/2024
4.8.0-nightly-2024-09-20-05...	113	9/20/2024
4.8.0-nightly-2024-09-19-17...	110	9/19/2024
4.8.0-nightly-2024-09-18-fc...	106	9/18/2024
4.8.0-nightly-2024-09-17-8f...	130	9/17/2024
4.8.0-nightly-2024-09-16-e9...	140	9/16/2024
4.8.0-nightly-2024-09-16-d3...	143	9/16/2024
4.8.0-nightly-2024-09-15-e9...	139	9/15/2024
4.8.0-nightly-2024-09-14-e9...	137	9/14/2024
4.8.0-nightly-2024-09-13-e9...	141	9/13/2024
4.8.0-nightly-2024-09-12-3a...	142	9/12/2024
4.8.0-nightly-2024-09-10-83...	173	9/10/2024
4.8.0-nightly-2024-09-09-db...	160	9/9/2024
4.8.0-nightly-2024-09-08-79...	149	9/8/2024
4.8.0-nightly-2024-09-07-79...	171	9/7/2024
4.8.0-nightly-2024-09-06-ad...	166	9/6/2024
4.8.0-nightly-2024-09-05-0f...	168	9/5/2024
4.8.0-nightly-2024-09-04-24...	163	9/4/2024
4.7.0	655	6/26/2024
4.7.0-nightly-2024-09-03-b3...	148	9/3/2024
4.7.0-nightly-2024-09-02-b3...	143	9/2/2024
4.7.0-nightly-2024-09-01-b3...	131	9/1/2024
4.7.0-nightly-2024-08-31-b3...	144	8/31/2024
4.7.0-nightly-2024-08-30-d8...	141	8/30/2024
4.7.0-nightly-2024-08-29-d8...	129	8/29/2024
4.7.0-nightly-2024-08-28-a4...	135	8/28/2024
4.7.0-nightly-2024-08-27-a4...	143	8/27/2024
4.7.0-nightly-2024-08-26-a4...	129	8/26/2024
4.7.0-nightly-2024-08-25-a4...	156	8/25/2024
4.7.0-nightly-2024-08-24-a4...	158	8/24/2024
4.7.0-nightly-2024-08-23-a4...	163	8/23/2024
4.7.0-nightly-2024-08-22-eb...	162	8/22/2024
4.7.0-nightly-2024-08-21-eb...	162	8/21/2024
4.7.0-nightly-2024-08-20-eb...	175	8/20/2024
4.7.0-nightly-2024-08-19-4e...	157	8/19/2024
4.7.0-nightly-2024-08-18-7e...	169	8/18/2024
4.7.0-nightly-2024-08-17-7e...	159	8/17/2024
4.7.0-nightly-2024-08-16-7e...	155	8/16/2024
4.7.0-nightly-2024-08-15-8d...	154	8/15/2024
4.7.0-nightly-2024-08-14-6d...	158	8/14/2024
4.7.0-nightly-2024-08-13-64...	169	8/13/2024
4.7.0-nightly-2024-08-12-f5...	146	8/12/2024
4.7.0-nightly-2024-08-11-c9...	153	8/11/2024
4.7.0-nightly-2024-08-10-c9...	156	8/10/2024
4.7.0-nightly-2024-08-09-c9...	174	8/9/2024
4.7.0-nightly-2024-08-08-bc...	140	8/8/2024
4.7.0-nightly-2024-08-07-b1...	130	8/7/2024
4.7.0-nightly-2024-08-06-b1...	126	8/6/2024
4.7.0-nightly-2024-08-05-b1...	125	8/5/2024
4.7.0-nightly-2024-08-03-b1...	120	8/3/2024
4.7.0-nightly-2024-08-02-b1...	113	8/2/2024
4.7.0-nightly-2024-08-01-86...	124	8/1/2024
4.7.0-nightly-2024-07-31-86...	114	7/31/2024
4.7.0-nightly-2024-07-30-36...	103	7/30/2024
4.7.0-nightly-2024-07-29-d8...	92	7/29/2024
4.7.0-nightly-2024-07-29-70...	108	7/29/2024
4.7.0-nightly-2024-07-28-70...	94	7/28/2024
4.7.0-nightly-2024-07-27-70...	85	7/27/2024
4.7.0-nightly-2024-07-26-70...	95	7/26/2024
4.7.0-nightly-2024-07-25-70...	109	7/25/2024
4.7.0-nightly-2024-07-24-f1...	121	7/24/2024
4.7.0-nightly-2024-07-23-f1...	141	7/23/2024
4.7.0-nightly-2024-07-22-91...	160	7/22/2024
4.7.0-nightly-2024-07-21-91...	144	7/21/2024
4.7.0-nightly-2024-07-20-91...	155	7/20/2024
4.7.0-nightly-2024-07-19-91...	137	7/19/2024
4.7.0-nightly-2024-07-18-91...	149	7/19/2024
4.7.0-nightly-2024-07-17-91...	130	7/17/2024
4.7.0-nightly-2024-07-16-91...	130	7/17/2024
4.7.0-nightly-2024-07-15-91...	146	7/15/2024
4.7.0-nightly-2024-07-14-91...	140	7/14/2024
4.7.0-nightly-2024-07-13-91...	130	7/13/2024
4.7.0-nightly-2024-07-12-91...	148	7/12/2024
4.7.0-nightly-2024-07-11-04...	126	7/11/2024
4.7.0-nightly-2024-07-10-52...	148	7/10/2024
4.7.0-nightly-2024-07-09-7e...	133	7/9/2024
4.7.0-nightly-2024-07-08-20...	136	7/8/2024
4.7.0-nightly-2024-07-07-9a...	135	7/8/2024
4.7.0-nightly-2024-07-05-04...	129	7/5/2024
4.7.0-nightly-2024-07-04-04...	136	7/4/2024
4.7.0-nightly-2024-07-03-14...	136	7/3/2024
4.7.0-nightly-2024-07-02-14...	131	7/3/2024
4.7.0-nightly-2024-07-01-14...	141	7/2/2024
4.7.0-nightly-2024-06-30-14...	156	6/30/2024
4.7.0-nightly-2024-06-29-14...	158	6/29/2024
4.7.0-nightly-2024-06-28-14...	156	6/28/2024
4.7.0-nightly-2024-06-27-14...	146	6/27/2024
4.6.0	849	3/28/2024
4.6.0-nightly-2024-06-26-eb...	155	6/26/2024
4.6.0-nightly-2024-06-25-2e...	147	6/25/2024
4.6.0-nightly-2024-06-24-08...	148	6/24/2024
4.6.0-nightly-2024-06-23-08...	143	6/23/2024
4.6.0-nightly-2024-06-22-08...	143	6/22/2024
4.6.0-nightly-2024-06-21-e3...	147	6/21/2024
4.6.0-nightly-2024-06-20-94...	152	6/20/2024
4.6.0-nightly-2024-06-19-94...	145	6/19/2024
4.6.0-nightly-2024-06-15-5f...	159	6/15/2024
4.6.0-nightly-2024-06-14-70...	149	6/14/2024
4.6.0-nightly-2024-06-13-70...	146	6/14/2024
4.6.0-nightly-2024-06-12-f1...	129	6/12/2024
4.6.0-nightly-2024-06-11-64...	129	6/11/2024
4.6.0-nightly-2024-06-10-f0...	138	6/10/2024
4.6.0-nightly-2024-06-09-f0...	126	6/9/2024
4.6.0-nightly-2024-06-08-9f...	141	6/8/2024
4.6.0-nightly-2024-06-07-43...	134	6/7/2024
4.6.0-nightly-2024-06-06-66...	130	6/6/2024
4.6.0-nightly-2024-06-04-da...	160	6/4/2024
4.6.0-nightly-2024-06-04-75...	128	6/4/2024
4.6.0-nightly-2024-06-04-52...	148	6/4/2024
4.6.0-nightly-2024-05-29-b5...	139	5/29/2024
4.6.0-nightly-2024-05-28-dc...	150	5/28/2024
4.6.0-nightly-2024-05-24-6b...	151	5/24/2024
4.6.0-nightly-2024-05-23-41...	150	5/24/2024
4.6.0-nightly-2024-05-22-41...	142	5/23/2024
4.6.0-nightly-2024-05-21-33...	154	5/21/2024
4.6.0-nightly-2024-05-20-7e...	151	5/20/2024
4.6.0-nightly-2024-05-18-2f...	165	5/18/2024
4.6.0-nightly-2024-05-17-80...	149	5/17/2024
4.6.0-nightly-2024-05-16-8d...	157	5/16/2024
4.6.0-nightly-2024-05-15-af...	156	5/15/2024
4.6.0-nightly-2024-05-14-8d...	144	5/14/2024
4.6.0-nightly-2024-05-13-70...	131	5/13/2024
4.6.0-nightly-2024-05-12-70...	126	5/12/2024
4.6.0-nightly-2024-05-11-70...	119	5/11/2024
4.6.0-nightly-2024-05-10-cc...	129	5/10/2024
4.6.0-nightly-2024-05-09-84...	142	5/9/2024
4.6.0-nightly-2024-05-08-1c...	126	5/8/2024
4.6.0-nightly-2024-05-07-55...	160	5/7/2024
4.6.0-nightly-2024-05-06-55...	162	5/6/2024
4.6.0-nightly-2024-05-05-55...	178	5/5/2024
4.6.0-nightly-2024-05-04-55...	163	5/4/2024
4.6.0-nightly-2024-05-03-55...	122	5/3/2024
4.6.0-nightly-2024-05-02-07...	120	5/3/2024
4.6.0-nightly-2024-05-01-8e...	135	5/1/2024
4.6.0-nightly-2024-05-01-88...	145	5/1/2024
4.6.0-nightly-2024-04-29-ea...	140	4/29/2024
4.6.0-nightly-2024-04-26-bc...	144	4/26/2024
4.6.0-nightly-2024-04-25-b4...	162	4/25/2024
4.6.0-nightly-2024-04-24-06...	160	4/24/2024
4.6.0-nightly-2024-04-22-00...	155	4/22/2024
4.6.0-nightly-2024-04-21-2e...	140	4/21/2024
4.6.0-nightly-2024-04-20-2e...	149	4/21/2024
4.6.0-nightly-2024-04-19-0c...	158	4/19/2024
4.6.0-nightly-2024-04-18-0c...	148	4/18/2024
4.6.0-nightly-2024-04-17-b3...	146	4/17/2024
4.6.0-nightly-2024-04-16-1c...	164	4/16/2024
4.6.0-nightly-2024-04-15-13...	156	4/15/2024
4.6.0-nightly-2024-04-14-13...	159	4/15/2024
4.6.0-nightly-2024-04-13-13...	165	4/13/2024
4.6.0-nightly-2024-04-12-4e...	149	4/12/2024
4.6.0-nightly-2024-04-11-62...	154	4/11/2024
4.6.0-nightly-2024-04-10-d8...	151	4/10/2024
4.6.0-nightly-2024-04-09-65...	162	4/9/2024
4.6.0-nightly-2024-04-08-be...	150	4/8/2024
4.6.0-nightly-2024-04-07-be...	148	4/7/2024
4.6.0-nightly-2024-04-05-56...	147	4/5/2024
4.6.0-nightly-2024-04-04-5c...	148	4/4/2024
4.6.0-nightly-2024-04-03-91...	142	4/3/2024
4.6.0-nightly-2024-04-02-5b...	160	4/2/2024
4.6.0-nightly-2024-04-01-69...	162	4/1/2024
4.6.0-nightly-2024-03-31-4a...	138	3/31/2024
4.6.0-nightly-2024-03-29-8f...	154	3/29/2024
4.6.0-nightly-2024-03-29-71...	141	3/29/2024
4.5.0	298	3/15/2024
4.5.0-nightly-2024-03-27-ca...	148	3/27/2024
4.5.0-nightly-2024-03-26-0c...	156	3/27/2024
4.5.0-nightly-2024-03-25-f4...	177	3/25/2024
4.5.0-nightly-2024-03-24-f4...	147	3/25/2024
4.5.0-nightly-2024-03-23-f4...	169	3/23/2024
4.5.0-nightly-2024-03-22-ec...	169	3/22/2024
4.5.0-nightly-2024-03-21-7c...	142	3/21/2024
4.5.0-nightly-2024-03-20-99...	165	3/20/2024
4.5.0-nightly-2024-03-19-39...	166	3/20/2024
4.5.0-nightly-2024-03-18-39...	156	3/18/2024
4.5.0-nightly-2024-03-17-39...	150	3/17/2024
4.5.0-nightly-2024-03-16-39...	151	3/16/2024
4.5.0-nightly-2024-03-15-02...	156	3/15/2024
4.4.0	857	12/12/2023
4.4.0-nightly-2024-03-15-87...	178	3/15/2024
4.4.0-nightly-2024-03-14-28...	154	3/14/2024
4.4.0-nightly-2024-03-13-f1...	152	3/13/2024
4.4.0-nightly-2024-03-12-69...	152	3/12/2024
4.4.0-nightly-2024-03-11-a8...	156	3/11/2024
4.4.0-nightly-2024-03-10-a2...	131	3/11/2024
4.4.0-nightly-2024-03-09-a2...	159	3/9/2024
4.4.0-nightly-2024-03-08-1d...	169	3/8/2024
4.4.0-nightly-2024-03-06-35...	139	3/6/2024
4.4.0-nightly-2024-03-05-35...	182	3/5/2024
4.4.0-nightly-2024-03-04-54...	176	3/4/2024
4.4.0-nightly-2024-03-03-4e...	166	3/3/2024
4.4.0-nightly-2024-03-01-26...	178	3/1/2024
4.4.0-nightly-2024-02-29-2a...	191	2/29/2024
4.4.0-nightly-2024-02-28-2a...	157	2/28/2024
4.4.0-nightly-2024-02-27-2a...	153	2/27/2024
4.4.0-nightly-2024-02-26-1c...	154	2/26/2024
4.4.0-nightly-2024-02-25-d6...	160	2/26/2024
4.4.0-nightly-2024-02-24-d6...	170	2/24/2024
4.4.0-nightly-2024-02-23-d6...	160	2/23/2024
4.4.0-nightly-2024-02-22-e2...	167	2/22/2024
4.4.0-nightly-2024-02-21-22...	167	2/21/2024
4.4.0-nightly-2024-02-20-ce...	153	2/20/2024
4.4.0-nightly-2024-02-19-be...	161	2/19/2024
4.4.0-nightly-2024-02-18-be...	157	2/18/2024
4.4.0-nightly-2024-02-17-be...	180	2/17/2024
4.4.0-nightly-2024-02-16-af...	151	2/16/2024
4.4.0-nightly-2024-02-15-73...	165	2/15/2024
4.4.0-nightly-2024-02-14-5c...	166	2/14/2024
4.4.0-nightly-2024-02-13-9d...	159	2/13/2024
4.4.0-nightly-2024-02-12-d7...	149	2/12/2024
4.4.0-nightly-2024-02-11-c8...	152	2/11/2024
4.4.0-nightly-2024-02-10-c8...	147	2/10/2024
4.4.0-nightly-2024-02-09-29...	166	2/9/2024
4.4.0-nightly-2024-02-08-fc...	157	2/8/2024
4.4.0-nightly-2024-02-07-59...	152	2/7/2024
4.4.0-nightly-2024-02-06-b3...	155	2/6/2024
4.4.0-nightly-2024-02-05-16...	155	2/5/2024
4.4.0-nightly-2024-02-04-c6...	160	2/4/2024
4.4.0-nightly-2024-02-03-c6...	148	2/3/2024
4.4.0-nightly-2024-02-02-70...	159	2/2/2024
4.4.0-nightly-2024-02-01-8b...	147	2/1/2024
4.4.0-nightly-2024-01-31-8b...	159	1/31/2024
4.4.0-nightly-2024-01-30-90...	141	1/30/2024
4.4.0-nightly-2024-01-26-cf...	154	1/26/2024
4.4.0-nightly-2024-01-25-cf...	147	1/25/2024
4.4.0-nightly-2024-01-24-9d...	151	1/24/2024
4.4.0-nightly-2024-01-23-fe...	159	1/23/2024
4.4.0-nightly-2024-01-22-47...	155	1/22/2024
4.4.0-nightly-2024-01-21-a7...	145	1/21/2024
4.4.0-nightly-2024-01-20-79...	158	1/20/2024
4.4.0-nightly-2024-01-19-99...	158	1/19/2024
4.4.0-nightly-2024-01-19-3b...	154	1/19/2024
4.4.0-nightly-2024-01-18-3b...	149	1/18/2024
4.4.0-nightly-2024-01-17-3b...	150	1/17/2024
4.4.0-nightly-2024-01-03-2c...	188	1/3/2024
4.4.0-nightly-2024-01-01-2c...	172	1/1/2024
4.4.0-nightly-2023-12-31-2c...	169	12/31/2023
4.4.0-nightly-2023-12-30-2c...	179	12/30/2023
4.4.0-nightly-2023-12-29-2c...	187	12/29/2023
4.4.0-nightly-2023-12-28-2c...	176	12/28/2023
4.4.0-nightly-2023-12-27-2c...	194	12/27/2023
4.4.0-nightly-2023-12-26-2c...	177	12/26/2023
4.4.0-nightly-2023-12-25-2c...	187	12/25/2023
4.4.0-nightly-2023-12-24-2c...	166	12/24/2023
4.4.0-nightly-2023-12-23-2c...	180	12/23/2023
4.4.0-nightly-2023-12-22-2c...	167	12/22/2023
4.4.0-nightly-2023-12-21-2c...	165	12/21/2023
4.4.0-nightly-2023-12-20-2c...	184	12/20/2023
4.4.0-nightly-2023-12-19-2c...	167	12/19/2023
4.4.0-nightly-2023-12-18-2c...	174	12/18/2023
4.4.0-nightly-2023-12-17-2c...	163	12/17/2023
4.4.0-nightly-2023-12-16-2c...	161	12/16/2023
4.4.0-nightly-2023-12-15-2c...	176	12/15/2023
4.4.0-nightly-2023-12-14-2c...	173	12/15/2023
4.4.0-nightly-2023-12-13-2c...	170	12/13/2023
4.4.0-nightly-2023-12-12-4f...	182	12/12/2023
4.4.0-nightly-2023-12-11-4f...	174	12/11/2023
4.4.0-nightly-2023-12-10-4f...	183	12/10/2023
4.4.0-nightly-2023-12-09-4f...	173	12/9/2023
4.3.0	319	9/28/2023
4.3.0-nightly-2023-12-08-7e...	167	12/8/2023
4.3.0-nightly-2023-12-07-c9...	185	12/7/2023
4.3.0-nightly-2023-12-06-6a...	168	12/6/2023
4.3.0-nightly-2023-12-05-cc...	139	12/5/2023
4.3.0-nightly-2023-12-04-fd...	151	12/4/2023
4.3.0-nightly-2023-12-03-23...	170	12/3/2023
4.3.0-nightly-2023-12-02-23...	160	12/2/2023
4.3.0-nightly-2023-12-01-05...	164	12/1/2023
4.3.0-nightly-2023-11-30-8e...	175	11/30/2023
4.3.0-nightly-2023-11-29-f7...	169	11/29/2023
4.3.0-nightly-2023-11-28-c5...	152	11/28/2023
4.3.0-nightly-2023-11-27-98...	162	11/27/2023
4.3.0-nightly-2023-11-25-b1...	162	11/25/2023
4.3.0-nightly-2023-11-24-b1...	161	11/24/2023
4.3.0-nightly-2023-11-23-ec...	170	11/23/2023
4.3.0-nightly-2023-11-22-ec...	183	11/22/2023
4.3.0-nightly-2023-11-21-fd...	158	11/21/2023
4.3.0-nightly-2023-11-21-4f...	161	11/21/2023
4.3.0-nightly-2023-11-19-dd...	179	11/19/2023
4.3.0-nightly-2023-11-18-dd...	160	11/18/2023
4.3.0-nightly-2023-11-17-06...	179	11/17/2023
4.3.0-nightly-2023-11-16-f8...	173	11/16/2023
4.3.0-nightly-2023-11-15-c6...	158	11/15/2023
4.3.0-nightly-2023-11-14-84...	171	11/14/2023
4.3.0-nightly-2023-11-13-5e...	165	11/13/2023
4.3.0-nightly-2023-11-12-90...	161	11/12/2023
4.3.0-nightly-2023-11-11-90...	154	11/11/2023
4.3.0-nightly-2023-11-10-4d...	159	11/10/2023
4.3.0-nightly-2023-11-09-ee...	168	11/9/2023
4.3.0-nightly-2023-11-08-48...	152	11/8/2023
4.3.0-nightly-2023-11-07-48...	158	11/7/2023
4.3.0-nightly-2023-11-06-d4...	151	11/6/2023
4.3.0-nightly-2023-11-05-d4...	152	11/5/2023
4.3.0-nightly-2023-11-02-53...	157	11/2/2023
4.3.0-nightly-2023-11-01-45...	164	11/1/2023
4.3.0-nightly-2023-10-31-af...	150	10/31/2023
4.3.0-nightly-2023-10-30-bf...	157	10/30/2023
4.3.0-nightly-2023-10-29-17...	156	10/29/2023
4.3.0-nightly-2023-10-28-17...	160	10/28/2023
4.3.0-nightly-2023-10-27-c6...	149	10/27/2023
4.3.0-nightly-2023-10-26-c6...	160	10/26/2023
4.3.0-nightly-2023-10-25-5d...	171	10/25/2023
4.3.0-nightly-2023-10-24-cd...	164	10/24/2023
4.3.0-nightly-2023-10-23-7b...	160	10/23/2023
4.3.0-nightly-2023-10-23-3e...	180	10/24/2023
4.3.0-nightly-2023-10-20-81...	171	10/20/2023
4.3.0-nightly-2023-10-19-9e...	149	10/19/2023
4.3.0-nightly-2023-10-18-32...	157	10/18/2023
4.3.0-nightly-2023-10-17-ad...	162	10/17/2023
4.3.0-nightly-2023-10-16-41...	153	10/16/2023
4.3.0-nightly-2023-10-15-fc...	148	10/15/2023
4.3.0-nightly-2023-10-14-fc...	157	10/14/2023
4.3.0-nightly-2023-10-13-0e...	163	10/13/2023
4.3.0-nightly-2023-09-27-35...	173	9/27/2023
4.2.0	421	7/20/2023
4.2.0-nightly-2023-10-12-fd...	145	10/12/2023
4.2.0-nightly-2023-10-11-fd...	151	10/11/2023
4.2.0-nightly-2023-10-10-fd...	152	10/10/2023
4.2.0-nightly-2023-10-09-fd...	148	10/9/2023
4.2.0-nightly-2023-10-08-fd...	162	10/8/2023
4.2.0-nightly-2023-10-07-fd...	163	10/7/2023
4.2.0-nightly-2023-10-06-fd...	159	10/6/2023
4.2.0-nightly-2023-10-05-fd...	145	10/5/2023
4.2.0-nightly-2023-10-04-fd...	155	10/4/2023
4.2.0-nightly-2023-10-02-fd...	151	10/2/2023
4.2.0-nightly-2023-09-30-fd...	172	9/30/2023
4.2.0-nightly-2023-09-29-fd...	164	9/29/2023
4.2.0-nightly-2023-09-28-fd...	150	9/28/2023
4.2.0-nightly-2023-09-27-fd...	162	9/27/2023
4.2.0-nightly-2023-09-27-4d...	166	9/27/2023
4.2.0-nightly-2023-09-26-a0...	166	9/26/2023
4.2.0-nightly-2023-09-25-67...	163	9/25/2023
4.2.0-nightly-2023-09-24-67...	153	9/24/2023
4.2.0-nightly-2023-09-23-67...	157	9/23/2023
4.2.0-nightly-2023-09-22-67...	163	9/22/2023
4.2.0-nightly-2023-09-21-75...	143	9/21/2023
4.2.0-nightly-2023-09-20-c6...	153	9/20/2023
4.2.0-nightly-2023-09-19-ae...	144	9/19/2023
4.2.0-nightly-2023-09-18-45...	155	9/18/2023
4.2.0-nightly-2023-09-17-45...	156	9/18/2023
4.2.0-nightly-2023-09-16-04...	154	9/16/2023
4.2.0-nightly-2023-09-15-e7...	155	9/15/2023
4.2.0-nightly-2023-09-14-e5...	167	9/14/2023
4.2.0-nightly-2023-09-13-45...	181	9/13/2023
4.2.0-nightly-2023-09-12-27...	165	9/12/2023
4.2.0-nightly-2023-09-11-d2...	173	9/11/2023
4.2.0-nightly-2023-09-10-c5...	160	9/10/2023
4.2.0-nightly-2023-09-09-ed...	155	9/9/2023
4.2.0-nightly-2023-09-08-37...	158	9/8/2023
4.2.0-nightly-2023-09-07-b6...	170	9/7/2023
4.2.0-nightly-2023-09-06-8d...	170	9/6/2023
4.2.0-nightly-2023-09-05-e1...	167	9/5/2023
4.2.0-nightly-2023-09-04-1e...	162	9/4/2023
4.2.0-nightly-2023-09-03-4a...	171	9/4/2023
4.2.0-nightly-2023-09-02-a8...	169	9/2/2023
4.2.0-nightly-2023-09-01-e9...	163	9/1/2023
4.2.0-nightly-2023-08-31-e9...	162	8/31/2023
4.2.0-nightly-2023-08-30-05...	177	8/30/2023
4.2.0-nightly-2023-08-29-a8...	168	8/29/2023
4.2.0-nightly-2023-08-28-52...	167	8/28/2023
4.2.0-nightly-2023-08-27-95...	172	8/27/2023
4.2.0-nightly-2023-08-26-95...	183	8/26/2023
4.2.0-nightly-2023-08-25-fe...	172	8/25/2023
4.2.0-nightly-2023-08-24-c5...	186	8/24/2023
4.2.0-nightly-2023-08-24-06...	172	8/24/2023
4.2.0-nightly-2023-08-23-b9...	169	8/23/2023
4.2.0-nightly-2023-08-22-84...	177	8/22/2023
4.2.0-nightly-2023-08-21-83...	156	8/21/2023
4.2.0-nightly-2023-08-20-83...	164	8/20/2023
4.2.0-nightly-2023-08-19-83...	179	8/19/2023
4.2.0-nightly-2023-08-18-2a...	167	8/18/2023
4.2.0-nightly-2023-08-17-9e...	155	8/17/2023
4.2.0-nightly-2023-08-16-d9...	166	8/16/2023
4.2.0-nightly-2023-08-15-cd...	189	8/15/2023
4.2.0-nightly-2023-08-14-0c...	208	8/14/2023
4.2.0-nightly-2023-08-13-06...	199	8/13/2023
4.2.0-nightly-2023-08-12-06...	196	8/12/2023
4.2.0-nightly-2023-08-11-e2...	191	8/11/2023
4.2.0-nightly-2023-08-10-44...	346	8/10/2023
4.2.0-nightly-2023-08-09-20...	183	8/9/2023
4.2.0-nightly-2023-08-08-ea...	192	8/9/2023
4.2.0-nightly-2023-08-07-c3...	169	8/7/2023
4.2.0-nightly-2023-08-06-24...	182	8/6/2023
4.2.0-nightly-2023-08-05-38...	202	8/5/2023
4.2.0-nightly-2023-08-04-df...	183	8/4/2023
4.2.0-nightly-2023-08-04-65...	182	8/4/2023
4.2.0-nightly-2023-08-02-a9...	194	8/2/2023
4.2.0-nightly-2023-08-01-52...	189	8/1/2023
4.2.0-nightly-2023-07-31-3b...	179	7/31/2023
4.2.0-nightly-2023-07-30-3b...	207	7/30/2023
4.2.0-nightly-2023-07-29-3b...	193	7/29/2023
4.2.0-nightly-2023-07-28-65...	173	7/28/2023
4.2.0-nightly-2023-07-27-02...	193	7/27/2023
4.2.0-nightly-2023-07-26-59...	188	7/26/2023
4.2.0-nightly-2023-07-25-c5...	191	7/25/2023
4.2.0-nightly-2023-07-24-4d...	196	7/24/2023
4.2.0-nightly-2023-07-23-4d...	204	7/23/2023
4.2.0-nightly-2023-07-22-4d...	198	7/22/2023
4.2.0-nightly-2023-07-21-ab...	194	7/21/2023
4.1.0.50522	368	5/22/2023
4.1.0	337	5/10/2023
4.1.0-nightly-2023-07-20-35...	182	7/20/2023
4.1.0-nightly-2023-07-18-ce...	186	7/18/2023
4.1.0-nightly-2023-07-18-86...	193	7/18/2023
4.1.0-nightly-2023-07-17-ec...	185	7/17/2023
4.1.0-nightly-2023-07-17-e9...	190	7/17/2023
4.1.0-nightly-2023-07-16-e9...	186	7/16/2023
4.1.0-nightly-2023-07-15-e9...	191	7/15/2023
4.1.0-nightly-2023-07-14-12...	168	7/14/2023
4.1.0-nightly-2023-07-13-0d...	177	7/13/2023
4.1.0-nightly-2023-07-12-d4...	178	7/12/2023
4.1.0-nightly-2023-07-11-0f...	182	7/11/2023
4.1.0-nightly-2023-07-10-f4...	175	7/10/2023
4.1.0-nightly-2023-07-09-5c...	191	7/9/2023
4.1.0-nightly-2023-07-08-8b...	181	7/8/2023
4.1.0-nightly-2023-07-07-2d...	172	7/7/2023
4.1.0-nightly-2023-07-06-c5...	173	7/6/2023
4.1.0-nightly-2023-07-05-e4...	189	7/5/2023
4.1.0-nightly-2023-07-04-51...	173	7/4/2023
4.1.0-nightly-2023-07-03-65...	173	7/3/2023
4.1.0-nightly-2023-07-02-e4...	183	7/2/2023
4.1.0-nightly-2023-07-01-e4...	170	7/1/2023
4.1.0-nightly-2023-06-30-86...	182	6/30/2023
4.1.0-nightly-2023-06-29-2b...	177	6/29/2023
4.1.0-nightly-2023-06-28-2b...	174	6/28/2023
4.1.0-nightly-2023-06-27-d7...	160	6/27/2023
4.1.0-nightly-2023-06-26-d7...	158	6/26/2023
4.1.0-nightly-2023-06-25-d7...	169	6/25/2023
4.1.0-nightly-2023-06-24-d7...	172	6/24/2023
4.1.0-nightly-2023-06-23-30...	178	6/23/2023
4.1.0-nightly-2023-06-22-bd...	173	6/22/2023
4.1.0-nightly-2023-06-21-bd...	167	6/21/2023
4.1.0-nightly-2023-06-20-21...	181	6/20/2023
4.1.0-nightly-2023-06-19-9a...	176	6/19/2023
4.1.0-nightly-2023-06-18-9a...	161	6/18/2023
4.1.0-nightly-2023-06-17-9a...	176	6/17/2023
4.1.0-nightly-2023-06-16-b2...	158	6/16/2023
4.1.0-nightly-2023-06-16-18...	192	6/16/2023
4.1.0-nightly-2023-06-15-eb...	166	6/15/2023
4.1.0-nightly-2023-06-15-8f...	174	6/15/2023
4.1.0-nightly-2023-06-13-1c...	179	6/13/2023
4.1.0-nightly-2023-06-12-4e...	167	6/12/2023
4.1.0-nightly-2023-06-11-a8...	181	6/11/2023
4.1.0-nightly-2023-06-10-a8...	175	6/10/2023
4.1.0-nightly-2023-06-09-a8...	161	6/9/2023
4.1.0-nightly-2023-06-08-16...	182	6/8/2023
4.1.0-nightly-2023-06-07-28...	172	6/7/2023
4.1.0-nightly-2023-06-06-59...	169	6/6/2023
4.1.0-nightly-2023-06-05-59...	177	6/5/2023
4.1.0-nightly-2023-06-04-59...	159	6/4/2023
4.1.0-nightly-2023-06-03-59...	177	6/3/2023
4.1.0-nightly-2023-06-02-59...	179	6/2/2023
4.1.0-nightly-2023-06-01-68...	168	6/1/2023
4.1.0-nightly-2023-05-31-b6...	184	5/31/2023
4.1.0-nightly-2023-05-31-81...	149	5/31/2023
4.1.0-nightly-2023-05-30-2f...	178	5/30/2023
4.1.0-nightly-2023-05-29-de...	183	5/29/2023
4.1.0-nightly-2023-05-28-80...	179	5/28/2023
4.1.0-nightly-2023-05-27-80...	181	5/27/2023
4.1.0-nightly-2023-05-26-40...	183	5/26/2023
4.1.0-nightly-2023-05-25-b3...	169	5/25/2023
4.1.0-nightly-2023-05-24-38...	163	5/24/2023
4.1.0-nightly-2023-05-23-16...	173	5/23/2023
4.1.0-nightly-2023-05-22-c8...	165	5/22/2023
4.1.0-nightly-2023-05-21-9b...	179	5/21/2023
4.1.0-nightly-2023-05-20-9b...	163	5/20/2023
4.1.0-nightly-2023-05-19-33...	173	5/19/2023
4.1.0-nightly-2023-05-18-8c...	187	5/18/2023
4.1.0-nightly-2023-05-17-49...	186	5/17/2023
4.1.0-nightly-2023-05-17-05...	179	5/17/2023
4.1.0-nightly-2023-05-15-35...	165	5/15/2023
4.1.0-nightly-2023-05-14-35...	166	5/14/2023
4.1.0-nightly-2023-05-12-30...	173	5/12/2023
4.1.0-nightly-2023-05-11-87...	182	5/11/2023
4.1.0-nightly-2023-05-09-26...	185	5/10/2023
4.1.0-nightly-2023-05-08-d9...	317	5/8/2023
4.1.0-nightly-2023-05-07-a2...	176	5/8/2023
4.1.0-nightly-2023-05-06-a2...	169	5/6/2023
4.1.0-nightly-2023-05-05-81...	167	5/5/2023
4.1.0-nightly-2023-05-04-56...	182	5/4/2023
4.1.0-nightly-2023-05-03-aa...	181	5/3/2023
4.1.0-nightly-2023-05-02-bb...	184	5/2/2023
4.1.0-nightly-2023-05-01-38...	190	5/1/2023
4.1.0-nightly-2023-04-30-38...	173	4/30/2023
4.1.0-nightly-2023-04-29-f0...	192	4/29/2023
4.1.0-nightly-2023-04-29-20...	176	4/29/2023
4.1.0-nightly-2023-04-28-41...	182	4/28/2023
4.1.0-nightly-2023-04-27-d7...	198	4/27/2023
4.1.0-nightly-2023-04-26-21...	181	4/26/2023
4.1.0-nightly-2023-04-25-38...	187	4/25/2023
4.1.0-nightly-2023-04-24-f1...	174	4/24/2023
4.1.0-nightly-2023-04-23-f1...	187	4/23/2023
4.1.0-nightly-2023-04-22-f1...	195	4/22/2023
4.1.0-nightly-2023-04-21-1d...	166	4/21/2023
4.1.0-nightly-2023-04-20-1d...	184	4/20/2023
4.1.0-nightly-2023-04-19-1d...	205	4/19/2023
4.0.0.50303	876	3/3/2023
4.0.0.50303-nightly-2023-04...	173	4/18/2023
4.0.0.50303-nightly-2023-04...	181	4/17/2023
4.0.0.50303-nightly-2023-04...	192	4/16/2023
4.0.0.50303-nightly-2023-04...	171	4/15/2023
4.0.0.50303-nightly-2023-04...	166	4/14/2023
4.0.0.50303-nightly-2023-04...	170	4/13/2023
4.0.0.50303-nightly-2023-04...	180	4/12/2023
4.0.0.50303-nightly-2023-04...	182	4/11/2023
4.0.0.50303-nightly-2023-04...	185	4/10/2023
4.0.0.50303-nightly-2023-04...	162	4/9/2023
4.0.0.50303-nightly-2023-04...	164	4/8/2023
4.0.0.50303-nightly-2023-04...	198	4/7/2023
4.0.0.50303-nightly-2023-04...	186	4/6/2023
4.0.0.50303-nightly-2023-04...	166	4/5/2023
4.0.0.50303-nightly-2023-04...	205	4/4/2023
4.0.0.50303-nightly-2023-04...	179	4/5/2023
4.0.0.50303-nightly-2023-04...	194	4/3/2023
4.0.0.50303-nightly-2023-04...	195	4/2/2023
4.0.0.50303-nightly-2023-04...	188	4/1/2023
4.0.0.50303-nightly-2023-03...	184	3/31/2023
4.0.0.50303-nightly-2023-03...	194	3/30/2023
4.0.0.50303-nightly-2023-03...	200	3/29/2023
4.0.0.50303-nightly-2023-03...	196	3/28/2023
4.0.0.50303-nightly-2023-03...	185	3/27/2023
4.0.0.50303-nightly-2023-03...	196	3/25/2023
4.0.0.50303-nightly-2023-03...	193	3/24/2023
4.0.0.50303-nightly-2023-03...	194	3/23/2023
4.0.0.50303-nightly-2023-03...	176	3/22/2023
4.0.0.50303-nightly-2023-03...	184	3/22/2023
4.0.0.50303-nightly-2023-03...	197	3/21/2023
4.0.0.50303-nightly-2023-03...	182	3/21/2023
4.0.0.50303-nightly-2023-03...	190	3/21/2023
4.0.0.50303-nightly-2023-03...	199	3/20/2023
4.0.0.50303-nightly-2023-03...	180	3/19/2023
4.0.0.50303-nightly-2023-03...	199	3/18/2023
4.0.0.50303-nightly-2023-03...	194	3/17/2023
4.0.0.50303-nightly-2023-03...	183	3/16/2023
4.0.0.50303-nightly-2023-03...	181	3/15/2023
4.0.0.50303-nightly-2023-03...	190	3/13/2023
4.0.0.50303-nightly-2023-03...	185	3/12/2023
4.0.0.50303-nightly-2023-03...	182	3/11/2023
4.0.0.50303-nightly-2023-03...	191	3/10/2023
4.0.0.50303-nightly-2023-03...	169	3/9/2023
4.0.0.50303-nightly-2023-03...	180	3/8/2023
4.0.0.50303-nightly-2023-03...	179	3/3/2023
4.0.0.50302	593	3/3/2023
4.0.0.50302-nightly-2023-03...	151	3/2/2023
3.13.1.50302	633	3/2/2023
3.13.1.50302-nightly-2023-0...	743	3/2/2023
3.13.0.50302	342	3/2/2023
3.13.0.50302-nightly-2023-0...	153	3/2/2023
3.12.0.50221	366	2/21/2023
3.12.0.50221-nightly-2023-0...	156	3/7/2023
3.12.0.50221-nightly-2023-0...	148	3/6/2023
3.12.0.50221-nightly-2023-0...	152	3/3/2023
3.12.0.50221-nightly-2023-0...	161	3/2/2023
3.12.0.50221-nightly-2023-0...	149	3/1/2023
3.12.0.50221-nightly-2023-0...	155	2/28/2023
3.12.0.50221-nightly-2023-0...	146	2/28/2023
3.12.0.50221-nightly-2023-0...	142	2/27/2023
3.12.0.50221-nightly-2023-0...	158	2/27/2023
3.12.0.50221-nightly-2023-0...	165	2/26/2023
3.12.0.50221-nightly-2023-0...	161	2/25/2023
3.12.0.50221-nightly-2023-0...	156	2/23/2023
3.12.0.50221-nightly-2023-0...	150	2/22/2023
3.12.0.50221-nightly-2023-0...	158	2/21/2023
3.11.0.50201	391	2/1/2023
3.11.0.50201-nightly-2023-0...	139	2/21/2023
3.11.0.50201-nightly-2023-0...	157	2/20/2023
3.11.0.50201-nightly-2023-0...	157	2/19/2023
3.11.0.50201-nightly-2023-0...	157	2/18/2023
3.11.0.50201-nightly-2023-0...	156	2/18/2023
3.11.0.50201-nightly-2023-0...	141	2/17/2023
3.11.0.50201-nightly-2023-0...	144	2/16/2023
3.11.0.50201-nightly-2023-0...	149	2/15/2023
3.11.0.50201-nightly-2023-0...	160	2/14/2023
3.11.0.50201-nightly-2023-0...	162	2/13/2023
3.11.0.50201-nightly-2023-0...	156	2/12/2023
3.11.0.50201-nightly-2023-0...	162	2/11/2023
3.11.0.50201-nightly-2023-0...	158	2/11/2023
3.11.0.50201-nightly-2023-0...	152	2/10/2023
3.11.0.50201-nightly-2023-0...	150	2/11/2023
3.11.0.50201-nightly-2023-0...	160	2/9/2023
3.11.0.50201-nightly-2023-0...	161	2/8/2023
3.11.0.50201-nightly-2023-0...	156	2/7/2023
3.11.0.50201-nightly-2023-0...	158	2/6/2023
3.11.0.50201-nightly-2023-0...	166	2/5/2023
3.11.0.50201-nightly-2023-0...	153	2/4/2023
3.11.0.50201-nightly-2023-0...	161	2/3/2023
3.11.0.50201-nightly-2023-0...	173	2/2/2023
3.11.0.50201-nightly-2023-0...	152	2/1/2023
3.10.0.41215	1,140	12/15/2022
3.10.0.41215-nightly-2023-0...	193	2/1/2023
3.10.0.41215-nightly-2023-0...	220	1/31/2023
3.10.0.41215-nightly-2023-0...	160	1/30/2023
3.10.0.41215-nightly-2023-0...	166	1/29/2023
3.10.0.41215-nightly-2023-0...	175	1/28/2023
3.10.0.41215-nightly-2023-0...	160	1/27/2023
3.10.0.41215-nightly-2023-0...	166	1/26/2023
3.10.0.41215-nightly-2023-0...	162	1/25/2023
3.10.0.41215-nightly-2023-0...	164	1/24/2023
3.10.0.41215-nightly-2023-0...	172	1/23/2023
3.10.0.41215-nightly-2023-0...	154	1/22/2023
3.10.0.41215-nightly-2023-0...	181	1/21/2023
3.10.0.41215-nightly-2023-0...	171	1/20/2023
3.10.0.41215-nightly-2023-0...	146	1/19/2023
3.10.0.41215-nightly-2023-0...	200	1/18/2023
3.10.0.41215-nightly-2023-0...	168	1/17/2023
3.10.0.41215-nightly-2023-0...	158	1/16/2023
3.10.0.41215-nightly-2023-0...	217	1/15/2023
3.10.0.41215-nightly-2023-0...	161	1/14/2023
3.10.0.41215-nightly-2023-0...	153	1/13/2023
3.10.0.41215-nightly-2023-0...	176	1/12/2023
3.10.0.41215-nightly-2023-0...	160	1/11/2023
3.10.0.41215-nightly-2023-0...	183	1/10/2023
3.10.0.41215-nightly-2023-0...	154	1/9/2023
3.10.0.41215-nightly-2023-0...	166	1/9/2023
3.10.0.41215-nightly-2023-0...	162	1/9/2023
3.10.0.41215-nightly-2023-0...	171	1/6/2023
3.10.0.41215-nightly-2023-0...	178	1/5/2023
3.10.0.41215-nightly-2023-0...	166	1/4/2023
3.10.0.41215-nightly-2023-0...	168	1/3/2023
3.10.0.41215-nightly-2023-0...	172	1/2/2023
3.10.0.41215-nightly-2023-0...	167	1/2/2023
3.10.0.41215-nightly-2022-1...	164	12/31/2022
3.10.0.41215-nightly-2022-1...	129	12/30/2022
3.10.0.41215-nightly-2022-1...	170	12/29/2022
3.10.0.41215-nightly-2022-1...	184	12/28/2022
3.10.0.41215-nightly-2022-1...	193	12/27/2022
3.10.0.41215-nightly-2022-1...	176	12/26/2022
3.10.0.41215-nightly-2022-1...	195	12/25/2022
3.10.0.41215-nightly-2022-1...	190	12/24/2022
3.10.0.41215-nightly-2022-1...	172	12/23/2022
3.10.0.41215-nightly-2022-1...	174	12/22/2022
3.10.0.41215-nightly-2022-1...	166	12/21/2022
3.10.0.41215-nightly-2022-1...	186	12/20/2022
3.10.0.41215-nightly-2022-1...	171	12/19/2022
3.10.0.41215-nightly-2022-1...	167	12/18/2022
3.10.0.41215-nightly-2022-1...	166	12/17/2022
3.10.0.41215-nightly-2022-1...	169	12/15/2022
3.10.0.41129-nightly-2022-1...	179	11/29/2022
3.10.0-nightly-2022-12-16-7...	180	12/16/2022
3.10.0-nightly-2022-12-15-5...	158	12/15/2022
3.10.0-nightly-2022-12-14-3...	189	12/14/2022
3.10.0-nightly-2022-12-13-1...	161	12/13/2022
3.10.0-nightly-2022-12-12-f...	173	12/12/2022
3.10.0-nightly-2022-12-12-1...	167	12/12/2022
3.10.0-nightly-2022-12-11-f...	153	12/11/2022
3.10.0-nightly-2022-12-10-f...	171	12/10/2022
3.10.0-nightly-2022-12-09-f...	170	12/9/2022
3.10.0-nightly-2022-12-08-b...	193	12/8/2022
3.10.0-nightly-2022-12-07-3...	164	12/7/2022
3.10.0-nightly-2022-12-06-3...	164	12/6/2022
3.10.0-nightly-2022-12-05-3...	188	12/5/2022
3.10.0-nightly-2022-12-04-3...	181	12/4/2022
3.10.0-nightly-2022-12-03-3...	189	12/3/2022
3.10.0-nightly-2022-12-02-e...	162	12/2/2022
3.9.1.41027	692	10/27/2022
3.9.1.41027-nightly-2022-12...	169	12/1/2022
3.9.1.41027-nightly-2022-11...	180	11/30/2022
3.9.1.41027-nightly-2022-11...	183	11/29/2022
3.9.1.41027-nightly-2022-11...	172	11/29/2022
3.9.1.41027-nightly-2022-11...	160	11/28/2022
3.9.1.41027-nightly-2022-11...	174	11/27/2022
3.9.1.41027-nightly-2022-11...	182	11/26/2022
3.9.1.41027-nightly-2022-11...	181	11/25/2022
3.9.1.41027-nightly-2022-11...	172	11/24/2022
3.9.1.41027-nightly-2022-11...	181	11/23/2022
3.9.1.41027-nightly-2022-11...	185	11/22/2022
3.9.1.41027-nightly-2022-11...	168	11/21/2022
3.9.1.41027-nightly-2022-11...	175	11/20/2022
3.9.1.41027-nightly-2022-11...	176	11/19/2022
3.9.1.41027-nightly-2022-11...	158	11/18/2022
3.9.1.41027-nightly-2022-11...	166	11/17/2022
3.9.1.41027-nightly-2022-11...	166	11/16/2022
3.9.1.41027-nightly-2022-11...	180	11/15/2022
3.9.1.41027-nightly-2022-11...	198	11/14/2022
3.9.1.41027-nightly-2022-11...	180	11/13/2022
3.9.1.41027-nightly-2022-11...	182	11/12/2022
3.9.1.41027-nightly-2022-11...	190	11/11/2022
3.9.1.41027-nightly-2022-11...	183	11/10/2022
3.9.1.41027-nightly-2022-11...	169	11/9/2022
3.9.1.41027-nightly-2022-11...	172	11/8/2022
3.9.1.41027-nightly-2022-11...	174	11/7/2022
3.9.1.41027-nightly-2022-11...	187	11/6/2022
3.9.1.41027-nightly-2022-11...	183	11/5/2022
3.9.1.41027-nightly-2022-11...	161	11/4/2022
3.9.1.41027-nightly-2022-11...	172	11/3/2022
3.9.1.41027-nightly-2022-11...	197	11/2/2022
3.9.1.41027-nightly-2022-11...	177	11/2/2022
3.9.1.41027-nightly-2022-10...	184	10/31/2022
3.9.1.41027-nightly-2022-10...	175	10/29/2022
3.9.1.41027-nightly-2022-10...	197	10/28/2022
3.9.1.41027-nightly-2022-10...	184	10/27/2022
3.9.0.41003	751	10/3/2022
3.9.0.41003-nightly-2022-10...	210	10/27/2022
3.9.0.41003-nightly-2022-10...	177	10/26/2022
3.9.0.41003-nightly-2022-10...	173	10/25/2022
3.9.0.41003-nightly-2022-10...	187	10/24/2022
3.9.0.41003-nightly-2022-10...	188	10/23/2022
3.9.0.41003-nightly-2022-10...	186	10/22/2022
3.9.0.41003-nightly-2022-10...	197	10/21/2022
3.9.0.41003-nightly-2022-10...	208	10/20/2022
3.9.0.41003-nightly-2022-10...	213	10/19/2022
3.9.0.41003-nightly-2022-10...	192	10/18/2022
3.9.0.41003-nightly-2022-10...	183	10/16/2022
3.9.0.41003-nightly-2022-10...	198	10/15/2022
3.9.0.41003-nightly-2022-10...	198	10/14/2022
3.9.0.41003-nightly-2022-10...	208	10/13/2022
3.9.0.41003-nightly-2022-10...	177	10/12/2022
3.9.0.41003-nightly-2022-10...	183	10/11/2022
3.9.0.41003-nightly-2022-10...	215	10/10/2022
3.9.0.41003-nightly-2022-10...	179	10/9/2022
3.9.0.41003-nightly-2022-10...	178	10/8/2022
3.9.0.41003-nightly-2022-10...	195	10/7/2022
3.9.0.41003-nightly-2022-10...	181	10/6/2022
3.9.0.41003-nightly-2022-10...	178	10/5/2022
3.9.0.41003-nightly-2022-10...	174	10/4/2022
3.9.0.41003-nightly-2022-10...	184	10/3/2022
3.9.0.40930	741	10/3/2022
3.9.0.40930-nightly-2022-09...	171	9/30/2022
3.8.1.40901-nightly-2022-10...	189	10/3/2022
3.8.1.40901-nightly-2022-10...	191	10/2/2022
3.8.1.40901-nightly-2022-10...	195	10/1/2022
3.8.1.40901-nightly-2022-09...	183	9/30/2022
3.8.1.40901-nightly-2022-09...	181	9/29/2022
3.8.1.40901-nightly-2022-09...	214	9/28/2022
3.8.1.40901-nightly-2022-09...	192	9/27/2022
3.8.1.40901-nightly-2022-09...	197	9/26/2022
3.8.1.40901-nightly-2022-09...	229	9/25/2022
3.8.1.40901-nightly-2022-09...	667	9/24/2022

Total 136.8K

Current version 119

Per day average 171

DafnyCore 4.8.0-nightly-2024-10-01-0831a23

net6.0

NuGet packages (4)

GitHub repositories