DafnyCore 4.9.2-nightly-2025-01-05-4ecc4bf

This is a prerelease version of DafnyCore.

There is a newer prerelease version of this package available.
See the version list below for details.

dotnet add package DafnyCore --version 4.9.2-nightly-2025-01-05-4ecc4bf

NuGet\Install-Package DafnyCore -Version 4.9.2-nightly-2025-01-05-4ecc4bf

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.9.2-nightly-2025-01-05-4ecc4bf" />

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

paket add DafnyCore --version 4.9.2-nightly-2025-01-05-4ecc4bf

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

#r "nuget: DafnyCore, 4.9.2-nightly-2025-01-05-4ecc4bf"

#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.9.2-nightly-2025-01-05-4ecc4bf&prerelease

// Install DafnyCore as a Cake Tool
#tool nuget:?package=DafnyCore&version=4.9.2-nightly-2025-01-05-4ecc4bf&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. net9.0 was computed. net9.0-android was computed. net9.0-browser was computed. net9.0-ios was computed. net9.0-maccatalyst was computed. net9.0-macos was computed. net9.0-tvos was computed. net9.0-windows was computed.

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.4.3)
- DafnyRuntime (>= 4.9.2-nightly-2025-01-05-4ecc4bf)
- 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	157.5K
DafnyLanguageServer Package Description	143.6K
DafnyDriver Package Description	90.3K
DafnyBenchmarkingPlugin Package Description	50.1K

GitHub repositories

This package is not used by any popular GitHub repositories.

Version	Downloads	Last updated
4.9.2-nightly-2025-01-07-4e...	26	1/7/2025
4.9.2-nightly-2025-01-06-4e...	60	1/6/2025
4.9.2-nightly-2025-01-05-4e...	65	1/5/2025
4.9.2-nightly-2025-01-04-4e...	81	1/4/2025
4.9.2-nightly-2025-01-03-a8...	91	1/3/2025
4.9.2-nightly-2025-01-02-a8...	79	1/2/2025
4.9.2-nightly-2025-01-01-a8...	109	1/1/2025
4.9.2-nightly-2024-12-31-a8...	134	12/31/2024
4.9.2-nightly-2024-12-30-61...	126	12/30/2024
4.9.2-nightly-2024-12-29-61...	120	12/29/2024
4.9.2-nightly-2024-12-28-61...	131	12/28/2024
4.9.2-nightly-2024-12-27-06...	120	12/27/2024
4.9.2-nightly-2024-12-26-44...	121	12/26/2024
4.9.2-nightly-2024-12-25-4c...	127	12/25/2024
4.9.2-nightly-2024-12-24-4c...	121	12/24/2024
4.9.1	192	12/20/2024
4.9.1-nightly-2024-12-23-2a...	104	12/23/2024
4.9.1-nightly-2024-12-22-7d...	114	12/22/2024
4.9.1-nightly-2024-12-21-7d...	114	12/21/2024
4.9.1-nightly-2024-12-20-7d...	111	12/20/2024
4.9.1-nightly-2024-12-20-63...	115	12/20/2024
4.9.1-nightly-2024-12-19-7d...	119	12/19/2024
4.9.1-nightly-2024-12-18-64...	107	12/18/2024
4.9.1-nightly-2024-12-17-5e...	118	12/17/2024
4.9.1-nightly-2024-12-16-70...	120	12/16/2024
4.9.1-nightly-2024-12-15-70...	114	12/15/2024
4.9.1-nightly-2024-12-14-70...	109	12/14/2024
4.9.1-nightly-2024-12-13-6b...	110	12/13/2024
4.9.1-nightly-2024-12-12-1d...	123	12/12/2024
4.9.1-nightly-2024-12-11-48...	108	12/11/2024
4.9.1-nightly-2024-12-10-48...	109	12/10/2024
4.9.1-nightly-2024-12-09-db...	114	12/9/2024
4.9.1-nightly-2024-12-08-32...	127	12/8/2024
4.9.1-nightly-2024-12-07-32...	124	12/7/2024
4.9.1-nightly-2024-12-06-32...	134	12/6/2024
4.9.1-nightly-2024-12-05-56...	120	12/5/2024
4.9.1-nightly-2024-12-04-bf...	127	12/4/2024
4.9.1-nightly-2024-12-03-49...	126	12/3/2024
4.9.1-nightly-2024-12-02-f9...	109	12/2/2024
4.9.1-nightly-2024-12-01-e3...	116	12/1/2024
4.9.1-nightly-2024-11-30-1c...	120	11/30/2024
4.9.1-nightly-2024-11-29-1c...	118	11/29/2024
4.9.1-nightly-2024-11-28-00...	117	11/28/2024
4.9.1-nightly-2024-11-25-7c...	115	11/25/2024
4.9.1-nightly-2024-11-24-7c...	112	11/24/2024
4.9.1-nightly-2024-11-23-7c...	121	11/23/2024
4.9.1-nightly-2024-11-22-0b...	123	11/22/2024
4.9.1-nightly-2024-11-21-ac...	121	11/21/2024
4.9.1-nightly-2024-11-20-b9...	117	11/20/2024
4.9.1-nightly-2024-11-19-b9...	115	11/19/2024
4.9.1-nightly-2024-11-18-b9...	124	11/18/2024
4.9.1-nightly-2024-11-17-b9...	113	11/17/2024
4.9.1-nightly-2024-11-16-f9...	114	11/16/2024
4.9.1-nightly-2024-11-15-91...	123	11/15/2024
4.9.1-nightly-2024-11-14-7d...	128	11/14/2024
4.9.1-nightly-2024-11-13-5f...	120	11/13/2024
4.9.1-nightly-2024-11-12-e7...	121	11/12/2024
4.9.1-nightly-2024-11-11-e7...	123	11/11/2024
4.9.1-nightly-2024-11-10-e7...	131	11/10/2024
4.9.1-nightly-2024-11-09-e7...	122	11/9/2024
4.9.1-nightly-2024-11-08-94...	129	11/8/2024
4.9.1-nightly-2024-11-07-a0...	110	11/7/2024
4.9.1-nightly-2024-11-06-3e...	122	11/6/2024
4.9.1-nightly-2024-11-05-f9...	117	11/5/2024
4.9.1-nightly-2024-11-04-f9...	124	11/4/2024
4.9.1-nightly-2024-11-03-5b...	131	11/3/2024
4.9.1-nightly-2024-11-02-5b...	128	11/2/2024
4.9.1-nightly-2024-11-01-ea...	123	11/1/2024
4.9.0	192	10/31/2024
4.8.1	401	9/16/2024
4.8.1-nightly-2024-10-31-c5...	123	10/31/2024
4.8.1-nightly-2024-10-30-c5...	120	10/30/2024
4.8.1-nightly-2024-10-29-7a...	115	10/29/2024
4.8.1-nightly-2024-10-29-72...	108	10/29/2024
4.8.1-nightly-2024-10-24-77...	119	10/24/2024
4.8.1-nightly-2024-10-23-77...	118	10/23/2024
4.8.1-nightly-2024-10-22-77...	110	10/22/2024
4.8.1-nightly-2024-10-21-a0...	113	10/21/2024
4.8.1-nightly-2024-10-20-a0...	132	10/20/2024
4.8.1-nightly-2024-10-19-a0...	149	10/19/2024
4.8.1-nightly-2024-10-18-2d...	149	10/18/2024
4.8.1-nightly-2024-10-17-59...	105	10/17/2024
4.8.1-nightly-2024-10-16-7f...	112	10/16/2024
4.8.1-nightly-2024-10-15-60...	107	10/15/2024
4.8.1-nightly-2024-10-14-c4...	120	10/14/2024
4.8.1-nightly-2024-10-13-c4...	118	10/13/2024
4.8.1-nightly-2024-10-12-c4...	119	10/12/2024
4.8.1-nightly-2024-10-11-8f...	118	10/11/2024
4.8.1-nightly-2024-10-10-8f...	124	10/10/2024
4.8.1-nightly-2024-10-09-37...	127	10/9/2024
4.8.1-nightly-2024-10-06-b5...	122	10/6/2024
4.8.1-nightly-2024-10-05-b5...	124	10/5/2024
4.8.1-nightly-2024-10-04-b5...	116	10/4/2024
4.8.0	418	8/29/2024
4.8.0-nightly-2024-10-03-d9...	117	10/3/2024
4.8.0-nightly-2024-10-02-d9...	122	10/2/2024
4.8.0-nightly-2024-10-01-08...	125	10/1/2024
4.8.0-nightly-2024-09-30-38...	114	9/30/2024
4.8.0-nightly-2024-09-29-38...	110	9/29/2024
4.8.0-nightly-2024-09-27-66...	116	9/27/2024
4.8.0-nightly-2024-09-26-cb...	115	9/26/2024
4.8.0-nightly-2024-09-25-8a...	123	9/25/2024
4.8.0-nightly-2024-09-24-ef...	124	9/24/2024
4.8.0-nightly-2024-09-23-05...	127	9/23/2024
4.8.0-nightly-2024-09-22-05...	127	9/22/2024
4.8.0-nightly-2024-09-21-05...	107	9/21/2024
4.8.0-nightly-2024-09-20-05...	119	9/20/2024
4.8.0-nightly-2024-09-19-17...	115	9/19/2024
4.8.0-nightly-2024-09-18-fc...	115	9/18/2024
4.8.0-nightly-2024-09-17-8f...	135	9/17/2024
4.8.0-nightly-2024-09-16-e9...	147	9/16/2024
4.8.0-nightly-2024-09-16-d3...	146	9/16/2024
4.8.0-nightly-2024-09-15-e9...	143	9/15/2024
4.8.0-nightly-2024-09-14-e9...	145	9/14/2024
4.8.0-nightly-2024-09-13-e9...	146	9/13/2024
4.8.0-nightly-2024-09-12-3a...	146	9/12/2024
4.8.0-nightly-2024-09-10-83...	178	9/10/2024
4.8.0-nightly-2024-09-09-db...	169	9/9/2024
4.8.0-nightly-2024-09-08-79...	156	9/8/2024
4.8.0-nightly-2024-09-07-79...	176	9/7/2024
4.8.0-nightly-2024-09-06-ad...	171	9/6/2024
4.8.0-nightly-2024-09-05-0f...	173	9/5/2024
4.8.0-nightly-2024-09-04-24...	168	9/4/2024
4.7.0	662	6/26/2024
4.7.0-nightly-2024-09-03-b3...	159	9/3/2024
4.7.0-nightly-2024-09-02-b3...	147	9/2/2024
4.7.0-nightly-2024-09-01-b3...	137	9/1/2024
4.7.0-nightly-2024-08-31-b3...	147	8/31/2024
4.7.0-nightly-2024-08-30-d8...	148	8/30/2024
4.7.0-nightly-2024-08-29-d8...	134	8/29/2024
4.7.0-nightly-2024-08-28-a4...	140	8/28/2024
4.7.0-nightly-2024-08-27-a4...	150	8/27/2024
4.7.0-nightly-2024-08-26-a4...	136	8/26/2024
4.7.0-nightly-2024-08-25-a4...	159	8/25/2024
4.7.0-nightly-2024-08-24-a4...	162	8/24/2024
4.7.0-nightly-2024-08-23-a4...	169	8/23/2024
4.7.0-nightly-2024-08-22-eb...	167	8/22/2024
4.7.0-nightly-2024-08-21-eb...	168	8/21/2024
4.7.0-nightly-2024-08-20-eb...	182	8/20/2024
4.7.0-nightly-2024-08-19-4e...	161	8/19/2024
4.7.0-nightly-2024-08-18-7e...	174	8/18/2024
4.7.0-nightly-2024-08-17-7e...	162	8/17/2024
4.7.0-nightly-2024-08-16-7e...	161	8/16/2024
4.7.0-nightly-2024-08-15-8d...	160	8/15/2024
4.7.0-nightly-2024-08-14-6d...	161	8/14/2024
4.7.0-nightly-2024-08-13-64...	178	8/13/2024
4.7.0-nightly-2024-08-12-f5...	149	8/12/2024
4.7.0-nightly-2024-08-11-c9...	159	8/11/2024
4.7.0-nightly-2024-08-10-c9...	161	8/10/2024
4.7.0-nightly-2024-08-09-c9...	182	8/9/2024
4.7.0-nightly-2024-08-08-bc...	147	8/8/2024
4.7.0-nightly-2024-08-07-b1...	134	8/7/2024
4.7.0-nightly-2024-08-06-b1...	132	8/6/2024
4.7.0-nightly-2024-08-05-b1...	131	8/5/2024
4.7.0-nightly-2024-08-03-b1...	126	8/3/2024
4.7.0-nightly-2024-08-02-b1...	119	8/2/2024
4.7.0-nightly-2024-08-01-86...	127	8/1/2024
4.7.0-nightly-2024-07-31-86...	118	7/31/2024
4.7.0-nightly-2024-07-30-36...	108	7/30/2024
4.7.0-nightly-2024-07-29-d8...	95	7/29/2024
4.7.0-nightly-2024-07-29-70...	111	7/29/2024
4.7.0-nightly-2024-07-28-70...	97	7/28/2024
4.7.0-nightly-2024-07-27-70...	91	7/27/2024
4.7.0-nightly-2024-07-26-70...	100	7/26/2024
4.7.0-nightly-2024-07-25-70...	113	7/25/2024
4.7.0-nightly-2024-07-24-f1...	126	7/24/2024
4.7.0-nightly-2024-07-23-f1...	146	7/23/2024
4.7.0-nightly-2024-07-22-91...	162	7/22/2024
4.7.0-nightly-2024-07-21-91...	149	7/21/2024
4.7.0-nightly-2024-07-20-91...	160	7/20/2024
4.7.0-nightly-2024-07-19-91...	142	7/19/2024
4.7.0-nightly-2024-07-18-91...	154	7/19/2024
4.7.0-nightly-2024-07-17-91...	132	7/17/2024
4.7.0-nightly-2024-07-16-91...	133	7/17/2024
4.7.0-nightly-2024-07-15-91...	156	7/15/2024
4.7.0-nightly-2024-07-14-91...	145	7/14/2024
4.7.0-nightly-2024-07-13-91...	139	7/13/2024
4.7.0-nightly-2024-07-12-91...	151	7/12/2024
4.7.0-nightly-2024-07-11-04...	129	7/11/2024
4.7.0-nightly-2024-07-10-52...	151	7/10/2024
4.7.0-nightly-2024-07-09-7e...	140	7/9/2024
4.7.0-nightly-2024-07-08-20...	140	7/8/2024
4.7.0-nightly-2024-07-07-9a...	142	7/8/2024
4.7.0-nightly-2024-07-05-04...	134	7/5/2024
4.7.0-nightly-2024-07-04-04...	141	7/4/2024
4.7.0-nightly-2024-07-03-14...	139	7/3/2024
4.7.0-nightly-2024-07-02-14...	136	7/3/2024
4.7.0-nightly-2024-07-01-14...	144	7/2/2024
4.7.0-nightly-2024-06-30-14...	161	6/30/2024
4.7.0-nightly-2024-06-29-14...	161	6/29/2024
4.7.0-nightly-2024-06-28-14...	161	6/28/2024
4.7.0-nightly-2024-06-27-14...	151	6/27/2024
4.6.0	855	3/28/2024
4.6.0-nightly-2024-06-26-eb...	158	6/26/2024
4.6.0-nightly-2024-06-25-2e...	151	6/25/2024
4.6.0-nightly-2024-06-24-08...	153	6/24/2024
4.6.0-nightly-2024-06-23-08...	148	6/23/2024
4.6.0-nightly-2024-06-22-08...	148	6/22/2024
4.6.0-nightly-2024-06-21-e3...	156	6/21/2024
4.6.0-nightly-2024-06-20-94...	157	6/20/2024
4.6.0-nightly-2024-06-19-94...	149	6/19/2024
4.6.0-nightly-2024-06-15-5f...	162	6/15/2024
4.6.0-nightly-2024-06-14-70...	152	6/14/2024
4.6.0-nightly-2024-06-13-70...	149	6/14/2024
4.6.0-nightly-2024-06-12-f1...	134	6/12/2024
4.6.0-nightly-2024-06-11-64...	132	6/11/2024
4.6.0-nightly-2024-06-10-f0...	143	6/10/2024
4.6.0-nightly-2024-06-09-f0...	130	6/9/2024
4.6.0-nightly-2024-06-08-9f...	146	6/8/2024
4.6.0-nightly-2024-06-07-43...	140	6/7/2024
4.6.0-nightly-2024-06-06-66...	133	6/6/2024
4.6.0-nightly-2024-06-04-da...	163	6/4/2024
4.6.0-nightly-2024-06-04-75...	133	6/4/2024
4.6.0-nightly-2024-06-04-52...	151	6/4/2024
4.6.0-nightly-2024-05-29-b5...	144	5/29/2024
4.6.0-nightly-2024-05-28-dc...	157	5/28/2024
4.6.0-nightly-2024-05-24-6b...	156	5/24/2024
4.6.0-nightly-2024-05-23-41...	153	5/24/2024
4.6.0-nightly-2024-05-22-41...	145	5/23/2024
4.6.0-nightly-2024-05-21-33...	159	5/21/2024
4.6.0-nightly-2024-05-20-7e...	157	5/20/2024
4.6.0-nightly-2024-05-18-2f...	170	5/18/2024
4.6.0-nightly-2024-05-17-80...	154	5/17/2024
4.6.0-nightly-2024-05-16-8d...	160	5/16/2024
4.6.0-nightly-2024-05-15-af...	159	5/15/2024
4.6.0-nightly-2024-05-14-8d...	147	5/14/2024
4.6.0-nightly-2024-05-13-70...	136	5/13/2024
4.6.0-nightly-2024-05-12-70...	129	5/12/2024
4.6.0-nightly-2024-05-11-70...	122	5/11/2024
4.6.0-nightly-2024-05-10-cc...	134	5/10/2024
4.6.0-nightly-2024-05-09-84...	146	5/9/2024
4.6.0-nightly-2024-05-08-1c...	131	5/8/2024
4.6.0-nightly-2024-05-07-55...	163	5/7/2024
4.6.0-nightly-2024-05-06-55...	164	5/6/2024
4.6.0-nightly-2024-05-05-55...	181	5/5/2024
4.6.0-nightly-2024-05-04-55...	166	5/4/2024
4.6.0-nightly-2024-05-03-55...	125	5/3/2024
4.6.0-nightly-2024-05-02-07...	125	5/3/2024
4.6.0-nightly-2024-05-01-8e...	140	5/1/2024
4.6.0-nightly-2024-05-01-88...	150	5/1/2024
4.6.0-nightly-2024-04-29-ea...	147	4/29/2024
4.6.0-nightly-2024-04-26-bc...	147	4/26/2024
4.6.0-nightly-2024-04-25-b4...	167	4/25/2024
4.6.0-nightly-2024-04-24-06...	167	4/24/2024
4.6.0-nightly-2024-04-22-00...	160	4/22/2024
4.6.0-nightly-2024-04-21-2e...	147	4/21/2024
4.6.0-nightly-2024-04-20-2e...	154	4/21/2024
4.6.0-nightly-2024-04-19-0c...	163	4/19/2024
4.6.0-nightly-2024-04-18-0c...	153	4/18/2024
4.6.0-nightly-2024-04-17-b3...	151	4/17/2024
4.6.0-nightly-2024-04-16-1c...	169	4/16/2024
4.6.0-nightly-2024-04-15-13...	163	4/15/2024
4.6.0-nightly-2024-04-14-13...	164	4/15/2024
4.6.0-nightly-2024-04-13-13...	172	4/13/2024
4.6.0-nightly-2024-04-12-4e...	154	4/12/2024
4.6.0-nightly-2024-04-11-62...	159	4/11/2024
4.6.0-nightly-2024-04-10-d8...	156	4/10/2024
4.6.0-nightly-2024-04-09-65...	166	4/9/2024
4.6.0-nightly-2024-04-08-be...	155	4/8/2024
4.6.0-nightly-2024-04-07-be...	155	4/7/2024
4.6.0-nightly-2024-04-05-56...	152	4/5/2024
4.6.0-nightly-2024-04-04-5c...	150	4/4/2024
4.6.0-nightly-2024-04-03-91...	147	4/3/2024
4.6.0-nightly-2024-04-02-5b...	163	4/2/2024
4.6.0-nightly-2024-04-01-69...	165	4/1/2024
4.6.0-nightly-2024-03-31-4a...	143	3/31/2024
4.6.0-nightly-2024-03-29-8f...	159	3/29/2024
4.6.0-nightly-2024-03-29-71...	146	3/29/2024
4.5.0	306	3/15/2024
4.5.0-nightly-2024-03-27-ca...	151	3/27/2024
4.5.0-nightly-2024-03-26-0c...	161	3/27/2024
4.5.0-nightly-2024-03-25-f4...	182	3/25/2024
4.5.0-nightly-2024-03-24-f4...	150	3/25/2024
4.5.0-nightly-2024-03-23-f4...	172	3/23/2024
4.5.0-nightly-2024-03-22-ec...	174	3/22/2024
4.5.0-nightly-2024-03-21-7c...	145	3/21/2024
4.5.0-nightly-2024-03-20-99...	170	3/20/2024
4.5.0-nightly-2024-03-19-39...	171	3/20/2024
4.5.0-nightly-2024-03-18-39...	166	3/18/2024
4.5.0-nightly-2024-03-17-39...	155	3/17/2024
4.5.0-nightly-2024-03-16-39...	154	3/16/2024
4.5.0-nightly-2024-03-15-02...	158	3/15/2024
4.4.0	862	12/12/2023
4.4.0-nightly-2024-03-15-87...	181	3/15/2024
4.4.0-nightly-2024-03-14-28...	161	3/14/2024
4.4.0-nightly-2024-03-13-f1...	157	3/13/2024
4.4.0-nightly-2024-03-12-69...	160	3/12/2024
4.4.0-nightly-2024-03-11-a8...	163	3/11/2024
4.4.0-nightly-2024-03-10-a2...	138	3/11/2024
4.4.0-nightly-2024-03-09-a2...	162	3/9/2024
4.4.0-nightly-2024-03-08-1d...	171	3/8/2024
4.4.0-nightly-2024-03-06-35...	142	3/6/2024
4.4.0-nightly-2024-03-05-35...	184	3/5/2024
4.4.0-nightly-2024-03-04-54...	179	3/4/2024
4.4.0-nightly-2024-03-03-4e...	168	3/3/2024
4.4.0-nightly-2024-03-01-26...	183	3/1/2024
4.4.0-nightly-2024-02-29-2a...	195	2/29/2024
4.4.0-nightly-2024-02-28-2a...	160	2/28/2024
4.4.0-nightly-2024-02-27-2a...	156	2/27/2024
4.4.0-nightly-2024-02-26-1c...	156	2/26/2024
4.4.0-nightly-2024-02-25-d6...	163	2/26/2024
4.4.0-nightly-2024-02-24-d6...	172	2/24/2024
4.4.0-nightly-2024-02-23-d6...	163	2/23/2024
4.4.0-nightly-2024-02-22-e2...	170	2/22/2024
4.4.0-nightly-2024-02-21-22...	170	2/21/2024
4.4.0-nightly-2024-02-20-ce...	155	2/20/2024
4.4.0-nightly-2024-02-19-be...	164	2/19/2024
4.4.0-nightly-2024-02-18-be...	159	2/18/2024
4.4.0-nightly-2024-02-17-be...	183	2/17/2024
4.4.0-nightly-2024-02-16-af...	157	2/16/2024
4.4.0-nightly-2024-02-15-73...	174	2/15/2024
4.4.0-nightly-2024-02-14-5c...	173	2/14/2024
4.4.0-nightly-2024-02-13-9d...	166	2/13/2024
4.4.0-nightly-2024-02-12-d7...	154	2/12/2024
4.4.0-nightly-2024-02-11-c8...	159	2/11/2024
4.4.0-nightly-2024-02-10-c8...	154	2/10/2024
4.4.0-nightly-2024-02-09-29...	173	2/9/2024
4.4.0-nightly-2024-02-08-fc...	164	2/8/2024
4.4.0-nightly-2024-02-07-59...	157	2/7/2024
4.4.0-nightly-2024-02-06-b3...	157	2/6/2024
4.4.0-nightly-2024-02-05-16...	160	2/5/2024
4.4.0-nightly-2024-02-04-c6...	163	2/4/2024
4.4.0-nightly-2024-02-03-c6...	151	2/3/2024
4.4.0-nightly-2024-02-02-70...	162	2/2/2024
4.4.0-nightly-2024-02-01-8b...	150	2/1/2024
4.4.0-nightly-2024-01-31-8b...	162	1/31/2024
4.4.0-nightly-2024-01-30-90...	143	1/30/2024
4.4.0-nightly-2024-01-26-cf...	157	1/26/2024
4.4.0-nightly-2024-01-25-cf...	150	1/25/2024
4.4.0-nightly-2024-01-24-9d...	154	1/24/2024
4.4.0-nightly-2024-01-23-fe...	161	1/23/2024
4.4.0-nightly-2024-01-22-47...	158	1/22/2024
4.4.0-nightly-2024-01-21-a7...	148	1/21/2024
4.4.0-nightly-2024-01-20-79...	161	1/20/2024
4.4.0-nightly-2024-01-19-99...	160	1/19/2024
4.4.0-nightly-2024-01-19-3b...	157	1/19/2024
4.4.0-nightly-2024-01-18-3b...	152	1/18/2024
4.4.0-nightly-2024-01-17-3b...	153	1/17/2024
4.4.0-nightly-2024-01-03-2c...	191	1/3/2024
4.4.0-nightly-2024-01-01-2c...	177	1/1/2024
4.4.0-nightly-2023-12-31-2c...	174	12/31/2023
4.4.0-nightly-2023-12-30-2c...	184	12/30/2023
4.4.0-nightly-2023-12-29-2c...	190	12/29/2023
4.4.0-nightly-2023-12-28-2c...	178	12/28/2023
4.4.0-nightly-2023-12-27-2c...	197	12/27/2023
4.4.0-nightly-2023-12-26-2c...	180	12/26/2023
4.4.0-nightly-2023-12-25-2c...	190	12/25/2023
4.4.0-nightly-2023-12-24-2c...	169	12/24/2023
4.4.0-nightly-2023-12-23-2c...	183	12/23/2023
4.4.0-nightly-2023-12-22-2c...	170	12/22/2023
4.4.0-nightly-2023-12-21-2c...	168	12/21/2023
4.4.0-nightly-2023-12-20-2c...	187	12/20/2023
4.4.0-nightly-2023-12-19-2c...	170	12/19/2023
4.4.0-nightly-2023-12-18-2c...	177	12/18/2023
4.4.0-nightly-2023-12-17-2c...	166	12/17/2023
4.4.0-nightly-2023-12-16-2c...	164	12/16/2023
4.4.0-nightly-2023-12-15-2c...	179	12/15/2023
4.4.0-nightly-2023-12-14-2c...	176	12/15/2023
4.4.0-nightly-2023-12-13-2c...	175	12/13/2023
4.4.0-nightly-2023-12-12-4f...	185	12/12/2023
4.4.0-nightly-2023-12-11-4f...	177	12/11/2023
4.4.0-nightly-2023-12-10-4f...	186	12/10/2023
4.4.0-nightly-2023-12-09-4f...	178	12/9/2023
4.3.0	324	9/28/2023
4.3.0-nightly-2023-12-08-7e...	170	12/8/2023
4.3.0-nightly-2023-12-07-c9...	188	12/7/2023
4.3.0-nightly-2023-12-06-6a...	170	12/6/2023
4.3.0-nightly-2023-12-05-cc...	142	12/5/2023
4.3.0-nightly-2023-12-04-fd...	154	12/4/2023
4.3.0-nightly-2023-12-03-23...	173	12/3/2023
4.3.0-nightly-2023-12-02-23...	163	12/2/2023
4.3.0-nightly-2023-12-01-05...	167	12/1/2023
4.3.0-nightly-2023-11-30-8e...	178	11/30/2023
4.3.0-nightly-2023-11-29-f7...	171	11/29/2023
4.3.0-nightly-2023-11-28-c5...	155	11/28/2023
4.3.0-nightly-2023-11-27-98...	165	11/27/2023
4.3.0-nightly-2023-11-25-b1...	165	11/25/2023
4.3.0-nightly-2023-11-24-b1...	166	11/24/2023
4.3.0-nightly-2023-11-23-ec...	173	11/23/2023
4.3.0-nightly-2023-11-22-ec...	186	11/22/2023
4.3.0-nightly-2023-11-21-fd...	161	11/21/2023
4.3.0-nightly-2023-11-21-4f...	164	11/21/2023
4.3.0-nightly-2023-11-19-dd...	182	11/19/2023
4.3.0-nightly-2023-11-18-dd...	163	11/18/2023
4.3.0-nightly-2023-11-17-06...	181	11/17/2023
4.3.0-nightly-2023-11-16-f8...	175	11/16/2023
4.3.0-nightly-2023-11-15-c6...	161	11/15/2023
4.3.0-nightly-2023-11-14-84...	174	11/14/2023
4.3.0-nightly-2023-11-13-5e...	167	11/13/2023
4.3.0-nightly-2023-11-12-90...	164	11/12/2023
4.3.0-nightly-2023-11-11-90...	157	11/11/2023
4.3.0-nightly-2023-11-10-4d...	162	11/10/2023
4.3.0-nightly-2023-11-09-ee...	171	11/9/2023
4.3.0-nightly-2023-11-08-48...	154	11/8/2023
4.3.0-nightly-2023-11-07-48...	163	11/7/2023
4.3.0-nightly-2023-11-06-d4...	154	11/6/2023
4.3.0-nightly-2023-11-05-d4...	155	11/5/2023
4.3.0-nightly-2023-11-02-53...	160	11/2/2023
4.3.0-nightly-2023-11-01-45...	166	11/1/2023
4.3.0-nightly-2023-10-31-af...	153	10/31/2023
4.3.0-nightly-2023-10-30-bf...	160	10/30/2023
4.3.0-nightly-2023-10-29-17...	159	10/29/2023
4.3.0-nightly-2023-10-28-17...	163	10/28/2023
4.3.0-nightly-2023-10-27-c6...	154	10/27/2023
4.3.0-nightly-2023-10-26-c6...	163	10/26/2023
4.3.0-nightly-2023-10-25-5d...	174	10/25/2023
4.3.0-nightly-2023-10-24-cd...	167	10/24/2023
4.3.0-nightly-2023-10-23-7b...	163	10/23/2023
4.3.0-nightly-2023-10-23-3e...	183	10/24/2023
4.3.0-nightly-2023-10-20-81...	174	10/20/2023
4.3.0-nightly-2023-10-19-9e...	152	10/19/2023
4.3.0-nightly-2023-10-18-32...	160	10/18/2023
4.3.0-nightly-2023-10-17-ad...	167	10/17/2023
4.3.0-nightly-2023-10-16-41...	156	10/16/2023
4.3.0-nightly-2023-10-15-fc...	151	10/15/2023
4.3.0-nightly-2023-10-14-fc...	160	10/14/2023
4.3.0-nightly-2023-10-13-0e...	166	10/13/2023
4.3.0-nightly-2023-09-27-35...	176	9/27/2023
4.2.0	426	7/20/2023
4.2.0-nightly-2023-10-12-fd...	148	10/12/2023
4.2.0-nightly-2023-10-11-fd...	154	10/11/2023
4.2.0-nightly-2023-10-10-fd...	155	10/10/2023
4.2.0-nightly-2023-10-09-fd...	150	10/9/2023
4.2.0-nightly-2023-10-08-fd...	165	10/8/2023
4.2.0-nightly-2023-10-07-fd...	168	10/7/2023
4.2.0-nightly-2023-10-06-fd...	162	10/6/2023
4.2.0-nightly-2023-10-05-fd...	148	10/5/2023
4.2.0-nightly-2023-10-04-fd...	157	10/4/2023
4.2.0-nightly-2023-10-02-fd...	154	10/2/2023
4.2.0-nightly-2023-09-30-fd...	175	9/30/2023
4.2.0-nightly-2023-09-29-fd...	167	9/29/2023
4.2.0-nightly-2023-09-28-fd...	153	9/28/2023
4.2.0-nightly-2023-09-27-fd...	164	9/27/2023
4.2.0-nightly-2023-09-27-4d...	169	9/27/2023
4.2.0-nightly-2023-09-26-a0...	169	9/26/2023
4.2.0-nightly-2023-09-25-67...	168	9/25/2023
4.2.0-nightly-2023-09-24-67...	156	9/24/2023
4.2.0-nightly-2023-09-23-67...	160	9/23/2023
4.2.0-nightly-2023-09-22-67...	166	9/22/2023
4.2.0-nightly-2023-09-21-75...	147	9/21/2023
4.2.0-nightly-2023-09-20-c6...	157	9/20/2023
4.2.0-nightly-2023-09-19-ae...	147	9/19/2023
4.2.0-nightly-2023-09-18-45...	160	9/18/2023
4.2.0-nightly-2023-09-17-45...	162	9/18/2023
4.2.0-nightly-2023-09-16-04...	158	9/16/2023
4.2.0-nightly-2023-09-15-e7...	159	9/15/2023
4.2.0-nightly-2023-09-14-e5...	173	9/14/2023
4.2.0-nightly-2023-09-13-45...	185	9/13/2023
4.2.0-nightly-2023-09-12-27...	169	9/12/2023
4.2.0-nightly-2023-09-11-d2...	177	9/11/2023
4.2.0-nightly-2023-09-10-c5...	164	9/10/2023
4.2.0-nightly-2023-09-09-ed...	159	9/9/2023
4.2.0-nightly-2023-09-08-37...	162	9/8/2023
4.2.0-nightly-2023-09-07-b6...	173	9/7/2023
4.2.0-nightly-2023-09-06-8d...	173	9/6/2023
4.2.0-nightly-2023-09-05-e1...	170	9/5/2023
4.2.0-nightly-2023-09-04-1e...	164	9/4/2023
4.2.0-nightly-2023-09-03-4a...	174	9/4/2023
4.2.0-nightly-2023-09-02-a8...	172	9/2/2023
4.2.0-nightly-2023-09-01-e9...	166	9/1/2023
4.2.0-nightly-2023-08-31-e9...	164	8/31/2023
4.2.0-nightly-2023-08-30-05...	180	8/30/2023
4.2.0-nightly-2023-08-29-a8...	171	8/29/2023
4.2.0-nightly-2023-08-28-52...	170	8/28/2023
4.2.0-nightly-2023-08-27-95...	175	8/27/2023
4.2.0-nightly-2023-08-26-95...	186	8/26/2023
4.2.0-nightly-2023-08-25-fe...	175	8/25/2023
4.2.0-nightly-2023-08-24-c5...	189	8/24/2023
4.2.0-nightly-2023-08-24-06...	175	8/24/2023
4.2.0-nightly-2023-08-23-b9...	172	8/23/2023
4.2.0-nightly-2023-08-22-84...	180	8/22/2023
4.2.0-nightly-2023-08-21-83...	159	8/21/2023
4.2.0-nightly-2023-08-20-83...	167	8/20/2023
4.2.0-nightly-2023-08-19-83...	182	8/19/2023
4.2.0-nightly-2023-08-18-2a...	170	8/18/2023
4.2.0-nightly-2023-08-17-9e...	158	8/17/2023
4.2.0-nightly-2023-08-16-d9...	169	8/16/2023
4.2.0-nightly-2023-08-15-cd...	192	8/15/2023
4.2.0-nightly-2023-08-14-0c...	211	8/14/2023
4.2.0-nightly-2023-08-13-06...	202	8/13/2023
4.2.0-nightly-2023-08-12-06...	198	8/12/2023
4.2.0-nightly-2023-08-11-e2...	193	8/11/2023
4.2.0-nightly-2023-08-10-44...	349	8/10/2023
4.2.0-nightly-2023-08-09-20...	185	8/9/2023
4.2.0-nightly-2023-08-08-ea...	195	8/9/2023
4.2.0-nightly-2023-08-07-c3...	172	8/7/2023
4.2.0-nightly-2023-08-06-24...	185	8/6/2023
4.2.0-nightly-2023-08-05-38...	205	8/5/2023
4.2.0-nightly-2023-08-04-df...	185	8/4/2023
4.2.0-nightly-2023-08-04-65...	185	8/4/2023
4.2.0-nightly-2023-08-02-a9...	197	8/2/2023
4.2.0-nightly-2023-08-01-52...	192	8/1/2023
4.2.0-nightly-2023-07-31-3b...	182	7/31/2023
4.2.0-nightly-2023-07-30-3b...	210	7/30/2023
4.2.0-nightly-2023-07-29-3b...	196	7/29/2023
4.2.0-nightly-2023-07-28-65...	176	7/28/2023
4.2.0-nightly-2023-07-27-02...	196	7/27/2023
4.2.0-nightly-2023-07-26-59...	191	7/26/2023
4.2.0-nightly-2023-07-25-c5...	194	7/25/2023
4.2.0-nightly-2023-07-24-4d...	198	7/24/2023
4.2.0-nightly-2023-07-23-4d...	207	7/23/2023
4.2.0-nightly-2023-07-22-4d...	201	7/22/2023
4.2.0-nightly-2023-07-21-ab...	197	7/21/2023
4.1.0.50522	373	5/22/2023
4.1.0	344	5/10/2023
4.1.0-nightly-2023-07-20-35...	185	7/20/2023
4.1.0-nightly-2023-07-18-ce...	189	7/18/2023
4.1.0-nightly-2023-07-18-86...	196	7/18/2023
4.1.0-nightly-2023-07-17-ec...	187	7/17/2023
4.1.0-nightly-2023-07-17-e9...	193	7/17/2023
4.1.0-nightly-2023-07-16-e9...	189	7/16/2023
4.1.0-nightly-2023-07-15-e9...	194	7/15/2023
4.1.0-nightly-2023-07-14-12...	171	7/14/2023
4.1.0-nightly-2023-07-13-0d...	180	7/13/2023
4.1.0-nightly-2023-07-12-d4...	181	7/12/2023
4.1.0-nightly-2023-07-11-0f...	185	7/11/2023
4.1.0-nightly-2023-07-10-f4...	178	7/10/2023
4.1.0-nightly-2023-07-09-5c...	193	7/9/2023
4.1.0-nightly-2023-07-08-8b...	184	7/8/2023
4.1.0-nightly-2023-07-07-2d...	175	7/7/2023
4.1.0-nightly-2023-07-06-c5...	176	7/6/2023
4.1.0-nightly-2023-07-05-e4...	192	7/5/2023
4.1.0-nightly-2023-07-04-51...	175	7/4/2023
4.1.0-nightly-2023-07-03-65...	176	7/3/2023
4.1.0-nightly-2023-07-02-e4...	186	7/2/2023
4.1.0-nightly-2023-07-01-e4...	172	7/1/2023
4.1.0-nightly-2023-06-30-86...	186	6/30/2023
4.1.0-nightly-2023-06-29-2b...	181	6/29/2023
4.1.0-nightly-2023-06-28-2b...	177	6/28/2023
4.1.0-nightly-2023-06-27-d7...	164	6/27/2023
4.1.0-nightly-2023-06-26-d7...	162	6/26/2023
4.1.0-nightly-2023-06-25-d7...	173	6/25/2023
4.1.0-nightly-2023-06-24-d7...	175	6/24/2023
4.1.0-nightly-2023-06-23-30...	181	6/23/2023
4.1.0-nightly-2023-06-22-bd...	177	6/22/2023
4.1.0-nightly-2023-06-21-bd...	170	6/21/2023
4.1.0-nightly-2023-06-20-21...	185	6/20/2023
4.1.0-nightly-2023-06-19-9a...	180	6/19/2023
4.1.0-nightly-2023-06-18-9a...	165	6/18/2023
4.1.0-nightly-2023-06-17-9a...	180	6/17/2023
4.1.0-nightly-2023-06-16-b2...	162	6/16/2023
4.1.0-nightly-2023-06-16-18...	198	6/16/2023
4.1.0-nightly-2023-06-15-eb...	171	6/15/2023
4.1.0-nightly-2023-06-15-8f...	180	6/15/2023
4.1.0-nightly-2023-06-13-1c...	185	6/13/2023
4.1.0-nightly-2023-06-12-4e...	171	6/12/2023
4.1.0-nightly-2023-06-11-a8...	185	6/11/2023
4.1.0-nightly-2023-06-10-a8...	179	6/10/2023
4.1.0-nightly-2023-06-09-a8...	168	6/9/2023
4.1.0-nightly-2023-06-08-16...	188	6/8/2023
4.1.0-nightly-2023-06-07-28...	177	6/7/2023
4.1.0-nightly-2023-06-06-59...	175	6/6/2023
4.1.0-nightly-2023-06-05-59...	183	6/5/2023
4.1.0-nightly-2023-06-04-59...	165	6/4/2023
4.1.0-nightly-2023-06-03-59...	181	6/3/2023
4.1.0-nightly-2023-06-02-59...	185	6/2/2023
4.1.0-nightly-2023-06-01-68...	174	6/1/2023
4.1.0-nightly-2023-05-31-b6...	187	5/31/2023
4.1.0-nightly-2023-05-31-81...	155	5/31/2023
4.1.0-nightly-2023-05-30-2f...	188	5/30/2023
4.1.0-nightly-2023-05-29-de...	189	5/29/2023
4.1.0-nightly-2023-05-28-80...	185	5/28/2023
4.1.0-nightly-2023-05-27-80...	185	5/27/2023
4.1.0-nightly-2023-05-26-40...	189	5/26/2023
4.1.0-nightly-2023-05-25-b3...	173	5/25/2023
4.1.0-nightly-2023-05-24-38...	175	5/24/2023
4.1.0-nightly-2023-05-23-16...	177	5/23/2023
4.1.0-nightly-2023-05-22-c8...	169	5/22/2023
4.1.0-nightly-2023-05-21-9b...	183	5/21/2023
4.1.0-nightly-2023-05-20-9b...	166	5/20/2023
4.1.0-nightly-2023-05-19-33...	179	5/19/2023
4.1.0-nightly-2023-05-18-8c...	193	5/18/2023
4.1.0-nightly-2023-05-17-49...	192	5/17/2023
4.1.0-nightly-2023-05-17-05...	183	5/17/2023
4.1.0-nightly-2023-05-15-35...	171	5/15/2023
4.1.0-nightly-2023-05-14-35...	170	5/14/2023
4.1.0-nightly-2023-05-12-30...	179	5/12/2023
4.1.0-nightly-2023-05-11-87...	186	5/11/2023
4.1.0-nightly-2023-05-09-26...	189	5/10/2023
4.1.0-nightly-2023-05-08-d9...	323	5/8/2023
4.1.0-nightly-2023-05-07-a2...	182	5/8/2023
4.1.0-nightly-2023-05-06-a2...	173	5/6/2023
4.1.0-nightly-2023-05-05-81...	171	5/5/2023
4.1.0-nightly-2023-05-04-56...	186	5/4/2023
4.1.0-nightly-2023-05-03-aa...	187	5/3/2023
4.1.0-nightly-2023-05-02-bb...	188	5/2/2023
4.1.0-nightly-2023-05-01-38...	196	5/1/2023
4.1.0-nightly-2023-04-30-38...	179	4/30/2023
4.1.0-nightly-2023-04-29-f0...	197	4/29/2023
4.1.0-nightly-2023-04-29-20...	181	4/29/2023
4.1.0-nightly-2023-04-28-41...	186	4/28/2023
4.1.0-nightly-2023-04-27-d7...	203	4/27/2023
4.1.0-nightly-2023-04-26-21...	189	4/26/2023
4.1.0-nightly-2023-04-25-38...	193	4/25/2023
4.1.0-nightly-2023-04-24-f1...	178	4/24/2023
4.1.0-nightly-2023-04-23-f1...	190	4/23/2023
4.1.0-nightly-2023-04-22-f1...	199	4/22/2023
4.1.0-nightly-2023-04-21-1d...	174	4/21/2023
4.1.0-nightly-2023-04-20-1d...	192	4/20/2023
4.1.0-nightly-2023-04-19-1d...	211	4/19/2023
4.0.0.50303	882	3/3/2023
4.0.0.50303-nightly-2023-04...	179	4/18/2023
4.0.0.50303-nightly-2023-04...	193	4/17/2023
4.0.0.50303-nightly-2023-04...	196	4/16/2023
4.0.0.50303-nightly-2023-04...	177	4/15/2023
4.0.0.50303-nightly-2023-04...	172	4/14/2023
4.0.0.50303-nightly-2023-04...	176	4/13/2023
4.0.0.50303-nightly-2023-04...	184	4/12/2023
4.0.0.50303-nightly-2023-04...	188	4/11/2023
4.0.0.50303-nightly-2023-04...	191	4/10/2023
4.0.0.50303-nightly-2023-04...	168	4/9/2023
4.0.0.50303-nightly-2023-04...	171	4/8/2023
4.0.0.50303-nightly-2023-04...	202	4/7/2023
4.0.0.50303-nightly-2023-04...	192	4/6/2023
4.0.0.50303-nightly-2023-04...	172	4/5/2023
4.0.0.50303-nightly-2023-04...	211	4/4/2023
4.0.0.50303-nightly-2023-04...	182	4/5/2023
4.0.0.50303-nightly-2023-04...	197	4/3/2023
4.0.0.50303-nightly-2023-04...	198	4/2/2023
4.0.0.50303-nightly-2023-04...	191	4/1/2023
4.0.0.50303-nightly-2023-03...	189	3/31/2023
4.0.0.50303-nightly-2023-03...	199	3/30/2023
4.0.0.50303-nightly-2023-03...	203	3/29/2023
4.0.0.50303-nightly-2023-03...	201	3/28/2023
4.0.0.50303-nightly-2023-03...	188	3/27/2023
4.0.0.50303-nightly-2023-03...	203	3/25/2023
4.0.0.50303-nightly-2023-03...	200	3/24/2023
4.0.0.50303-nightly-2023-03...	197	3/23/2023
4.0.0.50303-nightly-2023-03...	181	3/22/2023
4.0.0.50303-nightly-2023-03...	187	3/22/2023
4.0.0.50303-nightly-2023-03...	202	3/21/2023
4.0.0.50303-nightly-2023-03...	185	3/21/2023
4.0.0.50303-nightly-2023-03...	193	3/21/2023
4.0.0.50303-nightly-2023-03...	207	3/20/2023
4.0.0.50303-nightly-2023-03...	185	3/19/2023
4.0.0.50303-nightly-2023-03...	203	3/18/2023
4.0.0.50303-nightly-2023-03...	197	3/17/2023
4.0.0.50303-nightly-2023-03...	186	3/16/2023
4.0.0.50303-nightly-2023-03...	186	3/15/2023
4.0.0.50303-nightly-2023-03...	195	3/13/2023
4.0.0.50303-nightly-2023-03...	189	3/12/2023
4.0.0.50303-nightly-2023-03...	185	3/11/2023
4.0.0.50303-nightly-2023-03...	196	3/10/2023
4.0.0.50303-nightly-2023-03...	172	3/9/2023
4.0.0.50303-nightly-2023-03...	183	3/8/2023
4.0.0.50303-nightly-2023-03...	184	3/3/2023
4.0.0.50302	602	3/3/2023
4.0.0.50302-nightly-2023-03...	155	3/2/2023
3.13.1.50302	640	3/2/2023
3.13.1.50302-nightly-2023-0...	748	3/2/2023
3.13.0.50302	348	3/2/2023
3.13.0.50302-nightly-2023-0...	158	3/2/2023
3.12.0.50221	371	2/21/2023
3.12.0.50221-nightly-2023-0...	159	3/7/2023
3.12.0.50221-nightly-2023-0...	152	3/6/2023
3.12.0.50221-nightly-2023-0...	157	3/3/2023
3.12.0.50221-nightly-2023-0...	165	3/2/2023
3.12.0.50221-nightly-2023-0...	152	3/1/2023
3.12.0.50221-nightly-2023-0...	160	2/28/2023
3.12.0.50221-nightly-2023-0...	149	2/28/2023
3.12.0.50221-nightly-2023-0...	145	2/27/2023
3.12.0.50221-nightly-2023-0...	163	2/27/2023
3.12.0.50221-nightly-2023-0...	170	2/26/2023
3.12.0.50221-nightly-2023-0...	164	2/25/2023
3.12.0.50221-nightly-2023-0...	161	2/23/2023
3.12.0.50221-nightly-2023-0...	155	2/22/2023
3.12.0.50221-nightly-2023-0...	161	2/21/2023
3.11.0.50201	397	2/1/2023
3.11.0.50201-nightly-2023-0...	144	2/21/2023
3.11.0.50201-nightly-2023-0...	162	2/20/2023
3.11.0.50201-nightly-2023-0...	160	2/19/2023
3.11.0.50201-nightly-2023-0...	161	2/18/2023
3.11.0.50201-nightly-2023-0...	161	2/18/2023
3.11.0.50201-nightly-2023-0...	146	2/17/2023
3.11.0.50201-nightly-2023-0...	148	2/16/2023
3.11.0.50201-nightly-2023-0...	152	2/15/2023
3.11.0.50201-nightly-2023-0...	163	2/14/2023
3.11.0.50201-nightly-2023-0...	167	2/13/2023
3.11.0.50201-nightly-2023-0...	161	2/12/2023
3.11.0.50201-nightly-2023-0...	167	2/11/2023
3.11.0.50201-nightly-2023-0...	163	2/11/2023
3.11.0.50201-nightly-2023-0...	157	2/10/2023
3.11.0.50201-nightly-2023-0...	155	2/11/2023
3.11.0.50201-nightly-2023-0...	163	2/9/2023
3.11.0.50201-nightly-2023-0...	166	2/8/2023
3.11.0.50201-nightly-2023-0...	161	2/7/2023
3.11.0.50201-nightly-2023-0...	162	2/6/2023
3.11.0.50201-nightly-2023-0...	168	2/5/2023
3.11.0.50201-nightly-2023-0...	158	2/4/2023
3.11.0.50201-nightly-2023-0...	166	2/3/2023
3.11.0.50201-nightly-2023-0...	177	2/2/2023
3.11.0.50201-nightly-2023-0...	157	2/1/2023
3.10.0.41215	1,145	12/15/2022
3.10.0.41215-nightly-2023-0...	198	2/1/2023
3.10.0.41215-nightly-2023-0...	225	1/31/2023
3.10.0.41215-nightly-2023-0...	165	1/30/2023
3.10.0.41215-nightly-2023-0...	171	1/29/2023
3.10.0.41215-nightly-2023-0...	178	1/28/2023
3.10.0.41215-nightly-2023-0...	164	1/27/2023
3.10.0.41215-nightly-2023-0...	171	1/26/2023
3.10.0.41215-nightly-2023-0...	167	1/25/2023
3.10.0.41215-nightly-2023-0...	168	1/24/2023
3.10.0.41215-nightly-2023-0...	177	1/23/2023
3.10.0.41215-nightly-2023-0...	157	1/22/2023
3.10.0.41215-nightly-2023-0...	186	1/21/2023
3.10.0.41215-nightly-2023-0...	178	1/20/2023
3.10.0.41215-nightly-2023-0...	148	1/19/2023
3.10.0.41215-nightly-2023-0...	203	1/18/2023
3.10.0.41215-nightly-2023-0...	170	1/17/2023
3.10.0.41215-nightly-2023-0...	161	1/16/2023
3.10.0.41215-nightly-2023-0...	220	1/15/2023
3.10.0.41215-nightly-2023-0...	167	1/14/2023
3.10.0.41215-nightly-2023-0...	156	1/13/2023
3.10.0.41215-nightly-2023-0...	178	1/12/2023
3.10.0.41215-nightly-2023-0...	165	1/11/2023
3.10.0.41215-nightly-2023-0...	185	1/10/2023
3.10.0.41215-nightly-2023-0...	164	1/9/2023
3.10.0.41215-nightly-2023-0...	169	1/9/2023
3.10.0.41215-nightly-2023-0...	165	1/9/2023
3.10.0.41215-nightly-2023-0...	175	1/6/2023
3.10.0.41215-nightly-2023-0...	181	1/5/2023
3.10.0.41215-nightly-2023-0...	171	1/4/2023
3.10.0.41215-nightly-2023-0...	171	1/3/2023
3.10.0.41215-nightly-2023-0...	175	1/2/2023
3.10.0.41215-nightly-2023-0...	170	1/2/2023
3.10.0.41215-nightly-2022-1...	168	12/31/2022
3.10.0.41215-nightly-2022-1...	134	12/30/2022
3.10.0.41215-nightly-2022-1...	178	12/29/2022
3.10.0.41215-nightly-2022-1...	187	12/28/2022
3.10.0.41215-nightly-2022-1...	195	12/27/2022
3.10.0.41215-nightly-2022-1...	179	12/26/2022
3.10.0.41215-nightly-2022-1...	200	12/25/2022
3.10.0.41215-nightly-2022-1...	193	12/24/2022
3.10.0.41215-nightly-2022-1...	177	12/23/2022
3.10.0.41215-nightly-2022-1...	177	12/22/2022
3.10.0.41215-nightly-2022-1...	170	12/21/2022
3.10.0.41215-nightly-2022-1...	192	12/20/2022
3.10.0.41215-nightly-2022-1...	179	12/19/2022
3.10.0.41215-nightly-2022-1...	170	12/18/2022
3.10.0.41215-nightly-2022-1...	169	12/17/2022
3.10.0.41215-nightly-2022-1...	174	12/15/2022
3.10.0.41129-nightly-2022-1...	185	11/29/2022
3.10.0-nightly-2022-12-16-7...	184	12/16/2022
3.10.0-nightly-2022-12-15-5...	160	12/15/2022
3.10.0-nightly-2022-12-14-3...	192	12/14/2022
3.10.0-nightly-2022-12-13-1...	166	12/13/2022
3.10.0-nightly-2022-12-12-f...	177	12/12/2022
3.10.0-nightly-2022-12-12-1...	170	12/12/2022
3.10.0-nightly-2022-12-11-f...	157	12/11/2022
3.10.0-nightly-2022-12-10-f...	176	12/10/2022
3.10.0-nightly-2022-12-09-f...	173	12/9/2022
3.10.0-nightly-2022-12-08-b...	197	12/8/2022
3.10.0-nightly-2022-12-07-3...	170	12/7/2022
3.10.0-nightly-2022-12-06-3...	170	12/6/2022
3.10.0-nightly-2022-12-05-3...	192	12/5/2022
3.10.0-nightly-2022-12-04-3...	187	12/4/2022
3.10.0-nightly-2022-12-03-3...	193	12/3/2022
3.10.0-nightly-2022-12-02-e...	165	12/2/2022
3.9.1.41027	699	10/27/2022
3.9.1.41027-nightly-2022-12...	173	12/1/2022
3.9.1.41027-nightly-2022-11...	186	11/30/2022
3.9.1.41027-nightly-2022-11...	188	11/29/2022
3.9.1.41027-nightly-2022-11...	176	11/29/2022
3.9.1.41027-nightly-2022-11...	163	11/28/2022
3.9.1.41027-nightly-2022-11...	182	11/27/2022
3.9.1.41027-nightly-2022-11...	186	11/26/2022
3.9.1.41027-nightly-2022-11...	185	11/25/2022
3.9.1.41027-nightly-2022-11...	178	11/24/2022
3.9.1.41027-nightly-2022-11...	187	11/23/2022
3.9.1.41027-nightly-2022-11...	191	11/22/2022
3.9.1.41027-nightly-2022-11...	173	11/21/2022
3.9.1.41027-nightly-2022-11...	180	11/20/2022
3.9.1.41027-nightly-2022-11...	182	11/19/2022
3.9.1.41027-nightly-2022-11...	162	11/18/2022
3.9.1.41027-nightly-2022-11...	172	11/17/2022
3.9.1.41027-nightly-2022-11...	172	11/16/2022
3.9.1.41027-nightly-2022-11...	183	11/15/2022
3.9.1.41027-nightly-2022-11...	202	11/14/2022
3.9.1.41027-nightly-2022-11...	184	11/13/2022
3.9.1.41027-nightly-2022-11...	186	11/12/2022
3.9.1.41027-nightly-2022-11...	196	11/11/2022
3.9.1.41027-nightly-2022-11...	189	11/10/2022
3.9.1.41027-nightly-2022-11...	173	11/9/2022
3.9.1.41027-nightly-2022-11...	176	11/8/2022
3.9.1.41027-nightly-2022-11...	178	11/7/2022
3.9.1.41027-nightly-2022-11...	193	11/6/2022
3.9.1.41027-nightly-2022-11...	188	11/5/2022
3.9.1.41027-nightly-2022-11...	165	11/4/2022
3.9.1.41027-nightly-2022-11...	176	11/3/2022
3.9.1.41027-nightly-2022-11...	201	11/2/2022
3.9.1.41027-nightly-2022-11...	180	11/2/2022
3.9.1.41027-nightly-2022-10...	188	10/31/2022
3.9.1.41027-nightly-2022-10...	178	10/29/2022
3.9.1.41027-nightly-2022-10...	201	10/28/2022
3.9.1.41027-nightly-2022-10...	188	10/27/2022
3.9.0.41003	761	10/3/2022
3.9.0.41003-nightly-2022-10...	214	10/27/2022
3.9.0.41003-nightly-2022-10...	180	10/26/2022
3.9.0.41003-nightly-2022-10...	176	10/25/2022
3.9.0.41003-nightly-2022-10...	191	10/24/2022
3.9.0.41003-nightly-2022-10...	193	10/23/2022
3.9.0.41003-nightly-2022-10...	190	10/22/2022
3.9.0.41003-nightly-2022-10...	201	10/21/2022
3.9.0.41003-nightly-2022-10...	212	10/20/2022
3.9.0.41003-nightly-2022-10...	216	10/19/2022
3.9.0.41003-nightly-2022-10...	196	10/18/2022
3.9.0.41003-nightly-2022-10...	187	10/16/2022
3.9.0.41003-nightly-2022-10...	202	10/15/2022
3.9.0.41003-nightly-2022-10...	202	10/14/2022
3.9.0.41003-nightly-2022-10...	212	10/13/2022
3.9.0.41003-nightly-2022-10...	180	10/12/2022
3.9.0.41003-nightly-2022-10...	187	10/11/2022
3.9.0.41003-nightly-2022-10...	219	10/10/2022
3.9.0.41003-nightly-2022-10...	182	10/9/2022
3.9.0.41003-nightly-2022-10...	182	10/8/2022
3.9.0.41003-nightly-2022-10...	199	10/7/2022
3.9.0.41003-nightly-2022-10...	186	10/6/2022
3.9.0.41003-nightly-2022-10...	182	10/5/2022
3.9.0.41003-nightly-2022-10...	178	10/4/2022
3.9.0.41003-nightly-2022-10...	188	10/3/2022
3.9.0.40930	749	10/3/2022
3.9.0.40930-nightly-2022-09...	175	9/30/2022
3.8.1.40901-nightly-2022-10...	193	10/3/2022
3.8.1.40901-nightly-2022-10...	195	10/2/2022
3.8.1.40901-nightly-2022-10...	199	10/1/2022
3.8.1.40901-nightly-2022-09...	187	9/30/2022
3.8.1.40901-nightly-2022-09...	185	9/29/2022
3.8.1.40901-nightly-2022-09...	218	9/28/2022
3.8.1.40901-nightly-2022-09...	196	9/27/2022
3.8.1.40901-nightly-2022-09...	201	9/26/2022
3.8.1.40901-nightly-2022-09...	233	9/25/2022
3.8.1.40901-nightly-2022-09...	671	9/24/2022

DafnyCore 4.9.2-nightly-2025-01-05-4ecc4bf

net6.0

NuGet packages (4)

GitHub repositories