DafnyDriver 4.9.2-nightly-2025-01-02-a88767f

This is a prerelease version of DafnyDriver.

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

dotnet add package DafnyDriver --version 4.9.2-nightly-2025-01-02-a88767f

NuGet\Install-Package DafnyDriver -Version 4.9.2-nightly-2025-01-02-a88767f

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="DafnyDriver" Version="4.9.2-nightly-2025-01-02-a88767f" />

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

paket add DafnyDriver --version 4.9.2-nightly-2025-01-02-a88767f

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

#r "nuget: DafnyDriver, 4.9.2-nightly-2025-01-02-a88767f"

#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 DafnyDriver as a Cake Addin
#addin nuget:?package=DafnyDriver&version=4.9.2-nightly-2025-01-02-a88767f&prerelease

// Install DafnyDriver as a Cake Tool
#tool nuget:?package=DafnyDriver&version=4.9.2-nightly-2025-01-02-a88767f&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
- DafnyCore (>= 4.9.2-nightly-2025-01-02-a88767f)
- DafnyServer (>= 4.9.2-nightly-2025-01-02-a88767f)
- DafnyTestGeneration (>= 4.9.2-nightly-2025-01-02-a88767f)
- Microsoft.TestPlatform.Extensions.TrxLogger (>= 17.9.0)
- Microsoft.TestPlatform.TestHost (>= 17.9.0)
- Newtonsoft.Json (>= 13.0.1)
- System.Collections (>= 4.3.0)
- System.Diagnostics.Debug (>= 4.3.0)
- System.IO.FileSystem.Primitives (>= 4.3.0)
- System.Runtime.Handles (>= 4.3.0)
- System.Runtime.InteropServices (>= 4.3.0)
- System.Security.Principal.Windows (>= 4.6.0)
- System.Text.Encoding.Extensions (>= 4.3.0)
- System.Threading (>= 4.3.0)

NuGet packages

This package is not used by any NuGet packages.

GitHub repositories

This package is not used by any popular GitHub repositories.

Version	Downloads	Last updated
4.9.2-nightly-2025-01-04-4e...	23	1/4/2025
4.9.2-nightly-2025-01-03-a8...	43	1/3/2025
4.9.2-nightly-2025-01-02-a8...	40	1/2/2025
4.9.2-nightly-2025-01-01-a8...	69	1/1/2025
4.9.2-nightly-2024-12-31-a8...	61	12/31/2024
4.9.2-nightly-2024-12-30-61...	79	12/30/2024
4.9.2-nightly-2024-12-29-61...	71	12/29/2024
4.9.2-nightly-2024-12-28-61...	64	12/28/2024
4.9.2-nightly-2024-12-27-06...	68	12/27/2024
4.9.2-nightly-2024-12-26-44...	72	12/26/2024
4.9.2-nightly-2024-12-25-4c...	62	12/25/2024
4.9.2-nightly-2024-12-24-4c...	62	12/24/2024
4.9.1	95	12/20/2024
4.9.1-nightly-2024-12-23-2a...	64	12/23/2024
4.9.1-nightly-2024-12-22-7d...	65	12/22/2024
4.9.1-nightly-2024-12-21-7d...	74	12/21/2024
4.9.1-nightly-2024-12-20-7d...	74	12/20/2024
4.9.1-nightly-2024-12-20-63...	68	12/20/2024
4.9.1-nightly-2024-12-19-7d...	66	12/19/2024
4.9.1-nightly-2024-12-18-64...	66	12/18/2024
4.9.1-nightly-2024-12-17-5e...	74	12/17/2024
4.9.1-nightly-2024-12-16-70...	78	12/16/2024
4.9.1-nightly-2024-12-15-70...	80	12/15/2024
4.9.1-nightly-2024-12-14-70...	74	12/14/2024
4.9.1-nightly-2024-12-13-6b...	78	12/13/2024
4.9.1-nightly-2024-12-12-1d...	71	12/12/2024
4.9.1-nightly-2024-12-11-48...	61	12/11/2024
4.9.1-nightly-2024-12-10-48...	61	12/10/2024
4.9.1-nightly-2024-12-09-db...	74	12/9/2024
4.9.1-nightly-2024-12-08-32...	77	12/8/2024
4.9.1-nightly-2024-12-07-32...	72	12/7/2024
4.9.1-nightly-2024-12-06-32...	81	12/6/2024
4.9.1-nightly-2024-12-05-56...	82	12/5/2024
4.9.1-nightly-2024-12-04-bf...	74	12/4/2024
4.9.1-nightly-2024-12-03-49...	78	12/3/2024
4.9.1-nightly-2024-12-02-f9...	56	12/2/2024
4.9.1-nightly-2024-12-01-e3...	71	12/1/2024
4.9.1-nightly-2024-11-30-1c...	78	11/30/2024
4.9.1-nightly-2024-11-29-1c...	82	11/29/2024
4.9.1-nightly-2024-11-28-00...	67	11/28/2024
4.9.1-nightly-2024-11-25-7c...	73	11/25/2024
4.9.1-nightly-2024-11-24-7c...	82	11/24/2024
4.9.1-nightly-2024-11-23-7c...	71	11/23/2024
4.9.1-nightly-2024-11-22-0b...	69	11/22/2024
4.9.1-nightly-2024-11-21-ac...	75	11/21/2024
4.9.1-nightly-2024-11-20-b9...	65	11/20/2024
4.9.1-nightly-2024-11-19-b9...	72	11/19/2024
4.9.1-nightly-2024-11-18-b9...	72	11/18/2024
4.9.1-nightly-2024-11-17-b9...	73	11/17/2024
4.9.1-nightly-2024-11-16-f9...	70	11/16/2024
4.9.1-nightly-2024-11-15-91...	72	11/15/2024
4.9.1-nightly-2024-11-14-7d...	75	11/14/2024
4.9.1-nightly-2024-11-13-5f...	67	11/13/2024
4.9.1-nightly-2024-11-12-e7...	76	11/12/2024
4.9.1-nightly-2024-11-11-e7...	87	11/11/2024
4.9.1-nightly-2024-11-10-e7...	74	11/10/2024
4.9.1-nightly-2024-11-09-e7...	78	11/9/2024
4.9.1-nightly-2024-11-08-94...	76	11/8/2024
4.9.1-nightly-2024-11-07-a0...	66	11/7/2024
4.9.1-nightly-2024-11-06-3e...	71	11/6/2024
4.9.1-nightly-2024-11-05-f9...	72	11/5/2024
4.9.1-nightly-2024-11-04-f9...	78	11/4/2024
4.9.1-nightly-2024-11-03-5b...	71	11/3/2024
4.9.1-nightly-2024-11-02-5b...	71	11/2/2024
4.9.1-nightly-2024-11-01-ea...	70	11/1/2024
4.9.0	101	10/31/2024
4.8.1	123	9/16/2024
4.8.1-nightly-2024-10-31-c5...	74	10/31/2024
4.8.1-nightly-2024-10-30-c5...	67	10/30/2024
4.8.1-nightly-2024-10-29-7a...	68	10/29/2024
4.8.1-nightly-2024-10-29-72...	64	10/29/2024
4.8.1-nightly-2024-10-24-77...	69	10/24/2024
4.8.1-nightly-2024-10-23-77...	69	10/23/2024
4.8.1-nightly-2024-10-22-77...	55	10/22/2024
4.8.1-nightly-2024-10-21-a0...	74	10/21/2024
4.8.1-nightly-2024-10-20-a0...	93	10/20/2024
4.8.1-nightly-2024-10-19-a0...	108	10/19/2024
4.8.1-nightly-2024-10-18-2d...	122	10/18/2024
4.8.1-nightly-2024-10-17-59...	73	10/17/2024
4.8.1-nightly-2024-10-16-7f...	68	10/16/2024
4.8.1-nightly-2024-10-15-60...	68	10/15/2024
4.8.1-nightly-2024-10-14-c4...	82	10/14/2024
4.8.1-nightly-2024-10-13-c4...	71	10/13/2024
4.8.1-nightly-2024-10-12-c4...	74	10/12/2024
4.8.1-nightly-2024-10-11-8f...	75	10/11/2024
4.8.1-nightly-2024-10-10-8f...	76	10/10/2024
4.8.1-nightly-2024-10-09-37...	83	10/9/2024
4.8.1-nightly-2024-10-06-b5...	75	10/6/2024
4.8.1-nightly-2024-10-05-b5...	70	10/5/2024
4.8.1-nightly-2024-10-04-b5...	77	10/4/2024
4.8.0	116	8/29/2024
4.8.0-nightly-2024-10-03-d9...	71	10/3/2024
4.8.0-nightly-2024-10-02-d9...	79	10/2/2024
4.8.0-nightly-2024-10-01-08...	84	10/1/2024
4.8.0-nightly-2024-09-30-38...	69	9/30/2024
4.8.0-nightly-2024-09-29-38...	76	9/29/2024
4.8.0-nightly-2024-09-27-66...	66	9/27/2024
4.8.0-nightly-2024-09-26-cb...	76	9/26/2024
4.8.0-nightly-2024-09-25-8a...	79	9/25/2024
4.8.0-nightly-2024-09-24-ef...	83	9/24/2024
4.8.0-nightly-2024-09-23-05...	73	9/23/2024
4.8.0-nightly-2024-09-22-05...	75	9/22/2024
4.8.0-nightly-2024-09-21-05...	74	9/21/2024
4.8.0-nightly-2024-09-20-05...	74	9/20/2024
4.8.0-nightly-2024-09-19-17...	74	9/19/2024
4.8.0-nightly-2024-09-18-fc...	70	9/18/2024
4.8.0-nightly-2024-09-17-8f...	68	9/17/2024
4.8.0-nightly-2024-09-16-e9...	79	9/16/2024
4.8.0-nightly-2024-09-16-d3...	92	9/16/2024
4.8.0-nightly-2024-09-15-e9...	77	9/15/2024
4.8.0-nightly-2024-09-14-e9...	76	9/14/2024
4.8.0-nightly-2024-09-13-e9...	68	9/13/2024
4.8.0-nightly-2024-09-12-3a...	91	9/12/2024
4.8.0-nightly-2024-09-10-83...	96	9/10/2024
4.8.0-nightly-2024-09-09-db...	107	9/9/2024
4.8.0-nightly-2024-09-08-79...	82	9/8/2024
4.8.0-nightly-2024-09-07-79...	104	9/7/2024
4.8.0-nightly-2024-09-06-ad...	98	9/6/2024
4.8.0-nightly-2024-09-05-0f...	102	9/5/2024
4.8.0-nightly-2024-09-04-24...	90	9/4/2024
4.7.0	129	6/26/2024
4.7.0-nightly-2024-09-03-b3...	95	9/3/2024
4.7.0-nightly-2024-09-02-b3...	86	9/2/2024
4.7.0-nightly-2024-09-01-b3...	76	9/1/2024
4.7.0-nightly-2024-08-31-b3...	85	8/31/2024
4.7.0-nightly-2024-08-30-d8...	93	8/30/2024
4.7.0-nightly-2024-08-29-d8...	88	8/29/2024
4.7.0-nightly-2024-08-28-a4...	83	8/28/2024
4.7.0-nightly-2024-08-27-a4...	84	8/27/2024
4.7.0-nightly-2024-08-26-a4...	83	8/26/2024
4.7.0-nightly-2024-08-25-a4...	94	8/25/2024
4.7.0-nightly-2024-08-24-a4...	90	8/24/2024
4.7.0-nightly-2024-08-23-a4...	95	8/23/2024
4.7.0-nightly-2024-08-22-eb...	100	8/22/2024
4.7.0-nightly-2024-08-21-eb...	103	8/21/2024
4.7.0-nightly-2024-08-20-eb...	116	8/20/2024
4.7.0-nightly-2024-08-19-4e...	100	8/19/2024
4.7.0-nightly-2024-08-18-7e...	116	8/18/2024
4.7.0-nightly-2024-08-17-7e...	106	8/17/2024
4.7.0-nightly-2024-08-16-7e...	107	8/16/2024
4.7.0-nightly-2024-08-15-8d...	97	8/15/2024
4.7.0-nightly-2024-08-14-6d...	90	8/14/2024
4.7.0-nightly-2024-08-13-64...	106	8/13/2024
4.7.0-nightly-2024-08-12-f5...	93	8/12/2024
4.7.0-nightly-2024-08-11-c9...	106	8/11/2024
4.7.0-nightly-2024-08-10-c9...	98	8/10/2024
4.7.0-nightly-2024-08-09-c9...	99	8/9/2024
4.7.0-nightly-2024-08-08-bc...	79	8/8/2024
4.7.0-nightly-2024-08-07-b1...	75	8/7/2024
4.7.0-nightly-2024-08-06-b1...	68	8/6/2024
4.7.0-nightly-2024-08-05-b1...	77	8/5/2024
4.7.0-nightly-2024-08-03-b1...	66	8/3/2024
4.7.0-nightly-2024-08-02-b1...	67	8/2/2024
4.7.0-nightly-2024-08-01-86...	79	8/1/2024
4.7.0-nightly-2024-07-31-86...	65	7/31/2024
4.7.0-nightly-2024-07-30-36...	71	7/30/2024
4.7.0-nightly-2024-07-29-d8...	63	7/29/2024
4.7.0-nightly-2024-07-29-70...	70	7/29/2024
4.7.0-nightly-2024-07-28-70...	75	7/28/2024
4.7.0-nightly-2024-07-27-70...	70	7/27/2024
4.7.0-nightly-2024-07-26-70...	76	7/26/2024
4.7.0-nightly-2024-07-25-70...	77	7/25/2024
4.7.0-nightly-2024-07-24-f1...	82	7/24/2024
4.7.0-nightly-2024-07-23-f1...	118	7/23/2024
4.7.0-nightly-2024-07-22-91...	108	7/22/2024
4.7.0-nightly-2024-07-21-91...	93	7/21/2024
4.7.0-nightly-2024-07-20-91...	113	7/20/2024
4.7.0-nightly-2024-07-19-91...	86	7/19/2024
4.7.0-nightly-2024-07-18-91...	90	7/19/2024
4.7.0-nightly-2024-07-17-91...	88	7/17/2024
4.7.0-nightly-2024-07-16-91...	69	7/17/2024
4.7.0-nightly-2024-07-15-91...	80	7/15/2024
4.7.0-nightly-2024-07-14-91...	85	7/14/2024
4.7.0-nightly-2024-07-13-91...	83	7/13/2024
4.7.0-nightly-2024-07-12-91...	85	7/12/2024
4.7.0-nightly-2024-07-11-04...	71	7/11/2024
4.7.0-nightly-2024-07-10-52...	87	7/10/2024
4.7.0-nightly-2024-07-09-7e...	101	7/9/2024
4.7.0-nightly-2024-07-08-20...	91	7/8/2024
4.7.0-nightly-2024-07-07-9a...	92	7/8/2024
4.7.0-nightly-2024-07-05-04...	81	7/5/2024
4.7.0-nightly-2024-07-04-04...	90	7/4/2024
4.7.0-nightly-2024-07-03-14...	98	7/3/2024
4.7.0-nightly-2024-07-02-14...	92	7/3/2024
4.7.0-nightly-2024-07-01-14...	97	7/2/2024
4.7.0-nightly-2024-06-30-14...	96	6/30/2024
4.7.0-nightly-2024-06-29-14...	84	6/29/2024
4.7.0-nightly-2024-06-28-14...	92	6/28/2024
4.7.0-nightly-2024-06-27-14...	83	6/27/2024
4.6.0	139	3/28/2024
4.6.0-nightly-2024-06-26-eb...	83	6/26/2024
4.6.0-nightly-2024-06-25-2e...	82	6/25/2024
4.6.0-nightly-2024-06-24-08...	85	6/24/2024
4.6.0-nightly-2024-06-23-08...	90	6/23/2024
4.6.0-nightly-2024-06-22-08...	100	6/22/2024
4.6.0-nightly-2024-06-21-e3...	95	6/21/2024
4.6.0-nightly-2024-06-20-94...	97	6/20/2024
4.6.0-nightly-2024-06-19-94...	84	6/19/2024
4.6.0-nightly-2024-06-15-5f...	92	6/15/2024
4.6.0-nightly-2024-06-14-70...	88	6/14/2024
4.6.0-nightly-2024-06-13-70...	88	6/14/2024
4.6.0-nightly-2024-06-12-f1...	73	6/12/2024
4.6.0-nightly-2024-06-11-64...	77	6/11/2024
4.6.0-nightly-2024-06-10-f0...	86	6/10/2024
4.6.0-nightly-2024-06-09-f0...	78	6/9/2024
4.6.0-nightly-2024-06-08-9f...	81	6/8/2024
4.6.0-nightly-2024-06-07-43...	80	6/7/2024
4.6.0-nightly-2024-06-06-66...	84	6/6/2024
4.6.0-nightly-2024-06-04-da...	96	6/4/2024
4.6.0-nightly-2024-06-04-75...	90	6/4/2024
4.6.0-nightly-2024-06-04-52...	107	6/4/2024
4.6.0-nightly-2024-05-29-b5...	84	5/29/2024
4.6.0-nightly-2024-05-28-dc...	92	5/28/2024
4.6.0-nightly-2024-05-24-6b...	103	5/24/2024
4.6.0-nightly-2024-05-23-41...	92	5/24/2024
4.6.0-nightly-2024-05-22-41...	84	5/23/2024
4.6.0-nightly-2024-05-21-33...	91	5/21/2024
4.6.0-nightly-2024-05-20-7e...	104	5/20/2024
4.6.0-nightly-2024-05-18-2f...	100	5/18/2024
4.6.0-nightly-2024-05-17-80...	100	5/17/2024
4.6.0-nightly-2024-05-16-8d...	101	5/16/2024
4.6.0-nightly-2024-05-15-af...	97	5/15/2024
4.6.0-nightly-2024-05-14-8d...	87	5/14/2024
4.6.0-nightly-2024-05-13-70...	92	5/13/2024
4.6.0-nightly-2024-05-12-70...	85	5/12/2024
4.6.0-nightly-2024-05-11-70...	86	5/11/2024
4.6.0-nightly-2024-05-10-cc...	97	5/10/2024
4.6.0-nightly-2024-05-09-84...	102	5/9/2024
4.6.0-nightly-2024-05-08-1c...	90	5/8/2024
4.6.0-nightly-2024-05-07-55...	98	5/7/2024
4.6.0-nightly-2024-05-06-55...	109	5/6/2024
4.6.0-nightly-2024-05-05-55...	103	5/5/2024
4.6.0-nightly-2024-05-04-55...	100	5/4/2024
4.6.0-nightly-2024-05-03-55...	67	5/3/2024
4.6.0-nightly-2024-05-02-07...	66	5/3/2024
4.6.0-nightly-2024-05-01-8e...	63	5/1/2024
4.6.0-nightly-2024-05-01-88...	64	5/1/2024
4.6.0-nightly-2024-04-29-ea...	80	4/29/2024
4.6.0-nightly-2024-04-26-bc...	82	4/26/2024
4.6.0-nightly-2024-04-25-b4...	89	4/25/2024
4.6.0-nightly-2024-04-24-06...	96	4/24/2024
4.6.0-nightly-2024-04-22-00...	93	4/22/2024
4.6.0-nightly-2024-04-21-2e...	92	4/21/2024
4.6.0-nightly-2024-04-20-2e...	91	4/21/2024
4.6.0-nightly-2024-04-19-0c...	97	4/19/2024
4.6.0-nightly-2024-04-18-0c...	93	4/18/2024
4.6.0-nightly-2024-04-17-b3...	92	4/17/2024
4.6.0-nightly-2024-04-16-1c...	89	4/16/2024
4.6.0-nightly-2024-04-15-13...	89	4/15/2024
4.6.0-nightly-2024-04-14-13...	81	4/15/2024
4.6.0-nightly-2024-04-13-13...	101	4/13/2024
4.6.0-nightly-2024-04-12-4e...	81	4/12/2024
4.6.0-nightly-2024-04-11-62...	88	4/11/2024
4.6.0-nightly-2024-04-10-d8...	86	4/10/2024
4.6.0-nightly-2024-04-09-65...	93	4/9/2024
4.6.0-nightly-2024-04-08-be...	97	4/8/2024
4.6.0-nightly-2024-04-07-be...	93	4/7/2024
4.6.0-nightly-2024-04-05-56...	94	4/5/2024
4.6.0-nightly-2024-04-04-5c...	95	4/4/2024
4.6.0-nightly-2024-04-03-91...	90	4/3/2024
4.6.0-nightly-2024-04-02-5b...	103	4/2/2024
4.6.0-nightly-2024-04-01-69...	103	4/1/2024
4.6.0-nightly-2024-03-31-4a...	101	3/31/2024
4.6.0-nightly-2024-03-29-8f...	90	3/29/2024
4.6.0-nightly-2024-03-29-71...	77	3/29/2024
4.5.0	139	3/15/2024
4.5.0-nightly-2024-03-27-ca...	108	3/27/2024
4.5.0-nightly-2024-03-26-0c...	91	3/27/2024
4.5.0-nightly-2024-03-25-f4...	98	3/25/2024
4.5.0-nightly-2024-03-24-f4...	88	3/25/2024
4.5.0-nightly-2024-03-23-f4...	110	3/23/2024
4.5.0-nightly-2024-03-22-ec...	108	3/22/2024
4.5.0-nightly-2024-03-21-7c...	83	3/21/2024
4.5.0-nightly-2024-03-20-99...	97	3/20/2024
4.5.0-nightly-2024-03-19-39...	116	3/20/2024
4.5.0-nightly-2024-03-18-39...	97	3/18/2024
4.5.0-nightly-2024-03-17-39...	90	3/17/2024
4.5.0-nightly-2024-03-16-39...	102	3/16/2024
4.5.0-nightly-2024-03-15-02...	101	3/15/2024
4.4.0	230	12/12/2023
4.4.0-nightly-2024-03-15-87...	95	3/15/2024
4.4.0-nightly-2024-03-14-28...	89	3/14/2024
4.4.0-nightly-2024-03-13-f1...	89	3/13/2024
4.4.0-nightly-2024-03-12-69...	93	3/12/2024
4.4.0-nightly-2024-03-11-a8...	101	3/11/2024
4.4.0-nightly-2024-03-10-a2...	82	3/11/2024
4.4.0-nightly-2024-03-09-a2...	101	3/9/2024
4.4.0-nightly-2024-03-08-1d...	97	3/8/2024
4.4.0-nightly-2024-03-06-35...	95	3/6/2024
4.4.0-nightly-2024-03-05-35...	93	3/5/2024
4.4.0-nightly-2024-03-04-54...	110	3/4/2024
4.4.0-nightly-2024-03-03-4e...	96	3/3/2024
4.4.0-nightly-2024-03-01-26...	100	3/1/2024
4.4.0-nightly-2024-02-29-2a...	101	2/29/2024
4.4.0-nightly-2024-02-28-2a...	94	2/28/2024
4.4.0-nightly-2024-02-27-2a...	98	2/27/2024
4.4.0-nightly-2024-02-26-1c...	95	2/26/2024
4.4.0-nightly-2024-02-25-d6...	105	2/26/2024
4.4.0-nightly-2024-02-24-d6...	100	2/24/2024
4.4.0-nightly-2024-02-23-d6...	101	2/23/2024
4.4.0-nightly-2024-02-22-e2...	103	2/22/2024
4.4.0-nightly-2024-02-21-22...	94	2/21/2024
4.4.0-nightly-2024-02-20-ce...	97	2/20/2024
4.4.0-nightly-2024-02-19-be...	100	2/19/2024
4.4.0-nightly-2024-02-18-be...	106	2/18/2024
4.4.0-nightly-2024-02-17-be...	100	2/17/2024
4.4.0-nightly-2024-02-16-af...	102	2/16/2024
4.4.0-nightly-2024-02-15-73...	101	2/15/2024
4.4.0-nightly-2024-02-14-5c...	96	2/14/2024
4.4.0-nightly-2024-02-13-9d...	105	2/13/2024
4.4.0-nightly-2024-02-12-d7...	107	2/12/2024
4.4.0-nightly-2024-02-11-c8...	97	2/11/2024
4.4.0-nightly-2024-02-10-c8...	104	2/10/2024
4.4.0-nightly-2024-02-09-29...	103	2/9/2024
4.4.0-nightly-2024-02-08-fc...	103	2/8/2024
4.4.0-nightly-2024-02-07-59...	96	2/7/2024
4.4.0-nightly-2024-02-06-b3...	99	2/6/2024
4.4.0-nightly-2024-02-05-16...	99	2/5/2024
4.4.0-nightly-2024-02-04-c6...	98	2/4/2024
4.4.0-nightly-2024-02-03-c6...	89	2/3/2024
4.4.0-nightly-2024-02-02-70...	103	2/2/2024
4.4.0-nightly-2024-02-01-8b...	97	2/1/2024
4.4.0-nightly-2024-01-31-8b...	96	1/31/2024
4.4.0-nightly-2024-01-30-90...	93	1/30/2024
4.4.0-nightly-2024-01-26-cf...	97	1/26/2024
4.4.0-nightly-2024-01-25-cf...	95	1/25/2024
4.4.0-nightly-2024-01-24-9d...	113	1/24/2024
4.4.0-nightly-2024-01-23-fe...	98	1/23/2024
4.4.0-nightly-2024-01-22-47...	93	1/22/2024
4.4.0-nightly-2024-01-21-a7...	91	1/21/2024
4.4.0-nightly-2024-01-20-79...	96	1/20/2024
4.4.0-nightly-2024-01-19-99...	92	1/19/2024
4.4.0-nightly-2024-01-19-3b...	90	1/19/2024
4.4.0-nightly-2024-01-18-3b...	95	1/18/2024
4.4.0-nightly-2024-01-17-3b...	101	1/17/2024
4.4.0-nightly-2024-01-03-2c...	110	1/3/2024
4.4.0-nightly-2024-01-01-2c...	117	1/1/2024
4.4.0-nightly-2023-12-31-2c...	111	12/31/2023
4.4.0-nightly-2023-12-30-2c...	101	12/30/2023
4.4.0-nightly-2023-12-29-2c...	113	12/29/2023
4.4.0-nightly-2023-12-28-2c...	103	12/28/2023
4.4.0-nightly-2023-12-27-2c...	118	12/27/2023
4.4.0-nightly-2023-12-26-2c...	113	12/26/2023
4.4.0-nightly-2023-12-25-2c...	105	12/25/2023
4.4.0-nightly-2023-12-24-2c...	107	12/24/2023
4.4.0-nightly-2023-12-23-2c...	101	12/23/2023
4.4.0-nightly-2023-12-22-2c...	99	12/22/2023
4.4.0-nightly-2023-12-21-2c...	89	12/21/2023
4.4.0-nightly-2023-12-20-2c...	92	12/20/2023
4.4.0-nightly-2023-12-19-2c...	93	12/19/2023
4.4.0-nightly-2023-12-18-2c...	105	12/18/2023
4.4.0-nightly-2023-12-17-2c...	105	12/17/2023
4.4.0-nightly-2023-12-16-2c...	98	12/16/2023
4.4.0-nightly-2023-12-15-2c...	96	12/15/2023
4.4.0-nightly-2023-12-14-2c...	93	12/15/2023
4.4.0-nightly-2023-12-13-2c...	102	12/13/2023
4.4.0-nightly-2023-12-12-4f...	108	12/12/2023
4.4.0-nightly-2023-12-11-4f...	86	12/11/2023
4.4.0-nightly-2023-12-10-4f...	112	12/10/2023
4.4.0-nightly-2023-12-09-4f...	104	12/9/2023
4.3.0	190	9/28/2023
4.3.0-nightly-2023-12-08-7e...	106	12/8/2023
4.3.0-nightly-2023-12-07-c9...	96	12/7/2023
4.3.0-nightly-2023-12-06-6a...	89	12/6/2023
4.3.0-nightly-2023-12-05-cc...	91	12/5/2023
4.3.0-nightly-2023-12-04-fd...	87	12/4/2023
4.3.0-nightly-2023-12-03-23...	103	12/3/2023
4.3.0-nightly-2023-12-02-23...	102	12/2/2023
4.3.0-nightly-2023-12-01-05...	100	12/1/2023
4.3.0-nightly-2023-11-30-8e...	103	11/30/2023
4.3.0-nightly-2023-11-29-f7...	95	11/29/2023
4.3.0-nightly-2023-11-28-c5...	94	11/28/2023
4.3.0-nightly-2023-11-27-98...	118	11/27/2023
4.3.0-nightly-2023-11-25-b1...	106	11/25/2023
4.3.0-nightly-2023-11-24-b1...	107	11/24/2023
4.3.0-nightly-2023-11-23-ec...	93	11/23/2023
4.3.0-nightly-2023-11-22-ec...	105	11/22/2023
4.3.0-nightly-2023-11-21-fd...	91	11/21/2023
4.3.0-nightly-2023-11-21-4f...	92	11/21/2023
4.3.0-nightly-2023-11-19-dd...	95	11/19/2023
4.3.0-nightly-2023-11-18-dd...	87	11/18/2023
4.3.0-nightly-2023-11-17-06...	102	11/17/2023
4.3.0-nightly-2023-11-16-f8...	93	11/16/2023
4.3.0-nightly-2023-11-15-c6...	91	11/15/2023
4.3.0-nightly-2023-11-14-84...	99	11/14/2023
4.3.0-nightly-2023-11-13-5e...	92	11/13/2023
4.3.0-nightly-2023-11-12-90...	94	11/12/2023
4.3.0-nightly-2023-11-11-90...	93	11/11/2023
4.3.0-nightly-2023-11-10-4d...	100	11/10/2023
4.3.0-nightly-2023-11-09-ee...	91	11/9/2023
4.3.0-nightly-2023-11-08-48...	90	11/8/2023
4.3.0-nightly-2023-11-07-48...	91	11/7/2023
4.3.0-nightly-2023-11-06-d4...	93	11/6/2023
4.3.0-nightly-2023-11-05-d4...	117	11/5/2023
4.3.0-nightly-2023-11-02-53...	92	11/2/2023
4.3.0-nightly-2023-11-01-45...	92	11/1/2023
4.3.0-nightly-2023-10-31-af...	95	10/31/2023
4.3.0-nightly-2023-10-30-bf...	106	10/30/2023
4.3.0-nightly-2023-10-29-17...	101	10/29/2023
4.3.0-nightly-2023-10-28-17...	106	10/28/2023
4.3.0-nightly-2023-10-27-c6...	106	10/27/2023
4.3.0-nightly-2023-10-26-c6...	102	10/26/2023
4.3.0-nightly-2023-10-25-5d...	111	10/25/2023
4.3.0-nightly-2023-10-24-cd...	112	10/24/2023
4.3.0-nightly-2023-10-23-7b...	99	10/23/2023
4.3.0-nightly-2023-10-23-3e...	116	10/24/2023
4.3.0-nightly-2023-10-20-81...	106	10/20/2023
4.3.0-nightly-2023-10-19-9e...	92	10/19/2023
4.3.0-nightly-2023-10-18-32...	100	10/18/2023
4.3.0-nightly-2023-10-17-ad...	99	10/17/2023
4.3.0-nightly-2023-10-16-41...	91	10/16/2023
4.3.0-nightly-2023-10-15-fc...	100	10/15/2023
4.3.0-nightly-2023-10-14-fc...	104	10/14/2023
4.3.0-nightly-2023-10-13-0e...	97	10/13/2023
4.3.0-nightly-2023-09-27-35...	115	9/27/2023
4.2.0	249	7/20/2023
4.2.0-nightly-2023-10-12-fd...	96	10/12/2023
4.2.0-nightly-2023-10-11-fd...	101	10/11/2023
4.2.0-nightly-2023-10-10-fd...	104	10/10/2023
4.2.0-nightly-2023-10-09-fd...	101	10/9/2023
4.2.0-nightly-2023-10-08-fd...	123	10/8/2023
4.2.0-nightly-2023-10-07-fd...	96	10/7/2023
4.2.0-nightly-2023-10-06-fd...	95	10/6/2023
4.2.0-nightly-2023-10-05-fd...	94	10/5/2023
4.2.0-nightly-2023-10-04-fd...	106	10/4/2023
4.2.0-nightly-2023-10-02-fd...	86	10/2/2023
4.2.0-nightly-2023-09-30-fd...	103	9/30/2023
4.2.0-nightly-2023-09-29-fd...	107	9/29/2023
4.2.0-nightly-2023-09-28-fd...	90	9/28/2023
4.2.0-nightly-2023-09-27-fd...	106	9/27/2023
4.2.0-nightly-2023-09-27-4d...	108	9/27/2023
4.2.0-nightly-2023-09-26-a0...	112	9/26/2023
4.2.0-nightly-2023-09-25-67...	105	9/25/2023
4.2.0-nightly-2023-09-24-67...	103	9/24/2023
4.2.0-nightly-2023-09-23-67...	102	9/23/2023
4.2.0-nightly-2023-09-22-67...	100	9/22/2023
4.2.0-nightly-2023-09-21-75...	112	9/21/2023
4.2.0-nightly-2023-09-20-c6...	108	9/20/2023
4.2.0-nightly-2023-09-19-ae...	99	9/19/2023
4.2.0-nightly-2023-09-18-45...	86	9/18/2023
4.2.0-nightly-2023-09-17-45...	94	9/18/2023
4.2.0-nightly-2023-09-16-04...	83	9/16/2023
4.2.0-nightly-2023-09-15-e7...	95	9/15/2023
4.2.0-nightly-2023-09-14-e5...	105	9/14/2023
4.2.0-nightly-2023-09-13-45...	106	9/13/2023
4.2.0-nightly-2023-09-12-27...	113	9/12/2023
4.2.0-nightly-2023-09-11-d2...	115	9/11/2023
4.2.0-nightly-2023-09-10-c5...	94	9/10/2023
4.2.0-nightly-2023-09-09-ed...	93	9/9/2023
4.2.0-nightly-2023-09-08-37...	98	9/8/2023
4.2.0-nightly-2023-09-07-b6...	103	9/7/2023
4.2.0-nightly-2023-09-06-8d...	96	9/6/2023
4.2.0-nightly-2023-09-05-e1...	89	9/5/2023
4.2.0-nightly-2023-09-04-1e...	102	9/4/2023
4.2.0-nightly-2023-09-03-4a...	109	9/4/2023
4.2.0-nightly-2023-09-02-a8...	93	9/2/2023
4.2.0-nightly-2023-09-01-e9...	88	9/1/2023
4.2.0-nightly-2023-08-31-e9...	100	8/31/2023
4.2.0-nightly-2023-08-30-05...	109	8/30/2023
4.2.0-nightly-2023-08-29-a8...	116	8/29/2023
4.2.0-nightly-2023-08-28-52...	114	8/28/2023
4.2.0-nightly-2023-08-27-95...	116	8/27/2023
4.2.0-nightly-2023-08-26-95...	107	8/26/2023
4.2.0-nightly-2023-08-25-fe...	115	8/25/2023
4.2.0-nightly-2023-08-24-c5...	111	8/24/2023
4.2.0-nightly-2023-08-24-06...	115	8/24/2023
4.2.0-nightly-2023-08-23-b9...	109	8/23/2023
4.2.0-nightly-2023-08-22-84...	113	8/22/2023
4.2.0-nightly-2023-08-21-83...	116	8/21/2023
4.2.0-nightly-2023-08-20-83...	116	8/20/2023
4.2.0-nightly-2023-08-19-83...	106	8/19/2023
4.2.0-nightly-2023-08-18-2a...	105	8/18/2023
4.2.0-nightly-2023-08-17-9e...	91	8/17/2023
4.2.0-nightly-2023-08-16-d9...	117	8/16/2023
4.2.0-nightly-2023-08-15-cd...	116	8/15/2023
4.2.0-nightly-2023-08-14-0c...	110	8/14/2023
4.2.0-nightly-2023-08-13-06...	123	8/13/2023
4.2.0-nightly-2023-08-12-06...	129	8/12/2023
4.2.0-nightly-2023-08-11-e2...	128	8/11/2023
4.2.0-nightly-2023-08-10-44...	280	8/10/2023
4.2.0-nightly-2023-08-09-20...	129	8/9/2023
4.2.0-nightly-2023-08-08-ea...	117	8/9/2023
4.2.0-nightly-2023-08-07-c3...	120	8/7/2023
4.2.0-nightly-2023-08-06-24...	120	8/6/2023
4.2.0-nightly-2023-08-05-38...	120	8/5/2023
4.2.0-nightly-2023-08-04-df...	115	8/4/2023
4.2.0-nightly-2023-08-04-65...	112	8/4/2023
4.2.0-nightly-2023-08-02-a9...	123	8/2/2023
4.2.0-nightly-2023-08-01-52...	126	8/1/2023
4.2.0-nightly-2023-07-31-3b...	135	7/31/2023
4.2.0-nightly-2023-07-30-3b...	121	7/30/2023
4.2.0-nightly-2023-07-29-3b...	130	7/29/2023
4.2.0-nightly-2023-07-28-65...	109	7/28/2023
4.2.0-nightly-2023-07-27-02...	129	7/27/2023
4.2.0-nightly-2023-07-26-59...	115	7/26/2023
4.2.0-nightly-2023-07-25-c5...	119	7/25/2023
4.2.0-nightly-2023-07-24-4d...	129	7/24/2023
4.2.0-nightly-2023-07-23-4d...	135	7/23/2023
4.2.0-nightly-2023-07-22-4d...	125	7/22/2023
4.2.0-nightly-2023-07-21-ab...	129	7/21/2023
4.1.0.50522	233	5/22/2023
4.1.0	143	5/10/2023
4.1.0-nightly-2023-07-20-35...	126	7/20/2023
4.1.0-nightly-2023-07-18-ce...	128	7/18/2023
4.1.0-nightly-2023-07-18-86...	127	7/18/2023
4.1.0-nightly-2023-07-17-ec...	125	7/17/2023
4.1.0-nightly-2023-07-17-e9...	115	7/17/2023
4.1.0-nightly-2023-07-16-e9...	121	7/16/2023
4.1.0-nightly-2023-07-15-e9...	119	7/15/2023
4.1.0-nightly-2023-07-14-12...	104	7/14/2023
4.1.0-nightly-2023-07-13-0d...	119	7/13/2023
4.1.0-nightly-2023-07-12-d4...	116	7/12/2023
4.1.0-nightly-2023-07-11-0f...	119	7/11/2023
4.1.0-nightly-2023-07-10-f4...	123	7/10/2023
4.1.0-nightly-2023-07-09-5c...	126	7/9/2023
4.1.0-nightly-2023-07-08-8b...	115	7/8/2023
4.1.0-nightly-2023-07-07-2d...	125	7/7/2023
4.1.0-nightly-2023-07-06-c5...	113	7/6/2023
4.1.0-nightly-2023-07-05-e4...	123	7/5/2023
4.1.0-nightly-2023-07-04-51...	121	7/4/2023
4.1.0-nightly-2023-07-03-65...	109	7/3/2023
4.1.0-nightly-2023-07-02-e4...	122	7/2/2023
4.1.0-nightly-2023-07-01-e4...	122	7/1/2023
4.1.0-nightly-2023-06-30-86...	122	6/30/2023
4.1.0-nightly-2023-06-29-2b...	121	6/29/2023
4.1.0-nightly-2023-06-28-2b...	108	6/28/2023
4.1.0-nightly-2023-06-27-d7...	100	6/27/2023
4.1.0-nightly-2023-06-26-d7...	111	6/26/2023
4.1.0-nightly-2023-06-25-d7...	116	6/25/2023
4.1.0-nightly-2023-06-24-d7...	117	6/24/2023
4.1.0-nightly-2023-06-23-30...	117	6/23/2023
4.1.0-nightly-2023-06-22-bd...	114	6/22/2023
4.1.0-nightly-2023-06-21-bd...	112	6/21/2023
4.1.0-nightly-2023-06-20-21...	122	6/20/2023
4.1.0-nightly-2023-06-19-9a...	113	6/19/2023
4.1.0-nightly-2023-06-18-9a...	113	6/18/2023
4.1.0-nightly-2023-06-17-9a...	114	6/17/2023
4.1.0-nightly-2023-06-16-b2...	116	6/16/2023
4.1.0-nightly-2023-06-16-18...	126	6/16/2023
4.1.0-nightly-2023-06-15-eb...	111	6/15/2023
4.1.0-nightly-2023-06-15-8f...	114	6/15/2023
4.1.0-nightly-2023-06-13-1c...	117	6/13/2023
4.1.0-nightly-2023-06-12-4e...	115	6/12/2023
4.1.0-nightly-2023-06-11-a8...	122	6/11/2023
4.1.0-nightly-2023-06-10-a8...	120	6/10/2023
4.1.0-nightly-2023-06-09-a8...	111	6/9/2023
4.1.0-nightly-2023-06-08-16...	113	6/8/2023
4.1.0-nightly-2023-06-07-28...	110	6/7/2023
4.1.0-nightly-2023-06-06-59...	126	6/6/2023
4.1.0-nightly-2023-06-05-59...	122	6/5/2023
4.1.0-nightly-2023-06-04-59...	107	6/4/2023
4.1.0-nightly-2023-06-03-59...	112	6/3/2023
4.1.0-nightly-2023-06-02-59...	141	6/2/2023
4.1.0-nightly-2023-06-01-68...	125	6/1/2023
4.1.0-nightly-2023-05-31-b6...	127	5/31/2023
4.1.0-nightly-2023-05-31-81...	105	5/31/2023
4.1.0-nightly-2023-05-30-2f...	115	5/30/2023
4.1.0-nightly-2023-05-29-de...	112	5/29/2023
4.1.0-nightly-2023-05-28-80...	119	5/28/2023
4.1.0-nightly-2023-05-27-80...	119	5/27/2023
4.1.0-nightly-2023-05-26-40...	114	5/26/2023
4.1.0-nightly-2023-05-25-b3...	107	5/25/2023
4.1.0-nightly-2023-05-24-38...	121	5/24/2023
4.1.0-nightly-2023-05-23-16...	114	5/23/2023
4.1.0-nightly-2023-05-22-c8...	112	5/22/2023
4.1.0-nightly-2023-05-21-9b...	126	5/21/2023
4.1.0-nightly-2023-05-20-9b...	118	5/20/2023
4.1.0-nightly-2023-05-19-33...	112	5/19/2023
4.1.0-nightly-2023-05-18-8c...	130	5/18/2023
4.1.0-nightly-2023-05-17-49...	118	5/17/2023
4.1.0-nightly-2023-05-17-05...	118	5/17/2023
4.1.0-nightly-2023-05-15-35...	111	5/15/2023
4.1.0-nightly-2023-05-14-35...	98	5/14/2023
4.1.0-nightly-2023-05-12-30...	115	5/12/2023
4.1.0-nightly-2023-05-11-87...	121	5/11/2023
4.1.0-nightly-2023-05-09-26...	128	5/10/2023
4.1.0-nightly-2023-05-08-d9...	148	5/8/2023
4.1.0-nightly-2023-05-07-a2...	114	5/8/2023
4.1.0-nightly-2023-05-06-a2...	98	5/6/2023
4.1.0-nightly-2023-05-05-81...	106	5/5/2023
4.1.0-nightly-2023-05-04-56...	105	5/4/2023
4.1.0-nightly-2023-05-03-aa...	127	5/3/2023
4.1.0-nightly-2023-05-02-bb...	120	5/2/2023
4.1.0-nightly-2023-05-01-38...	112	5/1/2023
4.1.0-nightly-2023-04-30-38...	108	4/30/2023
4.1.0-nightly-2023-04-29-f0...	126	4/29/2023
4.1.0-nightly-2023-04-29-20...	121	4/29/2023
4.1.0-nightly-2023-04-28-41...	123	4/28/2023
4.1.0-nightly-2023-04-27-d7...	132	4/27/2023
4.1.0-nightly-2023-04-26-21...	116	4/26/2023
4.1.0-nightly-2023-04-25-38...	125	4/25/2023
4.1.0-nightly-2023-04-24-f1...	103	4/24/2023
4.1.0-nightly-2023-04-23-f1...	124	4/23/2023
4.1.0-nightly-2023-04-22-f1...	110	4/22/2023
4.1.0-nightly-2023-04-21-1d...	121	4/21/2023
4.1.0-nightly-2023-04-20-1d...	132	4/20/2023
4.1.0-nightly-2023-04-19-1d...	131	4/19/2023
4.0.0.50303	365	3/3/2023
4.0.0.50303-nightly-2023-04...	109	4/18/2023
4.0.0.50303-nightly-2023-04...	129	4/17/2023
4.0.0.50303-nightly-2023-04...	120	4/16/2023
4.0.0.50303-nightly-2023-04...	119	4/15/2023
4.0.0.50303-nightly-2023-04...	107	4/14/2023
4.0.0.50303-nightly-2023-04...	120	4/13/2023
4.0.0.50303-nightly-2023-04...	100	4/12/2023
4.0.0.50303-nightly-2023-04...	117	4/11/2023
4.0.0.50303-nightly-2023-04...	134	4/10/2023
4.0.0.50303-nightly-2023-04...	109	4/9/2023
4.0.0.50303-nightly-2023-04...	99	4/8/2023
4.0.0.50303-nightly-2023-04...	129	4/7/2023
4.0.0.50303-nightly-2023-04...	117	4/6/2023
4.0.0.50303-nightly-2023-04...	114	4/5/2023
4.0.0.50303-nightly-2023-04...	121	4/4/2023
4.0.0.50303-nightly-2023-04...	109	4/5/2023
4.0.0.50303-nightly-2023-04...	109	4/3/2023
4.0.0.50303-nightly-2023-04...	129	4/2/2023
4.0.0.50303-nightly-2023-04...	120	4/1/2023
4.0.0.50303-nightly-2023-03...	113	3/31/2023
4.0.0.50303-nightly-2023-03...	122	3/30/2023
4.0.0.50303-nightly-2023-03...	145	3/29/2023
4.0.0.50303-nightly-2023-03...	131	3/28/2023
4.0.0.50303-nightly-2023-03...	126	3/27/2023
4.0.0.50303-nightly-2023-03...	118	3/25/2023
4.0.0.50303-nightly-2023-03...	112	3/24/2023
4.0.0.50303-nightly-2023-03...	141	3/23/2023
4.0.0.50303-nightly-2023-03...	135	3/22/2023
4.0.0.50303-nightly-2023-03...	122	3/22/2023
4.0.0.50303-nightly-2023-03...	125	3/21/2023
4.0.0.50303-nightly-2023-03...	126	3/21/2023
4.0.0.50303-nightly-2023-03...	140	3/21/2023
4.0.0.50303-nightly-2023-03...	117	3/20/2023
4.0.0.50303-nightly-2023-03...	101	3/19/2023
4.0.0.50303-nightly-2023-03...	128	3/18/2023
4.0.0.50303-nightly-2023-03...	119	3/17/2023
4.0.0.50303-nightly-2023-03...	114	3/16/2023
4.0.0.50303-nightly-2023-03...	106	3/15/2023
4.0.0.50303-nightly-2023-03...	126	3/13/2023
4.0.0.50303-nightly-2023-03...	104	3/12/2023
4.0.0.50303-nightly-2023-03...	124	3/11/2023
4.0.0.50303-nightly-2023-03...	121	3/10/2023
4.0.0.50303-nightly-2023-03...	119	3/9/2023
4.0.0.50303-nightly-2023-03...	109	3/8/2023
4.0.0.50303-nightly-2023-03...	114	3/3/2023
4.0.0.50302	255	3/3/2023
4.0.0.50302-nightly-2023-03...	119	3/2/2023
3.13.1.50302	265	3/2/2023
3.13.1.50302-nightly-2023-0...	111	3/2/2023
3.13.0.50302	240	3/2/2023
3.13.0.50302-nightly-2023-0...	131	3/2/2023
3.12.0.50221	279	2/21/2023
3.12.0.50221-nightly-2023-0...	137	3/7/2023
3.12.0.50221-nightly-2023-0...	115	3/6/2023
3.12.0.50221-nightly-2023-0...	127	3/3/2023
3.12.0.50221-nightly-2023-0...	111	3/2/2023
3.12.0.50221-nightly-2023-0...	132	3/1/2023
3.12.0.50221-nightly-2023-0...	127	2/28/2023
3.12.0.50221-nightly-2023-0...	98	2/28/2023
3.12.0.50221-nightly-2023-0...	106	2/27/2023
3.12.0.50221-nightly-2023-0...	118	2/27/2023
3.12.0.50221-nightly-2023-0...	124	2/26/2023
3.12.0.50221-nightly-2023-0...	114	2/25/2023
3.12.0.50221-nightly-2023-0...	137	2/23/2023
3.12.0.50221-nightly-2023-0...	119	2/22/2023
3.12.0.50221-nightly-2023-0...	127	2/21/2023
3.11.0.50201	299	2/1/2023
3.11.0.50201-nightly-2023-0...	118	2/21/2023
3.11.0.50201-nightly-2023-0...	125	2/20/2023
3.11.0.50201-nightly-2023-0...	124	2/19/2023
3.11.0.50201-nightly-2023-0...	123	2/18/2023
3.11.0.50201-nightly-2023-0...	129	2/18/2023
3.11.0.50201-nightly-2023-0...	103	2/17/2023
3.11.0.50201-nightly-2023-0...	118	2/16/2023
3.11.0.50201-nightly-2023-0...	125	2/15/2023
3.11.0.50201-nightly-2023-0...	121	2/14/2023
3.11.0.50201-nightly-2023-0...	122	2/13/2023
3.11.0.50201-nightly-2023-0...	129	2/12/2023
3.11.0.50201-nightly-2023-0...	126	2/11/2023
3.11.0.50201-nightly-2023-0...	124	2/11/2023
3.11.0.50201-nightly-2023-0...	115	2/10/2023
3.11.0.50201-nightly-2023-0...	115	2/11/2023
3.11.0.50201-nightly-2023-0...	118	2/9/2023
3.11.0.50201-nightly-2023-0...	128	2/8/2023
3.11.0.50201-nightly-2023-0...	118	2/7/2023
3.11.0.50201-nightly-2023-0...	124	2/6/2023
3.11.0.50201-nightly-2023-0...	137	2/5/2023
3.11.0.50201-nightly-2023-0...	119	2/4/2023
3.11.0.50201-nightly-2023-0...	138	2/3/2023
3.11.0.50201-nightly-2023-0...	155	2/2/2023
3.11.0.50201-nightly-2023-0...	137	2/1/2023
3.10.0.41215	341	12/15/2022
3.10.0.41215-nightly-2023-0...	139	2/1/2023
3.10.0.41215-nightly-2023-0...	144	1/31/2023
3.10.0.41215-nightly-2023-0...	123	1/30/2023
3.10.0.41215-nightly-2023-0...	124	1/29/2023
3.10.0.41215-nightly-2023-0...	120	1/28/2023
3.10.0.41215-nightly-2023-0...	135	1/27/2023
3.10.0.41215-nightly-2023-0...	123	1/26/2023
3.10.0.41215-nightly-2023-0...	128	1/25/2023
3.10.0.41215-nightly-2023-0...	131	1/24/2023
3.10.0.41215-nightly-2023-0...	130	1/23/2023
3.10.0.41215-nightly-2023-0...	128	1/22/2023
3.10.0.41215-nightly-2023-0...	132	1/21/2023
3.10.0.41215-nightly-2023-0...	128	1/20/2023
3.10.0.41215-nightly-2023-0...	113	1/19/2023
3.10.0.41215-nightly-2023-0...	139	1/18/2023
3.10.0.41215-nightly-2023-0...	135	1/17/2023
3.10.0.41215-nightly-2023-0...	126	1/16/2023
3.10.0.41215-nightly-2023-0...	127	1/15/2023
3.10.0.41215-nightly-2023-0...	138	1/14/2023
3.10.0.41215-nightly-2023-0...	108	1/13/2023
3.10.0.41215-nightly-2023-0...	129	1/12/2023
3.10.0.41215-nightly-2023-0...	134	1/11/2023
3.10.0.41215-nightly-2023-0...	151	1/10/2023
3.10.0.41215-nightly-2023-0...	121	1/9/2023
3.10.0.41215-nightly-2023-0...	127	1/9/2023
3.10.0.41215-nightly-2023-0...	104	1/9/2023
3.10.0.41215-nightly-2023-0...	124	1/6/2023
3.10.0.41215-nightly-2023-0...	131	1/5/2023
3.10.0.41215-nightly-2023-0...	133	1/4/2023
3.10.0.41215-nightly-2023-0...	131	1/3/2023
3.10.0.41215-nightly-2023-0...	134	1/2/2023
3.10.0.41215-nightly-2023-0...	133	1/2/2023
3.10.0.41215-nightly-2022-1...	143	12/31/2022
3.10.0.41215-nightly-2022-1...	111	12/30/2022
3.10.0.41215-nightly-2022-1...	117	12/29/2022
3.10.0.41215-nightly-2022-1...	128	12/28/2022
3.10.0.41215-nightly-2022-1...	141	12/27/2022
3.10.0.41215-nightly-2022-1...	119	12/26/2022
3.10.0.41215-nightly-2022-1...	123	12/25/2022
3.10.0.41215-nightly-2022-1...	117	12/24/2022
3.10.0.41215-nightly-2022-1...	114	12/23/2022
3.10.0.41215-nightly-2022-1...	115	12/22/2022
3.10.0.41215-nightly-2022-1...	131	12/21/2022
3.10.0.41215-nightly-2022-1...	122	12/20/2022
3.10.0.41215-nightly-2022-1...	126	12/19/2022
3.10.0.41215-nightly-2022-1...	106	12/18/2022
3.10.0.41215-nightly-2022-1...	129	12/17/2022
3.10.0.41215-nightly-2022-1...	123	12/15/2022
3.10.0.41129-nightly-2022-1...	118	11/29/2022
3.10.0-nightly-2022-12-16-7...	116	12/16/2022
3.10.0-nightly-2022-12-15-5...	110	12/15/2022
3.10.0-nightly-2022-12-14-3...	115	12/14/2022
3.10.0-nightly-2022-12-13-1...	115	12/13/2022
3.10.0-nightly-2022-12-12-f...	112	12/12/2022
3.10.0-nightly-2022-12-12-1...	121	12/12/2022
3.10.0-nightly-2022-12-11-f...	113	12/11/2022
3.10.0-nightly-2022-12-10-f...	132	12/10/2022
3.10.0-nightly-2022-12-09-f...	126	12/9/2022
3.10.0-nightly-2022-12-08-b...	128	12/8/2022
3.10.0-nightly-2022-12-07-3...	124	12/7/2022
3.10.0-nightly-2022-12-06-3...	127	12/6/2022
3.10.0-nightly-2022-12-05-3...	119	12/5/2022
3.10.0-nightly-2022-12-04-3...	129	12/4/2022
3.10.0-nightly-2022-12-03-3...	135	12/3/2022
3.10.0-nightly-2022-12-02-e...	125	12/2/2022
3.9.1.41027	416	10/27/2022
3.9.1.41027-nightly-2022-12...	123	12/1/2022
3.9.1.41027-nightly-2022-11...	130	11/30/2022
3.9.1.41027-nightly-2022-11...	113	11/29/2022
3.9.1.41027-nightly-2022-11...	117	11/29/2022
3.9.1.41027-nightly-2022-11...	106	11/28/2022
3.9.1.41027-nightly-2022-11...	111	11/27/2022
3.9.1.41027-nightly-2022-11...	115	11/26/2022
3.9.1.41027-nightly-2022-11...	118	11/25/2022
3.9.1.41027-nightly-2022-11...	119	11/24/2022
3.9.1.41027-nightly-2022-11...	138	11/23/2022
3.9.1.41027-nightly-2022-11...	116	11/22/2022
3.9.1.41027-nightly-2022-11...	113	11/21/2022
3.9.1.41027-nightly-2022-11...	141	11/20/2022
3.9.1.41027-nightly-2022-11...	119	11/19/2022
3.9.1.41027-nightly-2022-11...	104	11/18/2022
3.9.1.41027-nightly-2022-11...	131	11/17/2022
3.9.1.41027-nightly-2022-11...	114	11/16/2022
3.9.1.41027-nightly-2022-11...	108	11/15/2022
3.9.1.41027-nightly-2022-11...	127	11/14/2022
3.9.1.41027-nightly-2022-11...	127	11/13/2022
3.9.1.41027-nightly-2022-11...	138	11/12/2022
3.9.1.41027-nightly-2022-11...	137	11/11/2022
3.9.1.41027-nightly-2022-11...	134	11/10/2022
3.9.1.41027-nightly-2022-11...	130	11/9/2022
3.9.1.41027-nightly-2022-11...	121	11/8/2022
3.9.1.41027-nightly-2022-11...	125	11/7/2022
3.9.1.41027-nightly-2022-11...	134	11/6/2022
3.9.1.41027-nightly-2022-11...	135	11/5/2022
3.9.1.41027-nightly-2022-11...	116	11/4/2022
3.9.1.41027-nightly-2022-11...	111	11/3/2022
3.9.1.41027-nightly-2022-11...	144	11/2/2022
3.9.1.41027-nightly-2022-11...	124	11/2/2022
3.9.1.41027-nightly-2022-10...	143	10/31/2022
3.9.1.41027-nightly-2022-10...	117	10/29/2022
3.9.1.41027-nightly-2022-10...	119	10/28/2022
3.9.1.41027-nightly-2022-10...	156	10/27/2022
3.9.0.41003	448	10/3/2022
3.9.0.41003-nightly-2022-10...	152	10/27/2022
3.9.0.41003-nightly-2022-10...	126	10/26/2022
3.9.0.41003-nightly-2022-10...	121	10/25/2022
3.9.0.41003-nightly-2022-10...	135	10/24/2022
3.9.0.41003-nightly-2022-10...	130	10/23/2022
3.9.0.41003-nightly-2022-10...	115	10/22/2022
3.9.0.41003-nightly-2022-10...	135	10/21/2022
3.9.0.41003-nightly-2022-10...	143	10/20/2022
3.9.0.41003-nightly-2022-10...	154	10/19/2022
3.9.0.41003-nightly-2022-10...	126	10/18/2022
3.9.0.41003-nightly-2022-10...	127	10/16/2022
3.9.0.41003-nightly-2022-10...	138	10/15/2022
3.9.0.41003-nightly-2022-10...	131	10/14/2022
3.9.0.41003-nightly-2022-10...	145	10/13/2022
3.9.0.41003-nightly-2022-10...	123	10/12/2022
3.9.0.41003-nightly-2022-10...	142	10/11/2022
3.9.0.41003-nightly-2022-10...	158	10/10/2022
3.9.0.41003-nightly-2022-10...	123	10/9/2022
3.9.0.41003-nightly-2022-10...	120	10/8/2022
3.9.0.41003-nightly-2022-10...	133	10/7/2022
3.9.0.41003-nightly-2022-10...	117	10/6/2022
3.9.0.41003-nightly-2022-10...	133	10/5/2022
3.9.0.41003-nightly-2022-10...	135	10/4/2022
3.9.0.41003-nightly-2022-10...	119	10/3/2022
3.9.0.40930	477	10/3/2022
3.9.0.40930-nightly-2022-09...	114	9/30/2022
3.8.1.40901-nightly-2022-10...	147	10/3/2022
3.8.1.40901-nightly-2022-10...	131	10/2/2022
3.8.1.40901-nightly-2022-10...	128	10/1/2022
3.8.1.40901-nightly-2022-09...	126	9/30/2022
3.8.1.40901-nightly-2022-09...	140	9/29/2022
3.8.1.40901-nightly-2022-09...	180	9/28/2022
3.8.1.40901-nightly-2022-09...	175	9/27/2022
3.8.1.40901-nightly-2022-09...	162	9/26/2022
3.8.1.40901-nightly-2022-09...	199	9/25/2022
3.8.1.40901-nightly-2022-09...	398	9/24/2022

Total 90.0K

Current version 40

Per day average 107

DafnyDriver 4.9.2-nightly-2025-01-02-a88767f

net6.0

NuGet packages

GitHub repositories