DafnyCore 4.8.0-nightly-2024-09-24-ef13a72

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-09-24-ef13a72

NuGet\Install-Package DafnyCore -Version 4.8.0-nightly-2024-09-24-ef13a72

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-09-24-ef13a72" />

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-09-24-ef13a72

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

#r "nuget: DafnyCore, 4.8.0-nightly-2024-09-24-ef13a72"

#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-09-24-ef13a72&prerelease

// Install DafnyCore as a Cake Tool
#tool nuget:?package=DafnyCore&version=4.8.0-nightly-2024-09-24-ef13a72&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-09-24-ef13a72)
- 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	130.3K
DafnyLanguageServer Package Description	109.7K
DafnyDriver Package Description	71.0K
DafnyBenchmarkingPlugin Package Description	35.5K

GitHub repositories

This package is not used by any popular GitHub repositories.

Version	Downloads	Last updated
4.8.1	178	9/16/2024
4.8.0	317	8/29/2024
4.8.0-nightly-2024-09-26-cb...	0	9/26/2024
4.8.0-nightly-2024-09-25-8a...	39	9/25/2024
4.8.0-nightly-2024-09-24-ef...	61	9/24/2024
4.8.0-nightly-2024-09-23-05...	91	9/23/2024
4.8.0-nightly-2024-09-22-05...	95	9/22/2024
4.8.0-nightly-2024-09-21-05...	78	9/21/2024
4.8.0-nightly-2024-09-20-05...	88	9/20/2024
4.8.0-nightly-2024-09-19-17...	82	9/19/2024
4.8.0-nightly-2024-09-18-fc...	83	9/18/2024
4.8.0-nightly-2024-09-17-8f...	104	9/17/2024
4.8.0-nightly-2024-09-16-e9...	115	9/16/2024
4.8.0-nightly-2024-09-16-d3...	100	9/16/2024
4.8.0-nightly-2024-09-15-e9...	115	9/15/2024
4.8.0-nightly-2024-09-14-e9...	104	9/14/2024
4.8.0-nightly-2024-09-13-e9...	107	9/13/2024
4.8.0-nightly-2024-09-12-3a...	105	9/12/2024
4.8.0-nightly-2024-09-10-83...	143	9/10/2024
4.8.0-nightly-2024-09-09-db...	132	9/9/2024
4.8.0-nightly-2024-09-08-79...	122	9/8/2024
4.8.0-nightly-2024-09-07-79...	139	9/7/2024
4.8.0-nightly-2024-09-06-ad...	137	9/6/2024
4.8.0-nightly-2024-09-05-0f...	129	9/5/2024
4.8.0-nightly-2024-09-04-24...	123	9/4/2024
4.7.0	624	6/26/2024
4.7.0-nightly-2024-09-03-b3...	98	9/3/2024
4.7.0-nightly-2024-09-02-b3...	115	9/2/2024
4.7.0-nightly-2024-09-01-b3...	104	9/1/2024
4.7.0-nightly-2024-08-31-b3...	114	8/31/2024
4.7.0-nightly-2024-08-30-d8...	114	8/30/2024
4.7.0-nightly-2024-08-29-d8...	99	8/29/2024
4.7.0-nightly-2024-08-28-a4...	110	8/28/2024
4.7.0-nightly-2024-08-27-a4...	103	8/27/2024
4.7.0-nightly-2024-08-26-a4...	105	8/26/2024
4.7.0-nightly-2024-08-25-a4...	136	8/25/2024
4.7.0-nightly-2024-08-24-a4...	135	8/24/2024
4.7.0-nightly-2024-08-23-a4...	137	8/23/2024
4.7.0-nightly-2024-08-22-eb...	137	8/22/2024
4.7.0-nightly-2024-08-21-eb...	142	8/21/2024
4.7.0-nightly-2024-08-20-eb...	135	8/20/2024
4.7.0-nightly-2024-08-19-4e...	130	8/19/2024
4.7.0-nightly-2024-08-18-7e...	127	8/18/2024
4.7.0-nightly-2024-08-17-7e...	132	8/17/2024
4.7.0-nightly-2024-08-16-7e...	135	8/16/2024
4.7.0-nightly-2024-08-15-8d...	134	8/15/2024
4.7.0-nightly-2024-08-14-6d...	129	8/14/2024
4.7.0-nightly-2024-08-13-64...	138	8/13/2024
4.7.0-nightly-2024-08-12-f5...	119	8/12/2024
4.7.0-nightly-2024-08-11-c9...	133	8/11/2024
4.7.0-nightly-2024-08-10-c9...	126	8/10/2024
4.7.0-nightly-2024-08-09-c9...	135	8/9/2024
4.7.0-nightly-2024-08-08-bc...	122	8/8/2024
4.7.0-nightly-2024-08-07-b1...	110	8/7/2024
4.7.0-nightly-2024-08-06-b1...	98	8/6/2024
4.7.0-nightly-2024-08-05-b1...	97	8/5/2024
4.7.0-nightly-2024-08-03-b1...	96	8/3/2024
4.7.0-nightly-2024-08-02-b1...	87	8/2/2024
4.7.0-nightly-2024-08-01-86...	97	8/1/2024
4.7.0-nightly-2024-07-31-86...	84	7/31/2024
4.7.0-nightly-2024-07-30-36...	73	7/30/2024
4.7.0-nightly-2024-07-29-d8...	71	7/29/2024
4.7.0-nightly-2024-07-29-70...	70	7/29/2024
4.7.0-nightly-2024-07-28-70...	69	7/28/2024
4.7.0-nightly-2024-07-27-70...	77	7/27/2024
4.7.0-nightly-2024-07-26-70...	74	7/26/2024
4.7.0-nightly-2024-07-25-70...	77	7/25/2024
4.7.0-nightly-2024-07-24-f1...	80	7/24/2024
4.7.0-nightly-2024-07-23-f1...	108	7/23/2024
4.7.0-nightly-2024-07-22-91...	131	7/22/2024
4.7.0-nightly-2024-07-21-91...	122	7/21/2024
4.7.0-nightly-2024-07-20-91...	122	7/20/2024
4.7.0-nightly-2024-07-19-91...	118	7/19/2024
4.7.0-nightly-2024-07-18-91...	112	7/19/2024
4.7.0-nightly-2024-07-17-91...	90	7/17/2024
4.7.0-nightly-2024-07-16-91...	99	7/17/2024
4.7.0-nightly-2024-07-15-91...	118	7/15/2024
4.7.0-nightly-2024-07-14-91...	104	7/14/2024
4.7.0-nightly-2024-07-13-91...	102	7/13/2024
4.7.0-nightly-2024-07-12-91...	119	7/12/2024
4.7.0-nightly-2024-07-11-04...	95	7/11/2024
4.7.0-nightly-2024-07-10-52...	121	7/10/2024
4.7.0-nightly-2024-07-09-7e...	105	7/9/2024
4.7.0-nightly-2024-07-08-20...	112	7/8/2024
4.7.0-nightly-2024-07-07-9a...	107	7/8/2024
4.7.0-nightly-2024-07-05-04...	104	7/5/2024
4.7.0-nightly-2024-07-04-04...	109	7/4/2024
4.7.0-nightly-2024-07-03-14...	115	7/3/2024
4.7.0-nightly-2024-07-02-14...	110	7/3/2024
4.7.0-nightly-2024-07-01-14...	107	7/2/2024
4.7.0-nightly-2024-06-30-14...	130	6/30/2024
4.7.0-nightly-2024-06-29-14...	129	6/29/2024
4.7.0-nightly-2024-06-28-14...	135	6/28/2024
4.7.0-nightly-2024-06-27-14...	125	6/27/2024
4.6.0	794	3/28/2024
4.6.0-nightly-2024-06-26-eb...	126	6/26/2024
4.6.0-nightly-2024-06-25-2e...	124	6/25/2024
4.6.0-nightly-2024-06-24-08...	123	6/24/2024
4.6.0-nightly-2024-06-23-08...	113	6/23/2024
4.6.0-nightly-2024-06-22-08...	112	6/22/2024
4.6.0-nightly-2024-06-21-e3...	117	6/21/2024
4.6.0-nightly-2024-06-20-94...	121	6/20/2024
4.6.0-nightly-2024-06-19-94...	123	6/19/2024
4.6.0-nightly-2024-06-15-5f...	128	6/15/2024
4.6.0-nightly-2024-06-14-70...	119	6/14/2024
4.6.0-nightly-2024-06-13-70...	124	6/14/2024
4.6.0-nightly-2024-06-12-f1...	108	6/12/2024
4.6.0-nightly-2024-06-11-64...	103	6/11/2024
4.6.0-nightly-2024-06-10-f0...	111	6/10/2024
4.6.0-nightly-2024-06-09-f0...	104	6/9/2024
4.6.0-nightly-2024-06-08-9f...	105	6/8/2024
4.6.0-nightly-2024-06-07-43...	106	6/7/2024
4.6.0-nightly-2024-06-06-66...	104	6/6/2024
4.6.0-nightly-2024-06-04-da...	125	6/4/2024
4.6.0-nightly-2024-06-04-75...	107	6/4/2024
4.6.0-nightly-2024-06-04-52...	113	6/4/2024
4.6.0-nightly-2024-05-29-b5...	116	5/29/2024
4.6.0-nightly-2024-05-28-dc...	120	5/28/2024
4.6.0-nightly-2024-05-24-6b...	121	5/24/2024
4.6.0-nightly-2024-05-23-41...	119	5/24/2024
4.6.0-nightly-2024-05-22-41...	111	5/23/2024
4.6.0-nightly-2024-05-21-33...	125	5/21/2024
4.6.0-nightly-2024-05-20-7e...	124	5/20/2024
4.6.0-nightly-2024-05-18-2f...	135	5/18/2024
4.6.0-nightly-2024-05-17-80...	122	5/17/2024
4.6.0-nightly-2024-05-16-8d...	128	5/16/2024
4.6.0-nightly-2024-05-15-af...	122	5/15/2024
4.6.0-nightly-2024-05-14-8d...	110	5/14/2024
4.6.0-nightly-2024-05-13-70...	106	5/13/2024
4.6.0-nightly-2024-05-12-70...	100	5/12/2024
4.6.0-nightly-2024-05-11-70...	88	5/11/2024
4.6.0-nightly-2024-05-10-cc...	102	5/10/2024
4.6.0-nightly-2024-05-09-84...	112	5/9/2024
4.6.0-nightly-2024-05-08-1c...	105	5/8/2024
4.6.0-nightly-2024-05-07-55...	137	5/7/2024
4.6.0-nightly-2024-05-06-55...	128	5/6/2024
4.6.0-nightly-2024-05-05-55...	137	5/5/2024
4.6.0-nightly-2024-05-04-55...	142	5/4/2024
4.6.0-nightly-2024-05-03-55...	92	5/3/2024
4.6.0-nightly-2024-05-02-07...	89	5/3/2024
4.6.0-nightly-2024-05-01-8e...	110	5/1/2024
4.6.0-nightly-2024-05-01-88...	115	5/1/2024
4.6.0-nightly-2024-04-29-ea...	125	4/29/2024
4.6.0-nightly-2024-04-26-bc...	128	4/26/2024
4.6.0-nightly-2024-04-25-b4...	139	4/25/2024
4.6.0-nightly-2024-04-24-06...	126	4/24/2024
4.6.0-nightly-2024-04-22-00...	125	4/22/2024
4.6.0-nightly-2024-04-21-2e...	117	4/21/2024
4.6.0-nightly-2024-04-20-2e...	119	4/21/2024
4.6.0-nightly-2024-04-19-0c...	123	4/19/2024
4.6.0-nightly-2024-04-18-0c...	126	4/18/2024
4.6.0-nightly-2024-04-17-b3...	120	4/17/2024
4.6.0-nightly-2024-04-16-1c...	145	4/16/2024
4.6.0-nightly-2024-04-15-13...	140	4/15/2024
4.6.0-nightly-2024-04-14-13...	137	4/15/2024
4.6.0-nightly-2024-04-13-13...	133	4/13/2024
4.6.0-nightly-2024-04-12-4e...	123	4/12/2024
4.6.0-nightly-2024-04-11-62...	127	4/11/2024
4.6.0-nightly-2024-04-10-d8...	120	4/10/2024
4.6.0-nightly-2024-04-09-65...	136	4/9/2024
4.6.0-nightly-2024-04-08-be...	130	4/8/2024
4.6.0-nightly-2024-04-07-be...	123	4/7/2024
4.6.0-nightly-2024-04-05-56...	122	4/5/2024
4.6.0-nightly-2024-04-04-5c...	118	4/4/2024
4.6.0-nightly-2024-04-03-91...	113	4/3/2024
4.6.0-nightly-2024-04-02-5b...	131	4/2/2024
4.6.0-nightly-2024-04-01-69...	129	4/1/2024
4.6.0-nightly-2024-03-31-4a...	114	3/31/2024
4.6.0-nightly-2024-03-29-8f...	133	3/29/2024
4.6.0-nightly-2024-03-29-71...	115	3/29/2024
4.5.0	277	3/15/2024
4.5.0-nightly-2024-03-27-ca...	122	3/27/2024
4.5.0-nightly-2024-03-26-0c...	134	3/27/2024
4.5.0-nightly-2024-03-25-f4...	151	3/25/2024
4.5.0-nightly-2024-03-24-f4...	122	3/25/2024
4.5.0-nightly-2024-03-23-f4...	129	3/23/2024
4.5.0-nightly-2024-03-22-ec...	132	3/22/2024
4.5.0-nightly-2024-03-21-7c...	120	3/21/2024
4.5.0-nightly-2024-03-20-99...	135	3/20/2024
4.5.0-nightly-2024-03-19-39...	132	3/20/2024
4.5.0-nightly-2024-03-18-39...	140	3/18/2024
4.5.0-nightly-2024-03-17-39...	129	3/17/2024
4.5.0-nightly-2024-03-16-39...	116	3/16/2024
4.5.0-nightly-2024-03-15-02...	120	3/15/2024
4.4.0	831	12/12/2023
4.4.0-nightly-2024-03-15-87...	150	3/15/2024
4.4.0-nightly-2024-03-14-28...	138	3/14/2024
4.4.0-nightly-2024-03-13-f1...	125	3/13/2024
4.4.0-nightly-2024-03-12-69...	116	3/12/2024
4.4.0-nightly-2024-03-11-a8...	111	3/11/2024
4.4.0-nightly-2024-03-10-a2...	105	3/11/2024
4.4.0-nightly-2024-03-09-a2...	134	3/9/2024
4.4.0-nightly-2024-03-08-1d...	132	3/8/2024
4.4.0-nightly-2024-03-06-35...	119	3/6/2024
4.4.0-nightly-2024-03-05-35...	151	3/5/2024
4.4.0-nightly-2024-03-04-54...	141	3/4/2024
4.4.0-nightly-2024-03-03-4e...	142	3/3/2024
4.4.0-nightly-2024-03-01-26...	144	3/1/2024
4.4.0-nightly-2024-02-29-2a...	123	2/29/2024
4.4.0-nightly-2024-02-28-2a...	125	2/28/2024
4.4.0-nightly-2024-02-27-2a...	144	2/27/2024
4.4.0-nightly-2024-02-26-1c...	128	2/26/2024
4.4.0-nightly-2024-02-25-d6...	120	2/26/2024
4.4.0-nightly-2024-02-24-d6...	141	2/24/2024
4.4.0-nightly-2024-02-23-d6...	134	2/23/2024
4.4.0-nightly-2024-02-22-e2...	139	2/22/2024
4.4.0-nightly-2024-02-21-22...	141	2/21/2024
4.4.0-nightly-2024-02-20-ce...	125	2/20/2024
4.4.0-nightly-2024-02-19-be...	132	2/19/2024
4.4.0-nightly-2024-02-18-be...	131	2/18/2024
4.4.0-nightly-2024-02-17-be...	144	2/17/2024
4.4.0-nightly-2024-02-16-af...	132	2/16/2024
4.4.0-nightly-2024-02-15-73...	140	2/15/2024
4.4.0-nightly-2024-02-14-5c...	129	2/14/2024
4.4.0-nightly-2024-02-13-9d...	133	2/13/2024
4.4.0-nightly-2024-02-12-d7...	124	2/12/2024
4.4.0-nightly-2024-02-11-c8...	105	2/11/2024
4.4.0-nightly-2024-02-10-c8...	122	2/10/2024
4.4.0-nightly-2024-02-09-29...	127	2/9/2024
4.4.0-nightly-2024-02-08-fc...	123	2/8/2024
4.4.0-nightly-2024-02-07-59...	126	2/7/2024
4.4.0-nightly-2024-02-06-b3...	122	2/6/2024
4.4.0-nightly-2024-02-05-16...	132	2/5/2024
4.4.0-nightly-2024-02-04-c6...	139	2/4/2024
4.4.0-nightly-2024-02-03-c6...	122	2/3/2024
4.4.0-nightly-2024-02-02-70...	126	2/2/2024
4.4.0-nightly-2024-02-01-8b...	120	2/1/2024
4.4.0-nightly-2024-01-31-8b...	126	1/31/2024
4.4.0-nightly-2024-01-30-90...	108	1/30/2024
4.4.0-nightly-2024-01-26-cf...	128	1/26/2024
4.4.0-nightly-2024-01-25-cf...	115	1/25/2024
4.4.0-nightly-2024-01-24-9d...	121	1/24/2024
4.4.0-nightly-2024-01-23-fe...	132	1/23/2024
4.4.0-nightly-2024-01-22-47...	126	1/22/2024
4.4.0-nightly-2024-01-21-a7...	124	1/21/2024
4.4.0-nightly-2024-01-20-79...	132	1/20/2024
4.4.0-nightly-2024-01-19-99...	129	1/19/2024
4.4.0-nightly-2024-01-19-3b...	123	1/19/2024
4.4.0-nightly-2024-01-18-3b...	116	1/18/2024
4.4.0-nightly-2024-01-17-3b...	126	1/17/2024
4.4.0-nightly-2024-01-03-2c...	160	1/3/2024
4.4.0-nightly-2024-01-01-2c...	151	1/1/2024
4.4.0-nightly-2023-12-31-2c...	144	12/31/2023
4.4.0-nightly-2023-12-30-2c...	157	12/30/2023
4.4.0-nightly-2023-12-29-2c...	160	12/29/2023
4.4.0-nightly-2023-12-28-2c...	147	12/28/2023
4.4.0-nightly-2023-12-27-2c...	165	12/27/2023
4.4.0-nightly-2023-12-26-2c...	151	12/26/2023
4.4.0-nightly-2023-12-25-2c...	161	12/25/2023
4.4.0-nightly-2023-12-24-2c...	139	12/24/2023
4.4.0-nightly-2023-12-23-2c...	159	12/23/2023
4.4.0-nightly-2023-12-22-2c...	143	12/22/2023
4.4.0-nightly-2023-12-21-2c...	130	12/21/2023
4.4.0-nightly-2023-12-20-2c...	164	12/20/2023
4.4.0-nightly-2023-12-19-2c...	141	12/19/2023
4.4.0-nightly-2023-12-18-2c...	142	12/18/2023
4.4.0-nightly-2023-12-17-2c...	143	12/17/2023
4.4.0-nightly-2023-12-16-2c...	135	12/16/2023
4.4.0-nightly-2023-12-15-2c...	154	12/15/2023
4.4.0-nightly-2023-12-14-2c...	147	12/15/2023
4.4.0-nightly-2023-12-13-2c...	147	12/13/2023
4.4.0-nightly-2023-12-12-4f...	150	12/12/2023
4.4.0-nightly-2023-12-11-4f...	153	12/11/2023
4.4.0-nightly-2023-12-10-4f...	152	12/10/2023
4.4.0-nightly-2023-12-09-4f...	152	12/9/2023
4.3.0	294	9/28/2023
4.3.0-nightly-2023-12-08-7e...	142	12/8/2023
4.3.0-nightly-2023-12-07-c9...	159	12/7/2023
4.3.0-nightly-2023-12-06-6a...	142	12/6/2023
4.3.0-nightly-2023-12-05-cc...	119	12/5/2023
4.3.0-nightly-2023-12-04-fd...	123	12/4/2023
4.3.0-nightly-2023-12-03-23...	141	12/3/2023
4.3.0-nightly-2023-12-02-23...	139	12/2/2023
4.3.0-nightly-2023-12-01-05...	139	12/1/2023
4.3.0-nightly-2023-11-30-8e...	143	11/30/2023
4.3.0-nightly-2023-11-29-f7...	148	11/29/2023
4.3.0-nightly-2023-11-28-c5...	131	11/28/2023
4.3.0-nightly-2023-11-27-98...	124	11/27/2023
4.3.0-nightly-2023-11-25-b1...	133	11/25/2023
4.3.0-nightly-2023-11-24-b1...	135	11/24/2023
4.3.0-nightly-2023-11-23-ec...	149	11/23/2023
4.3.0-nightly-2023-11-22-ec...	155	11/22/2023
4.3.0-nightly-2023-11-21-fd...	137	11/21/2023
4.3.0-nightly-2023-11-21-4f...	138	11/21/2023
4.3.0-nightly-2023-11-19-dd...	148	11/19/2023
4.3.0-nightly-2023-11-18-dd...	131	11/18/2023
4.3.0-nightly-2023-11-17-06...	151	11/17/2023
4.3.0-nightly-2023-11-16-f8...	141	11/16/2023
4.3.0-nightly-2023-11-15-c6...	137	11/15/2023
4.3.0-nightly-2023-11-14-84...	145	11/14/2023
4.3.0-nightly-2023-11-13-5e...	137	11/13/2023
4.3.0-nightly-2023-11-12-90...	140	11/12/2023
4.3.0-nightly-2023-11-11-90...	129	11/11/2023
4.3.0-nightly-2023-11-10-4d...	132	11/10/2023
4.3.0-nightly-2023-11-09-ee...	140	11/9/2023
4.3.0-nightly-2023-11-08-48...	129	11/8/2023
4.3.0-nightly-2023-11-07-48...	127	11/7/2023
4.3.0-nightly-2023-11-06-d4...	125	11/6/2023
4.3.0-nightly-2023-11-05-d4...	131	11/5/2023
4.3.0-nightly-2023-11-02-53...	136	11/2/2023
4.3.0-nightly-2023-11-01-45...	129	11/1/2023
4.3.0-nightly-2023-10-31-af...	121	10/31/2023
4.3.0-nightly-2023-10-30-bf...	127	10/30/2023
4.3.0-nightly-2023-10-29-17...	122	10/29/2023
4.3.0-nightly-2023-10-28-17...	126	10/28/2023
4.3.0-nightly-2023-10-27-c6...	118	10/27/2023
4.3.0-nightly-2023-10-26-c6...	130	10/26/2023
4.3.0-nightly-2023-10-25-5d...	150	10/25/2023
4.3.0-nightly-2023-10-24-cd...	135	10/24/2023
4.3.0-nightly-2023-10-23-7b...	134	10/23/2023
4.3.0-nightly-2023-10-23-3e...	149	10/24/2023
4.3.0-nightly-2023-10-20-81...	145	10/20/2023
4.3.0-nightly-2023-10-19-9e...	119	10/19/2023
4.3.0-nightly-2023-10-18-32...	131	10/18/2023
4.3.0-nightly-2023-10-17-ad...	141	10/17/2023
4.3.0-nightly-2023-10-16-41...	127	10/16/2023
4.3.0-nightly-2023-10-15-fc...	122	10/15/2023
4.3.0-nightly-2023-10-14-fc...	131	10/14/2023
4.3.0-nightly-2023-10-13-0e...	134	10/13/2023
4.3.0-nightly-2023-09-27-35...	147	9/27/2023
4.2.0	387	7/20/2023
4.2.0-nightly-2023-10-12-fd...	131	10/12/2023
4.2.0-nightly-2023-10-11-fd...	126	10/11/2023
4.2.0-nightly-2023-10-10-fd...	131	10/10/2023
4.2.0-nightly-2023-10-09-fd...	127	10/9/2023
4.2.0-nightly-2023-10-08-fd...	125	10/8/2023
4.2.0-nightly-2023-10-07-fd...	137	10/7/2023
4.2.0-nightly-2023-10-06-fd...	143	10/6/2023
4.2.0-nightly-2023-10-05-fd...	125	10/5/2023
4.2.0-nightly-2023-10-04-fd...	127	10/4/2023
4.2.0-nightly-2023-10-02-fd...	130	10/2/2023
4.2.0-nightly-2023-09-30-fd...	142	9/30/2023
4.2.0-nightly-2023-09-29-fd...	139	9/29/2023
4.2.0-nightly-2023-09-28-fd...	120	9/28/2023
4.2.0-nightly-2023-09-27-fd...	132	9/27/2023
4.2.0-nightly-2023-09-27-4d...	131	9/27/2023
4.2.0-nightly-2023-09-26-a0...	126	9/26/2023
4.2.0-nightly-2023-09-25-67...	139	9/25/2023
4.2.0-nightly-2023-09-24-67...	133	9/24/2023
4.2.0-nightly-2023-09-23-67...	125	9/23/2023
4.2.0-nightly-2023-09-22-67...	143	9/22/2023
4.2.0-nightly-2023-09-21-75...	106	9/21/2023
4.2.0-nightly-2023-09-20-c6...	126	9/20/2023
4.2.0-nightly-2023-09-19-ae...	118	9/19/2023
4.2.0-nightly-2023-09-18-45...	124	9/18/2023
4.2.0-nightly-2023-09-17-45...	123	9/18/2023
4.2.0-nightly-2023-09-16-04...	134	9/16/2023
4.2.0-nightly-2023-09-15-e7...	130	9/15/2023
4.2.0-nightly-2023-09-14-e5...	143	9/14/2023
4.2.0-nightly-2023-09-13-45...	144	9/13/2023
4.2.0-nightly-2023-09-12-27...	139	9/12/2023
4.2.0-nightly-2023-09-11-d2...	144	9/11/2023
4.2.0-nightly-2023-09-10-c5...	126	9/10/2023
4.2.0-nightly-2023-09-09-ed...	137	9/9/2023
4.2.0-nightly-2023-09-08-37...	134	9/8/2023
4.2.0-nightly-2023-09-07-b6...	145	9/7/2023
4.2.0-nightly-2023-09-06-8d...	140	9/6/2023
4.2.0-nightly-2023-09-05-e1...	138	9/5/2023
4.2.0-nightly-2023-09-04-1e...	122	9/4/2023
4.2.0-nightly-2023-09-03-4a...	133	9/4/2023
4.2.0-nightly-2023-09-02-a8...	137	9/2/2023
4.2.0-nightly-2023-09-01-e9...	134	9/1/2023
4.2.0-nightly-2023-08-31-e9...	140	8/31/2023
4.2.0-nightly-2023-08-30-05...	149	8/30/2023
4.2.0-nightly-2023-08-29-a8...	136	8/29/2023
4.2.0-nightly-2023-08-28-52...	141	8/28/2023
4.2.0-nightly-2023-08-27-95...	147	8/27/2023
4.2.0-nightly-2023-08-26-95...	146	8/26/2023
4.2.0-nightly-2023-08-25-fe...	140	8/25/2023
4.2.0-nightly-2023-08-24-c5...	158	8/24/2023
4.2.0-nightly-2023-08-24-06...	132	8/24/2023
4.2.0-nightly-2023-08-23-b9...	132	8/23/2023
4.2.0-nightly-2023-08-22-84...	155	8/22/2023
4.2.0-nightly-2023-08-21-83...	129	8/21/2023
4.2.0-nightly-2023-08-20-83...	136	8/20/2023
4.2.0-nightly-2023-08-19-83...	158	8/19/2023
4.2.0-nightly-2023-08-18-2a...	139	8/18/2023
4.2.0-nightly-2023-08-17-9e...	126	8/17/2023
4.2.0-nightly-2023-08-16-d9...	141	8/16/2023
4.2.0-nightly-2023-08-15-cd...	157	8/15/2023
4.2.0-nightly-2023-08-14-0c...	177	8/14/2023
4.2.0-nightly-2023-08-13-06...	174	8/13/2023
4.2.0-nightly-2023-08-12-06...	159	8/12/2023
4.2.0-nightly-2023-08-11-e2...	164	8/11/2023
4.2.0-nightly-2023-08-10-44...	306	8/10/2023
4.2.0-nightly-2023-08-09-20...	152	8/9/2023
4.2.0-nightly-2023-08-08-ea...	160	8/9/2023
4.2.0-nightly-2023-08-07-c3...	139	8/7/2023
4.2.0-nightly-2023-08-06-24...	156	8/6/2023
4.2.0-nightly-2023-08-05-38...	180	8/5/2023
4.2.0-nightly-2023-08-04-df...	157	8/4/2023
4.2.0-nightly-2023-08-04-65...	161	8/4/2023
4.2.0-nightly-2023-08-02-a9...	160	8/2/2023
4.2.0-nightly-2023-08-01-52...	168	8/1/2023
4.2.0-nightly-2023-07-31-3b...	153	7/31/2023
4.2.0-nightly-2023-07-30-3b...	186	7/30/2023
4.2.0-nightly-2023-07-29-3b...	153	7/29/2023
4.2.0-nightly-2023-07-28-65...	145	7/28/2023
4.2.0-nightly-2023-07-27-02...	164	7/27/2023
4.2.0-nightly-2023-07-26-59...	167	7/26/2023
4.2.0-nightly-2023-07-25-c5...	160	7/25/2023
4.2.0-nightly-2023-07-24-4d...	169	7/24/2023
4.2.0-nightly-2023-07-23-4d...	166	7/23/2023
4.2.0-nightly-2023-07-22-4d...	176	7/22/2023
4.2.0-nightly-2023-07-21-ab...	178	7/21/2023
4.1.0.50522	342	5/22/2023
4.1.0	311	5/10/2023
4.1.0-nightly-2023-07-20-35...	151	7/20/2023
4.1.0-nightly-2023-07-18-ce...	153	7/18/2023
4.1.0-nightly-2023-07-18-86...	172	7/18/2023
4.1.0-nightly-2023-07-17-ec...	154	7/17/2023
4.1.0-nightly-2023-07-17-e9...	164	7/17/2023
4.1.0-nightly-2023-07-16-e9...	154	7/16/2023
4.1.0-nightly-2023-07-15-e9...	156	7/15/2023
4.1.0-nightly-2023-07-14-12...	145	7/14/2023
4.1.0-nightly-2023-07-13-0d...	151	7/13/2023
4.1.0-nightly-2023-07-12-d4...	157	7/12/2023
4.1.0-nightly-2023-07-11-0f...	153	7/11/2023
4.1.0-nightly-2023-07-10-f4...	145	7/10/2023
4.1.0-nightly-2023-07-09-5c...	159	7/9/2023
4.1.0-nightly-2023-07-08-8b...	156	7/8/2023
4.1.0-nightly-2023-07-07-2d...	151	7/7/2023
4.1.0-nightly-2023-07-06-c5...	152	7/6/2023
4.1.0-nightly-2023-07-05-e4...	156	7/5/2023
4.1.0-nightly-2023-07-04-51...	148	7/4/2023
4.1.0-nightly-2023-07-03-65...	153	7/3/2023
4.1.0-nightly-2023-07-02-e4...	161	7/2/2023
4.1.0-nightly-2023-07-01-e4...	142	7/1/2023
4.1.0-nightly-2023-06-30-86...	150	6/30/2023
4.1.0-nightly-2023-06-29-2b...	156	6/29/2023
4.1.0-nightly-2023-06-28-2b...	153	6/28/2023
4.1.0-nightly-2023-06-27-d7...	133	6/27/2023
4.1.0-nightly-2023-06-26-d7...	126	6/26/2023
4.1.0-nightly-2023-06-25-d7...	142	6/25/2023
4.1.0-nightly-2023-06-24-d7...	148	6/24/2023
4.1.0-nightly-2023-06-23-30...	148	6/23/2023
4.1.0-nightly-2023-06-22-bd...	148	6/22/2023
4.1.0-nightly-2023-06-21-bd...	142	6/21/2023
4.1.0-nightly-2023-06-20-21...	151	6/20/2023
4.1.0-nightly-2023-06-19-9a...	151	6/19/2023
4.1.0-nightly-2023-06-18-9a...	145	6/18/2023
4.1.0-nightly-2023-06-17-9a...	155	6/17/2023
4.1.0-nightly-2023-06-16-b2...	137	6/16/2023
4.1.0-nightly-2023-06-16-18...	164	6/16/2023
4.1.0-nightly-2023-06-15-eb...	138	6/15/2023
4.1.0-nightly-2023-06-15-8f...	153	6/15/2023
4.1.0-nightly-2023-06-13-1c...	153	6/13/2023
4.1.0-nightly-2023-06-12-4e...	141	6/12/2023
4.1.0-nightly-2023-06-11-a8...	148	6/11/2023
4.1.0-nightly-2023-06-10-a8...	142	6/10/2023
4.1.0-nightly-2023-06-09-a8...	138	6/9/2023
4.1.0-nightly-2023-06-08-16...	161	6/8/2023
4.1.0-nightly-2023-06-07-28...	142	6/7/2023
4.1.0-nightly-2023-06-06-59...	142	6/6/2023
4.1.0-nightly-2023-06-05-59...	149	6/5/2023
4.1.0-nightly-2023-06-04-59...	133	6/4/2023
4.1.0-nightly-2023-06-03-59...	154	6/3/2023
4.1.0-nightly-2023-06-02-59...	151	6/2/2023
4.1.0-nightly-2023-06-01-68...	141	6/1/2023
4.1.0-nightly-2023-05-31-b6...	154	5/31/2023
4.1.0-nightly-2023-05-31-81...	127	5/31/2023
4.1.0-nightly-2023-05-30-2f...	157	5/30/2023
4.1.0-nightly-2023-05-29-de...	162	5/29/2023
4.1.0-nightly-2023-05-28-80...	150	5/28/2023
4.1.0-nightly-2023-05-27-80...	160	5/27/2023
4.1.0-nightly-2023-05-26-40...	152	5/26/2023
4.1.0-nightly-2023-05-25-b3...	148	5/25/2023
4.1.0-nightly-2023-05-24-38...	141	5/24/2023
4.1.0-nightly-2023-05-23-16...	151	5/23/2023
4.1.0-nightly-2023-05-22-c8...	144	5/22/2023
4.1.0-nightly-2023-05-21-9b...	149	5/21/2023
4.1.0-nightly-2023-05-20-9b...	141	5/20/2023
4.1.0-nightly-2023-05-19-33...	145	5/19/2023
4.1.0-nightly-2023-05-18-8c...	159	5/18/2023
4.1.0-nightly-2023-05-17-49...	161	5/17/2023
4.1.0-nightly-2023-05-17-05...	154	5/17/2023
4.1.0-nightly-2023-05-15-35...	138	5/15/2023
4.1.0-nightly-2023-05-14-35...	136	5/14/2023
4.1.0-nightly-2023-05-12-30...	152	5/12/2023
4.1.0-nightly-2023-05-11-87...	154	5/11/2023
4.1.0-nightly-2023-05-09-26...	167	5/10/2023
4.1.0-nightly-2023-05-08-d9...	294	5/8/2023
4.1.0-nightly-2023-05-07-a2...	155	5/8/2023
4.1.0-nightly-2023-05-06-a2...	148	5/6/2023
4.1.0-nightly-2023-05-05-81...	146	5/5/2023
4.1.0-nightly-2023-05-04-56...	155	5/4/2023
4.1.0-nightly-2023-05-03-aa...	148	5/3/2023
4.1.0-nightly-2023-05-02-bb...	158	5/2/2023
4.1.0-nightly-2023-05-01-38...	169	5/1/2023
4.1.0-nightly-2023-04-30-38...	152	4/30/2023
4.1.0-nightly-2023-04-29-f0...	171	4/29/2023
4.1.0-nightly-2023-04-29-20...	150	4/29/2023
4.1.0-nightly-2023-04-28-41...	161	4/28/2023
4.1.0-nightly-2023-04-27-d7...	180	4/27/2023
4.1.0-nightly-2023-04-26-21...	160	4/26/2023
4.1.0-nightly-2023-04-25-38...	166	4/25/2023
4.1.0-nightly-2023-04-24-f1...	148	4/24/2023
4.1.0-nightly-2023-04-23-f1...	171	4/23/2023
4.1.0-nightly-2023-04-22-f1...	173	4/22/2023
4.1.0-nightly-2023-04-21-1d...	144	4/21/2023
4.1.0-nightly-2023-04-20-1d...	152	4/20/2023
4.1.0-nightly-2023-04-19-1d...	172	4/19/2023
4.0.0.50303	856	3/3/2023
4.0.0.50303-nightly-2023-04...	152	4/18/2023
4.0.0.50303-nightly-2023-04...	160	4/17/2023
4.0.0.50303-nightly-2023-04...	162	4/16/2023
4.0.0.50303-nightly-2023-04...	145	4/15/2023
4.0.0.50303-nightly-2023-04...	145	4/14/2023
4.0.0.50303-nightly-2023-04...	143	4/13/2023
4.0.0.50303-nightly-2023-04...	157	4/12/2023
4.0.0.50303-nightly-2023-04...	156	4/11/2023
4.0.0.50303-nightly-2023-04...	157	4/10/2023
4.0.0.50303-nightly-2023-04...	141	4/9/2023
4.0.0.50303-nightly-2023-04...	140	4/8/2023
4.0.0.50303-nightly-2023-04...	177	4/7/2023
4.0.0.50303-nightly-2023-04...	165	4/6/2023
4.0.0.50303-nightly-2023-04...	146	4/5/2023
4.0.0.50303-nightly-2023-04...	178	4/4/2023
4.0.0.50303-nightly-2023-04...	163	4/5/2023
4.0.0.50303-nightly-2023-04...	177	4/3/2023
4.0.0.50303-nightly-2023-04...	166	4/2/2023
4.0.0.50303-nightly-2023-04...	161	4/1/2023
4.0.0.50303-nightly-2023-03...	151	3/31/2023
4.0.0.50303-nightly-2023-03...	158	3/30/2023
4.0.0.50303-nightly-2023-03...	167	3/29/2023
4.0.0.50303-nightly-2023-03...	161	3/28/2023
4.0.0.50303-nightly-2023-03...	163	3/27/2023
4.0.0.50303-nightly-2023-03...	174	3/25/2023
4.0.0.50303-nightly-2023-03...	171	3/24/2023
4.0.0.50303-nightly-2023-03...	160	3/23/2023
4.0.0.50303-nightly-2023-03...	153	3/22/2023
4.0.0.50303-nightly-2023-03...	155	3/22/2023
4.0.0.50303-nightly-2023-03...	172	3/21/2023
4.0.0.50303-nightly-2023-03...	154	3/21/2023
4.0.0.50303-nightly-2023-03...	160	3/21/2023
4.0.0.50303-nightly-2023-03...	174	3/20/2023
4.0.0.50303-nightly-2023-03...	159	3/19/2023
4.0.0.50303-nightly-2023-03...	173	3/18/2023
4.0.0.50303-nightly-2023-03...	170	3/17/2023
4.0.0.50303-nightly-2023-03...	163	3/16/2023
4.0.0.50303-nightly-2023-03...	158	3/15/2023
4.0.0.50303-nightly-2023-03...	161	3/13/2023
4.0.0.50303-nightly-2023-03...	169	3/12/2023
4.0.0.50303-nightly-2023-03...	166	3/11/2023
4.0.0.50303-nightly-2023-03...	165	3/10/2023
4.0.0.50303-nightly-2023-03...	155	3/9/2023
4.0.0.50303-nightly-2023-03...	164	3/8/2023
4.0.0.50303-nightly-2023-03...	157	3/3/2023
4.0.0.50302	572	3/3/2023
4.0.0.50302-nightly-2023-03...	144	3/2/2023
3.13.1.50302	597	3/2/2023
3.13.1.50302-nightly-2023-0...	530	3/2/2023
3.13.0.50302	327	3/2/2023
3.13.0.50302-nightly-2023-0...	137	3/2/2023
3.12.0.50221	345	2/21/2023
3.12.0.50221-nightly-2023-0...	149	3/7/2023
3.12.0.50221-nightly-2023-0...	131	3/6/2023
3.12.0.50221-nightly-2023-0...	138	3/3/2023
3.12.0.50221-nightly-2023-0...	146	3/2/2023
3.12.0.50221-nightly-2023-0...	133	3/1/2023
3.12.0.50221-nightly-2023-0...	139	2/28/2023
3.12.0.50221-nightly-2023-0...	130	2/28/2023
3.12.0.50221-nightly-2023-0...	127	2/27/2023
3.12.0.50221-nightly-2023-0...	134	2/27/2023
3.12.0.50221-nightly-2023-0...	140	2/26/2023
3.12.0.50221-nightly-2023-0...	145	2/25/2023
3.12.0.50221-nightly-2023-0...	139	2/23/2023
3.12.0.50221-nightly-2023-0...	129	2/22/2023
3.12.0.50221-nightly-2023-0...	142	2/21/2023
3.11.0.50201	376	2/1/2023
3.11.0.50201-nightly-2023-0...	125	2/21/2023
3.11.0.50201-nightly-2023-0...	133	2/20/2023
3.11.0.50201-nightly-2023-0...	141	2/19/2023
3.11.0.50201-nightly-2023-0...	141	2/18/2023
3.11.0.50201-nightly-2023-0...	135	2/18/2023
3.11.0.50201-nightly-2023-0...	125	2/17/2023
3.11.0.50201-nightly-2023-0...	128	2/16/2023
3.11.0.50201-nightly-2023-0...	128	2/15/2023
3.11.0.50201-nightly-2023-0...	133	2/14/2023
3.11.0.50201-nightly-2023-0...	139	2/13/2023
3.11.0.50201-nightly-2023-0...	143	2/12/2023
3.11.0.50201-nightly-2023-0...	146	2/11/2023
3.11.0.50201-nightly-2023-0...	142	2/11/2023
3.11.0.50201-nightly-2023-0...	136	2/10/2023
3.11.0.50201-nightly-2023-0...	134	2/11/2023
3.11.0.50201-nightly-2023-0...	144	2/9/2023
3.11.0.50201-nightly-2023-0...	139	2/8/2023
3.11.0.50201-nightly-2023-0...	141	2/7/2023
3.11.0.50201-nightly-2023-0...	143	2/6/2023
3.11.0.50201-nightly-2023-0...	141	2/5/2023
3.11.0.50201-nightly-2023-0...	138	2/4/2023
3.11.0.50201-nightly-2023-0...	144	2/3/2023
3.11.0.50201-nightly-2023-0...	148	2/2/2023
3.11.0.50201-nightly-2023-0...	138	2/1/2023
3.10.0.41215	935	12/15/2022
3.10.0.41215-nightly-2023-0...	172	2/1/2023
3.10.0.41215-nightly-2023-0...	198	1/31/2023
3.10.0.41215-nightly-2023-0...	144	1/30/2023
3.10.0.41215-nightly-2023-0...	150	1/29/2023
3.10.0.41215-nightly-2023-0...	159	1/28/2023
3.10.0.41215-nightly-2023-0...	135	1/27/2023
3.10.0.41215-nightly-2023-0...	150	1/26/2023
3.10.0.41215-nightly-2023-0...	146	1/25/2023
3.10.0.41215-nightly-2023-0...	149	1/24/2023
3.10.0.41215-nightly-2023-0...	147	1/23/2023
3.10.0.41215-nightly-2023-0...	134	1/22/2023
3.10.0.41215-nightly-2023-0...	160	1/21/2023
3.10.0.41215-nightly-2023-0...	155	1/20/2023
3.10.0.41215-nightly-2023-0...	130	1/19/2023
3.10.0.41215-nightly-2023-0...	174	1/18/2023
3.10.0.41215-nightly-2023-0...	145	1/17/2023
3.10.0.41215-nightly-2023-0...	137	1/16/2023
3.10.0.41215-nightly-2023-0...	195	1/15/2023
3.10.0.41215-nightly-2023-0...	140	1/14/2023
3.10.0.41215-nightly-2023-0...	137	1/13/2023
3.10.0.41215-nightly-2023-0...	155	1/12/2023
3.10.0.41215-nightly-2023-0...	137	1/11/2023
3.10.0.41215-nightly-2023-0...	162	1/10/2023
3.10.0.41215-nightly-2023-0...	139	1/9/2023
3.10.0.41215-nightly-2023-0...	151	1/9/2023
3.10.0.41215-nightly-2023-0...	146	1/9/2023
3.10.0.41215-nightly-2023-0...	155	1/6/2023
3.10.0.41215-nightly-2023-0...	162	1/5/2023
3.10.0.41215-nightly-2023-0...	151	1/4/2023
3.10.0.41215-nightly-2023-0...	152	1/3/2023
3.10.0.41215-nightly-2023-0...	158	1/2/2023
3.10.0.41215-nightly-2023-0...	151	1/2/2023
3.10.0.41215-nightly-2022-1...	147	12/31/2022
3.10.0.41215-nightly-2022-1...	113	12/30/2022
3.10.0.41215-nightly-2022-1...	154	12/29/2022
3.10.0.41215-nightly-2022-1...	165	12/28/2022
3.10.0.41215-nightly-2022-1...	164	12/27/2022
3.10.0.41215-nightly-2022-1...	155	12/26/2022
3.10.0.41215-nightly-2022-1...	174	12/25/2022
3.10.0.41215-nightly-2022-1...	169	12/24/2022
3.10.0.41215-nightly-2022-1...	151	12/23/2022
3.10.0.41215-nightly-2022-1...	153	12/22/2022
3.10.0.41215-nightly-2022-1...	144	12/21/2022
3.10.0.41215-nightly-2022-1...	154	12/20/2022
3.10.0.41215-nightly-2022-1...	150	12/19/2022
3.10.0.41215-nightly-2022-1...	146	12/18/2022
3.10.0.41215-nightly-2022-1...	140	12/17/2022
3.10.0.41215-nightly-2022-1...	148	12/15/2022
3.10.0.41129-nightly-2022-1...	157	11/29/2022
3.10.0-nightly-2022-12-16-7...	159	12/16/2022
3.10.0-nightly-2022-12-15-5...	137	12/15/2022
3.10.0-nightly-2022-12-14-3...	168	12/14/2022
3.10.0-nightly-2022-12-13-1...	136	12/13/2022
3.10.0-nightly-2022-12-12-f...	150	12/12/2022
3.10.0-nightly-2022-12-12-1...	136	12/12/2022
3.10.0-nightly-2022-12-11-f...	137	12/11/2022
3.10.0-nightly-2022-12-10-f...	150	12/10/2022
3.10.0-nightly-2022-12-09-f...	149	12/9/2022
3.10.0-nightly-2022-12-08-b...	159	12/8/2022
3.10.0-nightly-2022-12-07-3...	135	12/7/2022
3.10.0-nightly-2022-12-06-3...	136	12/6/2022
3.10.0-nightly-2022-12-05-3...	163	12/5/2022
3.10.0-nightly-2022-12-04-3...	145	12/4/2022
3.10.0-nightly-2022-12-03-3...	161	12/3/2022
3.10.0-nightly-2022-12-02-e...	145	12/2/2022
3.9.1.41027	671	10/27/2022
3.9.1.41027-nightly-2022-12...	149	12/1/2022
3.9.1.41027-nightly-2022-11...	154	11/30/2022
3.9.1.41027-nightly-2022-11...	158	11/29/2022
3.9.1.41027-nightly-2022-11...	151	11/29/2022
3.9.1.41027-nightly-2022-11...	142	11/28/2022
3.9.1.41027-nightly-2022-11...	153	11/27/2022
3.9.1.41027-nightly-2022-11...	155	11/26/2022
3.9.1.41027-nightly-2022-11...	155	11/25/2022
3.9.1.41027-nightly-2022-11...	149	11/24/2022
3.9.1.41027-nightly-2022-11...	160	11/23/2022
3.9.1.41027-nightly-2022-11...	164	11/22/2022
3.9.1.41027-nightly-2022-11...	147	11/21/2022
3.9.1.41027-nightly-2022-11...	149	11/20/2022
3.9.1.41027-nightly-2022-11...	160	11/19/2022
3.9.1.41027-nightly-2022-11...	144	11/18/2022
3.9.1.41027-nightly-2022-11...	148	11/17/2022
3.9.1.41027-nightly-2022-11...	145	11/16/2022
3.9.1.41027-nightly-2022-11...	156	11/15/2022
3.9.1.41027-nightly-2022-11...	164	11/14/2022
3.9.1.41027-nightly-2022-11...	154	11/13/2022
3.9.1.41027-nightly-2022-11...	161	11/12/2022
3.9.1.41027-nightly-2022-11...	169	11/11/2022
3.9.1.41027-nightly-2022-11...	158	11/10/2022
3.9.1.41027-nightly-2022-11...	143	11/9/2022
3.9.1.41027-nightly-2022-11...	149	11/8/2022
3.9.1.41027-nightly-2022-11...	144	11/7/2022
3.9.1.41027-nightly-2022-11...	160	11/6/2022
3.9.1.41027-nightly-2022-11...	162	11/5/2022
3.9.1.41027-nightly-2022-11...	143	11/4/2022
3.9.1.41027-nightly-2022-11...	156	11/3/2022
3.9.1.41027-nightly-2022-11...	155	11/2/2022
3.9.1.41027-nightly-2022-11...	147	11/2/2022
3.9.1.41027-nightly-2022-10...	164	10/31/2022
3.9.1.41027-nightly-2022-10...	150	10/29/2022
3.9.1.41027-nightly-2022-10...	167	10/28/2022
3.9.1.41027-nightly-2022-10...	153	10/27/2022
3.9.0.41003	730	10/3/2022
3.9.0.41003-nightly-2022-10...	180	10/27/2022
3.9.0.41003-nightly-2022-10...	157	10/26/2022
3.9.0.41003-nightly-2022-10...	147	10/25/2022
3.9.0.41003-nightly-2022-10...	160	10/24/2022
3.9.0.41003-nightly-2022-10...	164	10/23/2022
3.9.0.41003-nightly-2022-10...	165	10/22/2022
3.9.0.41003-nightly-2022-10...	176	10/21/2022
3.9.0.41003-nightly-2022-10...	179	10/20/2022
3.9.0.41003-nightly-2022-10...	188	10/19/2022
3.9.0.41003-nightly-2022-10...	161	10/18/2022
3.9.0.41003-nightly-2022-10...	152	10/16/2022
3.9.0.41003-nightly-2022-10...	165	10/15/2022
3.9.0.41003-nightly-2022-10...	170	10/14/2022
3.9.0.41003-nightly-2022-10...	183	10/13/2022
3.9.0.41003-nightly-2022-10...	154	10/12/2022
3.9.0.41003-nightly-2022-10...	151	10/11/2022
3.9.0.41003-nightly-2022-10...	184	10/10/2022
3.9.0.41003-nightly-2022-10...	156	10/9/2022
3.9.0.41003-nightly-2022-10...	155	10/8/2022
3.9.0.41003-nightly-2022-10...	167	10/7/2022
3.9.0.41003-nightly-2022-10...	156	10/6/2022
3.9.0.41003-nightly-2022-10...	140	10/5/2022
3.9.0.41003-nightly-2022-10...	148	10/4/2022
3.9.0.41003-nightly-2022-10...	157	10/3/2022
3.9.0.40930	709	10/3/2022
3.9.0.40930-nightly-2022-09...	148	9/30/2022
3.8.1.40901-nightly-2022-10...	160	10/3/2022
3.8.1.40901-nightly-2022-10...	168	10/2/2022
3.8.1.40901-nightly-2022-10...	172	10/1/2022
3.8.1.40901-nightly-2022-09...	160	9/30/2022
3.8.1.40901-nightly-2022-09...	162	9/29/2022
3.8.1.40901-nightly-2022-09...	190	9/28/2022
3.8.1.40901-nightly-2022-09...	163	9/27/2022
3.8.1.40901-nightly-2022-09...	172	9/26/2022
3.8.1.40901-nightly-2022-09...	206	9/25/2022
3.8.1.40901-nightly-2022-09...	569	9/24/2022

Total 111.0K

Current version 61

Per day average 151

DafnyCore 4.8.0-nightly-2024-09-24-ef13a72

net6.0

NuGet packages (4)

GitHub repositories