DafnyLanguageServer 4.6.0

.NET 6.0

dotnet add package DafnyLanguageServer --version 4.6.0

NuGet\Install-Package DafnyLanguageServer -Version 4.6.0

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="DafnyLanguageServer" Version="4.6.0" />

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

paket add DafnyLanguageServer --version 4.6.0

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

#r "nuget: DafnyLanguageServer, 4.6.0"

#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 DafnyLanguageServer as a Cake Addin
#addin nuget:?package=DafnyLanguageServer&version=4.6.0

// Install DafnyLanguageServer as a Cake Tool
#tool nuget:?package=DafnyLanguageServer&version=4.6.0

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

DafnyLS

DafnyLS is a language server for Dafny. It is implemented in C# on .NET with OmniSharp's C# Language Server Protocol.

Running

Place the Z3 executable in the language server's root directory or within the z3/bin subdirectory (already present in the release packages). If not on windows, ensure that the executable has execution permissions:

chmod u+x ./z3/bin/z3

The language server can be started either by the executable itself (e.g., DafnyLanguageServer.exe on windows) or with the following command.

dotnet DafnyLanguageServer.dll

Configuration

The language server can be configured using the DafnyLanguageServer.appsettings.json file as well as using CLI arguments.

For example, if you want to configure the automatic verification through the command line:

dotnet DafnyLanguageServer.dll --documents:verify=onsave

Or using the DafnyLanguageServer.appsettings.json configuration file:

{
  "Documents": {
    "Verify": "onsave"
  }
}

Options provided through the command line have higher priority than the options provided within DafnyLanguageServer.appsettings.json.

Documents

# Sets when the automatic verification should be applied.
# Options:
# - never - Never verifies the document.
# - onchange - Verifies the document with each change.
# - onsave - Verifies the document each time it is saved.
# default: onchange
--documents:verify=onchange

Verifier

# Sets maximum execution time (in seconds) for verifications
# Default: 0 (no time limit)
--verifier:timelimit=0

# Sets the maximum number of virtual cores to use. 
# Default: 0 (use half of the available virtual cores).
--verifier:vcscores=0

# Set the caching policy (like /verifySnapshots for Dafny.exe)
# Default: 0 (no caching).
--verifier:verifysnapshots=0

# Set whether or not to compute and report verification gutter statuses
# Default: 0 (no gutter status reported).
--verifier:gutterStatus=true

Ghost Diagnostics

# Mark ghost statements
# Default: true (mark the statements)
--ghost:markStatements=true

Plugins

# Provides a path to assemblies and optional space-separated command-line arguments after a comma.
# Repeat with --dafny:plugins:0=... --dafny:plugins:1=... for multiple plugins.
--dafny:plugins:0=path\to\example.dll
--dafny:plugins:0=path/to/example2.dll,oneArgument
--dafny:plugins:0=example3.dll,"firstArgument with \" space and quote" secondArgument

# On the command-line, you'd use the following escapes for the first and third examples:
"--dafny:plugins:0=path\\to\\example.dll"
"--dafny:plugins:0=example3.dll,\"firstArgument with \\\" space and quote\" secondArgument"

# For just the dafny executable, replace `--dafny:plugins:X` by `--plugin:` that you can repeat.

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.6.0)
- Microsoft.Extensions.Configuration.CommandLine (>= 5.0.0)
- Microsoft.Extensions.Configuration.Json (>= 5.0.0)
- Microsoft.Extensions.Logging (>= 5.0.0)
- Newtonsoft.Json (>= 13.0.1)
- RangeTree (>= 3.0.1)
- Serilog (>= 2.12.0)
- Serilog.Extensions.Logging (>= 3.0.1)
- Serilog.Settings.Configuration (>= 3.1.0)
- Serilog.Sinks.Debug (>= 2.0.0)
- Serilog.Sinks.File (>= 5.0.0)
- System.Collections (>= 4.3.0)
- System.Diagnostics.Debug (>= 4.3.0)
- System.IO.FileSystem.Primitives (>= 4.3.0)

NuGet packages (1)

Showing the top 1 NuGet packages that depend on DafnyLanguageServer:

Package	Downloads
DafnyServer Package Description	89.3K

GitHub repositories

This package is not used by any popular GitHub repositories.

Version	Downloads	Last updated
4.6.0	175	3/28/2024
4.6.0-nightly-2024-04-17-b3...	0	4/17/2024
4.6.0-nightly-2024-04-16-1c...	59	4/16/2024
4.6.0-nightly-2024-04-15-13...	65	4/15/2024
4.6.0-nightly-2024-04-14-13...	65	4/15/2024
4.6.0-nightly-2024-04-13-13...	56	4/13/2024
4.6.0-nightly-2024-04-12-4e...	62	4/12/2024
4.6.0-nightly-2024-04-11-62...	53	4/11/2024
4.6.0-nightly-2024-04-10-d8...	65	4/10/2024
4.6.0-nightly-2024-04-09-65...	28	4/9/2024
4.6.0-nightly-2024-04-08-be...	55	4/8/2024
4.6.0-nightly-2024-04-07-be...	50	4/7/2024
4.6.0-nightly-2024-04-05-56...	50	4/5/2024
4.6.0-nightly-2024-04-04-5c...	56	4/4/2024
4.6.0-nightly-2024-04-03-91...	50	4/3/2024
4.6.0-nightly-2024-04-02-5b...	80	4/2/2024
4.6.0-nightly-2024-04-01-69...	93	4/1/2024
4.6.0-nightly-2024-03-31-4a...	91	3/31/2024
4.6.0-nightly-2024-03-29-8f...	91	3/29/2024
4.6.0-nightly-2024-03-29-71...	73	3/29/2024
4.5.0	177	3/15/2024
4.5.0-nightly-2024-03-27-ca...	99	3/27/2024
4.5.0-nightly-2024-03-26-0c...	96	3/27/2024
4.5.0-nightly-2024-03-25-f4...	91	3/25/2024
4.5.0-nightly-2024-03-24-f4...	83	3/25/2024
4.5.0-nightly-2024-03-23-f4...	83	3/23/2024
4.5.0-nightly-2024-03-22-ec...	87	3/22/2024
4.5.0-nightly-2024-03-21-7c...	72	3/21/2024
4.5.0-nightly-2024-03-20-99...	92	3/20/2024
4.5.0-nightly-2024-03-19-39...	94	3/20/2024
4.5.0-nightly-2024-03-18-39...	90	3/18/2024
4.5.0-nightly-2024-03-17-39...	95	3/17/2024
4.5.0-nightly-2024-03-16-39...	94	3/16/2024
4.5.0-nightly-2024-03-15-02...	99	3/15/2024
4.4.0	531	12/12/2023
4.4.0-nightly-2024-03-15-87...	102	3/15/2024
4.4.0-nightly-2024-03-14-28...	96	3/14/2024
4.4.0-nightly-2024-03-13-f1...	91	3/13/2024
4.4.0-nightly-2024-03-12-69...	83	3/12/2024
4.4.0-nightly-2024-03-11-a8...	79	3/11/2024
4.4.0-nightly-2024-03-10-a2...	70	3/11/2024
4.4.0-nightly-2024-03-09-a2...	77	3/9/2024
4.4.0-nightly-2024-03-08-1d...	75	3/8/2024
4.4.0-nightly-2024-03-06-35...	82	3/6/2024
4.4.0-nightly-2024-03-05-35...	77	3/5/2024
4.4.0-nightly-2024-03-04-54...	94	3/4/2024
4.4.0-nightly-2024-03-03-4e...	92	3/3/2024
4.4.0-nightly-2024-03-01-26...	81	3/1/2024
4.4.0-nightly-2024-02-29-2a...	74	2/29/2024
4.4.0-nightly-2024-02-28-2a...	72	2/28/2024
4.4.0-nightly-2024-02-27-2a...	74	2/27/2024
4.4.0-nightly-2024-02-26-1c...	73	2/26/2024
4.4.0-nightly-2024-02-25-d6...	68	2/26/2024
4.4.0-nightly-2024-02-24-d6...	78	2/24/2024
4.4.0-nightly-2024-02-23-d6...	79	2/23/2024
4.4.0-nightly-2024-02-22-e2...	76	2/22/2024
4.4.0-nightly-2024-02-21-22...	75	2/21/2024
4.4.0-nightly-2024-02-20-ce...	71	2/20/2024
4.4.0-nightly-2024-02-19-be...	79	2/19/2024
4.4.0-nightly-2024-02-18-be...	77	2/18/2024
4.4.0-nightly-2024-02-17-be...	85	2/17/2024
4.4.0-nightly-2024-02-16-af...	66	2/16/2024
4.4.0-nightly-2024-02-15-73...	83	2/15/2024
4.4.0-nightly-2024-02-14-5c...	73	2/14/2024
4.4.0-nightly-2024-02-13-9d...	66	2/13/2024
4.4.0-nightly-2024-02-12-d7...	71	2/12/2024
4.4.0-nightly-2024-02-11-c8...	66	2/11/2024
4.4.0-nightly-2024-02-10-c8...	68	2/10/2024
4.4.0-nightly-2024-02-09-29...	62	2/9/2024
4.4.0-nightly-2024-02-08-fc...	66	2/8/2024
4.4.0-nightly-2024-02-07-59...	69	2/7/2024
4.4.0-nightly-2024-02-06-b3...	62	2/6/2024
4.4.0-nightly-2024-02-05-16...	64	2/5/2024
4.4.0-nightly-2024-02-04-c6...	65	2/4/2024
4.4.0-nightly-2024-02-03-c6...	63	2/3/2024
4.4.0-nightly-2024-02-02-70...	61	2/2/2024
4.4.0-nightly-2024-02-01-8b...	63	2/1/2024
4.4.0-nightly-2024-01-31-8b...	63	1/31/2024
4.4.0-nightly-2024-01-30-90...	66	1/30/2024
4.4.0-nightly-2024-01-26-cf...	66	1/26/2024
4.4.0-nightly-2024-01-25-cf...	66	1/25/2024
4.4.0-nightly-2024-01-24-9d...	63	1/24/2024
4.4.0-nightly-2024-01-23-fe...	75	1/23/2024
4.4.0-nightly-2024-01-22-47...	61	1/22/2024
4.4.0-nightly-2024-01-21-a7...	67	1/21/2024
4.4.0-nightly-2024-01-20-79...	63	1/20/2024
4.4.0-nightly-2024-01-19-99...	70	1/19/2024
4.4.0-nightly-2024-01-19-3b...	64	1/19/2024
4.4.0-nightly-2024-01-18-3b...	68	1/18/2024
4.4.0-nightly-2024-01-17-3b...	66	1/17/2024
4.4.0-nightly-2024-01-03-2c...	83	1/3/2024
4.4.0-nightly-2024-01-01-2c...	85	1/1/2024
4.4.0-nightly-2023-12-31-2c...	89	12/31/2023
4.4.0-nightly-2023-12-30-2c...	95	12/30/2023
4.4.0-nightly-2023-12-29-2c...	97	12/29/2023
4.4.0-nightly-2023-12-28-2c...	79	12/28/2023
4.4.0-nightly-2023-12-27-2c...	83	12/27/2023
4.4.0-nightly-2023-12-26-2c...	78	12/26/2023
4.4.0-nightly-2023-12-25-2c...	89	12/25/2023
4.4.0-nightly-2023-12-24-2c...	93	12/24/2023
4.4.0-nightly-2023-12-23-2c...	91	12/23/2023
4.4.0-nightly-2023-12-22-2c...	86	12/22/2023
4.4.0-nightly-2023-12-21-2c...	87	12/21/2023
4.4.0-nightly-2023-12-20-2c...	89	12/20/2023
4.4.0-nightly-2023-12-19-2c...	96	12/19/2023
4.4.0-nightly-2023-12-18-2c...	107	12/18/2023
4.4.0-nightly-2023-12-17-2c...	109	12/17/2023
4.4.0-nightly-2023-12-16-2c...	100	12/16/2023
4.4.0-nightly-2023-12-15-2c...	111	12/15/2023
4.4.0-nightly-2023-12-14-2c...	82	12/15/2023
4.4.0-nightly-2023-12-13-2c...	87	12/13/2023
4.4.0-nightly-2023-12-12-4f...	104	12/12/2023
4.4.0-nightly-2023-12-11-4f...	102	12/11/2023
4.4.0-nightly-2023-12-10-4f...	102	12/10/2023
4.4.0-nightly-2023-12-09-4f...	95	12/9/2023
4.3.0	229	9/28/2023
4.3.0-nightly-2023-12-08-7e...	86	12/8/2023
4.3.0-nightly-2023-12-07-c9...	93	12/7/2023
4.3.0-nightly-2023-12-06-6a...	95	12/6/2023
4.3.0-nightly-2023-12-05-cc...	71	12/5/2023
4.3.0-nightly-2023-12-04-fd...	76	12/4/2023
4.3.0-nightly-2023-12-03-23...	91	12/3/2023
4.3.0-nightly-2023-12-02-23...	80	12/2/2023
4.3.0-nightly-2023-12-01-05...	79	12/1/2023
4.3.0-nightly-2023-11-30-8e...	78	11/30/2023
4.3.0-nightly-2023-11-29-f7...	83	11/29/2023
4.3.0-nightly-2023-11-28-c5...	76	11/28/2023
4.3.0-nightly-2023-11-27-98...	78	11/27/2023
4.3.0-nightly-2023-11-25-b1...	67	11/25/2023
4.3.0-nightly-2023-11-24-b1...	81	11/24/2023
4.3.0-nightly-2023-11-23-ec...	88	11/23/2023
4.3.0-nightly-2023-11-22-ec...	91	11/22/2023
4.3.0-nightly-2023-11-21-fd...	69	11/21/2023
4.3.0-nightly-2023-11-21-4f...	87	11/21/2023
4.3.0-nightly-2023-11-19-dd...	81	11/19/2023
4.3.0-nightly-2023-11-18-dd...	58	11/18/2023
4.3.0-nightly-2023-11-17-06...	83	11/17/2023
4.3.0-nightly-2023-11-16-f8...	87	11/16/2023
4.3.0-nightly-2023-11-15-c6...	81	11/15/2023
4.3.0-nightly-2023-11-14-84...	85	11/14/2023
4.3.0-nightly-2023-11-13-5e...	74	11/13/2023
4.3.0-nightly-2023-11-12-90...	78	11/12/2023
4.3.0-nightly-2023-11-11-90...	69	11/11/2023
4.3.0-nightly-2023-11-10-4d...	81	11/10/2023
4.3.0-nightly-2023-11-09-ee...	75	11/9/2023
4.3.0-nightly-2023-11-08-48...	73	11/8/2023
4.3.0-nightly-2023-11-07-48...	81	11/7/2023
4.3.0-nightly-2023-11-06-d4...	96	11/6/2023
4.3.0-nightly-2023-11-05-d4...	107	11/5/2023
4.3.0-nightly-2023-11-02-53...	106	11/2/2023
4.3.0-nightly-2023-11-01-45...	104	11/1/2023
4.3.0-nightly-2023-10-31-af...	96	10/31/2023
4.3.0-nightly-2023-10-30-bf...	106	10/30/2023
4.3.0-nightly-2023-10-29-17...	104	10/29/2023
4.3.0-nightly-2023-10-28-17...	105	10/28/2023
4.3.0-nightly-2023-10-27-c6...	106	10/27/2023
4.3.0-nightly-2023-10-26-c6...	117	10/26/2023
4.3.0-nightly-2023-10-25-5d...	123	10/25/2023
4.3.0-nightly-2023-10-24-cd...	125	10/24/2023
4.3.0-nightly-2023-10-23-7b...	111	10/23/2023
4.3.0-nightly-2023-10-23-3e...	117	10/24/2023
4.3.0-nightly-2023-10-20-81...	119	10/20/2023
4.3.0-nightly-2023-10-19-9e...	98	10/19/2023
4.3.0-nightly-2023-10-18-32...	109	10/18/2023
4.3.0-nightly-2023-10-17-ad...	109	10/17/2023
4.3.0-nightly-2023-10-16-41...	102	10/16/2023
4.3.0-nightly-2023-10-15-fc...	102	10/15/2023
4.3.0-nightly-2023-10-14-fc...	100	10/14/2023
4.3.0-nightly-2023-10-13-0e...	107	10/13/2023
4.3.0-nightly-2023-09-27-35...	121	9/27/2023
4.2.0	274	7/20/2023
4.2.0-nightly-2023-10-12-fd...	106	10/12/2023
4.2.0-nightly-2023-10-11-fd...	98	10/11/2023
4.2.0-nightly-2023-10-10-fd...	106	10/10/2023
4.2.0-nightly-2023-10-09-fd...	103	10/9/2023
4.2.0-nightly-2023-10-08-fd...	103	10/8/2023
4.2.0-nightly-2023-10-07-fd...	116	10/7/2023
4.2.0-nightly-2023-10-06-fd...	111	10/6/2023
4.2.0-nightly-2023-10-05-fd...	103	10/5/2023
4.2.0-nightly-2023-10-04-fd...	109	10/4/2023
4.2.0-nightly-2023-10-02-fd...	103	10/2/2023
4.2.0-nightly-2023-09-30-fd...	111	9/30/2023
4.2.0-nightly-2023-09-29-fd...	121	9/29/2023
4.2.0-nightly-2023-09-28-fd...	105	9/28/2023
4.2.0-nightly-2023-09-27-fd...	117	9/27/2023
4.2.0-nightly-2023-09-27-4d...	123	9/27/2023
4.2.0-nightly-2023-09-26-a0...	107	9/26/2023
4.2.0-nightly-2023-09-25-67...	111	9/25/2023
4.2.0-nightly-2023-09-24-67...	108	9/24/2023
4.2.0-nightly-2023-09-23-67...	111	9/23/2023
4.2.0-nightly-2023-09-22-67...	111	9/22/2023
4.2.0-nightly-2023-09-21-75...	100	9/21/2023
4.2.0-nightly-2023-09-20-c6...	106	9/20/2023
4.2.0-nightly-2023-09-19-ae...	99	9/19/2023
4.2.0-nightly-2023-09-18-45...	103	9/18/2023
4.2.0-nightly-2023-09-17-45...	103	9/18/2023
4.2.0-nightly-2023-09-16-04...	107	9/16/2023
4.2.0-nightly-2023-09-15-e7...	111	9/15/2023
4.2.0-nightly-2023-09-14-e5...	116	9/14/2023
4.2.0-nightly-2023-09-13-45...	102	9/13/2023
4.2.0-nightly-2023-09-12-27...	117	9/12/2023
4.2.0-nightly-2023-09-11-d2...	127	9/11/2023
4.2.0-nightly-2023-09-10-c5...	106	9/10/2023
4.2.0-nightly-2023-09-09-ed...	118	9/9/2023
4.2.0-nightly-2023-09-08-37...	122	9/8/2023
4.2.0-nightly-2023-09-07-b6...	133	9/7/2023
4.2.0-nightly-2023-09-06-8d...	106	9/6/2023
4.2.0-nightly-2023-09-05-e1...	124	9/5/2023
4.2.0-nightly-2023-09-04-1e...	88	9/4/2023
4.2.0-nightly-2023-09-03-4a...	117	9/4/2023
4.2.0-nightly-2023-09-02-a8...	114	9/2/2023
4.2.0-nightly-2023-09-01-e9...	132	9/1/2023
4.2.0-nightly-2023-08-31-e9...	108	8/31/2023
4.2.0-nightly-2023-08-30-05...	124	8/30/2023
4.2.0-nightly-2023-08-29-a8...	125	8/29/2023
4.2.0-nightly-2023-08-28-52...	127	8/28/2023
4.2.0-nightly-2023-08-27-95...	133	8/27/2023
4.2.0-nightly-2023-08-26-95...	121	8/26/2023
4.2.0-nightly-2023-08-25-fe...	138	8/25/2023
4.2.0-nightly-2023-08-24-c5...	145	8/24/2023
4.2.0-nightly-2023-08-24-06...	116	8/24/2023
4.2.0-nightly-2023-08-23-b9...	118	8/23/2023
4.2.0-nightly-2023-08-22-84...	118	8/22/2023
4.2.0-nightly-2023-08-21-83...	118	8/21/2023
4.2.0-nightly-2023-08-20-83...	123	8/20/2023
4.2.0-nightly-2023-08-19-83...	135	8/19/2023
4.2.0-nightly-2023-08-18-2a...	121	8/18/2023
4.2.0-nightly-2023-08-17-9e...	120	8/17/2023
4.2.0-nightly-2023-08-16-d9...	132	8/16/2023
4.2.0-nightly-2023-08-15-cd...	143	8/15/2023
4.2.0-nightly-2023-08-14-0c...	153	8/14/2023
4.2.0-nightly-2023-08-13-06...	147	8/13/2023
4.2.0-nightly-2023-08-12-06...	139	8/12/2023
4.2.0-nightly-2023-08-11-e2...	152	8/11/2023
4.2.0-nightly-2023-08-10-44...	288	8/10/2023
4.2.0-nightly-2023-08-09-20...	129	8/9/2023
4.2.0-nightly-2023-08-08-ea...	148	8/9/2023
4.2.0-nightly-2023-08-07-c3...	105	8/7/2023
4.2.0-nightly-2023-08-06-24...	134	8/6/2023
4.2.0-nightly-2023-08-05-38...	148	8/5/2023
4.2.0-nightly-2023-08-04-df...	124	8/4/2023
4.2.0-nightly-2023-08-04-65...	142	8/4/2023
4.2.0-nightly-2023-08-02-a9...	132	8/2/2023
4.2.0-nightly-2023-08-01-52...	131	8/1/2023
4.2.0-nightly-2023-07-31-3b...	149	7/31/2023
4.2.0-nightly-2023-07-30-3b...	157	7/30/2023
4.2.0-nightly-2023-07-29-3b...	132	7/29/2023
4.2.0-nightly-2023-07-28-65...	129	7/28/2023
4.2.0-nightly-2023-07-27-02...	126	7/27/2023
4.2.0-nightly-2023-07-26-59...	134	7/26/2023
4.2.0-nightly-2023-07-25-c5...	134	7/25/2023
4.2.0-nightly-2023-07-24-4d...	139	7/24/2023
4.2.0-nightly-2023-07-23-4d...	135	7/23/2023
4.2.0-nightly-2023-07-22-4d...	143	7/22/2023
4.2.0-nightly-2023-07-21-ab...	148	7/21/2023
4.1.0.50522	269	5/22/2023
4.1.0	259	5/10/2023
4.1.0-nightly-2023-07-20-35...	116	7/20/2023
4.1.0-nightly-2023-07-18-ce...	138	7/18/2023
4.1.0-nightly-2023-07-18-86...	136	7/18/2023
4.1.0-nightly-2023-07-17-ec...	110	7/17/2023
4.1.0-nightly-2023-07-17-e9...	131	7/17/2023
4.1.0-nightly-2023-07-16-e9...	133	7/16/2023
4.1.0-nightly-2023-07-15-e9...	148	7/15/2023
4.1.0-nightly-2023-07-14-12...	135	7/14/2023
4.1.0-nightly-2023-07-13-0d...	142	7/13/2023
4.1.0-nightly-2023-07-12-d4...	130	7/12/2023
4.1.0-nightly-2023-07-11-0f...	147	7/11/2023
4.1.0-nightly-2023-07-10-f4...	125	7/10/2023
4.1.0-nightly-2023-07-09-5c...	144	7/9/2023
4.1.0-nightly-2023-07-08-8b...	147	7/8/2023
4.1.0-nightly-2023-07-07-2d...	137	7/7/2023
4.1.0-nightly-2023-07-06-c5...	136	7/6/2023
4.1.0-nightly-2023-07-05-e4...	134	7/5/2023
4.1.0-nightly-2023-07-04-51...	138	7/4/2023
4.1.0-nightly-2023-07-03-65...	145	7/3/2023
4.1.0-nightly-2023-07-02-e4...	132	7/2/2023
4.1.0-nightly-2023-07-01-e4...	133	7/1/2023
4.1.0-nightly-2023-06-30-86...	141	6/30/2023
4.1.0-nightly-2023-06-29-2b...	146	6/29/2023
4.1.0-nightly-2023-06-28-2b...	138	6/28/2023
4.1.0-nightly-2023-06-27-d7...	125	6/27/2023
4.1.0-nightly-2023-06-26-d7...	112	6/26/2023
4.1.0-nightly-2023-06-25-d7...	119	6/25/2023
4.1.0-nightly-2023-06-24-d7...	133	6/24/2023
4.1.0-nightly-2023-06-23-30...	140	6/23/2023
4.1.0-nightly-2023-06-22-bd...	140	6/22/2023
4.1.0-nightly-2023-06-21-bd...	136	6/21/2023
4.1.0-nightly-2023-06-20-21...	138	6/20/2023
4.1.0-nightly-2023-06-19-9a...	113	6/19/2023
4.1.0-nightly-2023-06-18-9a...	127	6/18/2023
4.1.0-nightly-2023-06-17-9a...	139	6/17/2023
4.1.0-nightly-2023-06-16-b2...	113	6/16/2023
4.1.0-nightly-2023-06-16-18...	129	6/16/2023
4.1.0-nightly-2023-06-15-eb...	127	6/15/2023
4.1.0-nightly-2023-06-15-8f...	139	6/15/2023
4.1.0-nightly-2023-06-13-1c...	125	6/13/2023
4.1.0-nightly-2023-06-12-4e...	130	6/12/2023
4.1.0-nightly-2023-06-11-a8...	127	6/11/2023
4.1.0-nightly-2023-06-10-a8...	130	6/10/2023
4.1.0-nightly-2023-06-09-a8...	119	6/9/2023
4.1.0-nightly-2023-06-08-16...	147	6/8/2023
4.1.0-nightly-2023-06-07-28...	121	6/7/2023
4.1.0-nightly-2023-06-06-59...	136	6/6/2023
4.1.0-nightly-2023-06-05-59...	131	6/5/2023
4.1.0-nightly-2023-06-04-59...	112	6/4/2023
4.1.0-nightly-2023-06-03-59...	127	6/3/2023
4.1.0-nightly-2023-06-02-59...	147	6/2/2023
4.1.0-nightly-2023-06-01-68...	140	6/1/2023
4.1.0-nightly-2023-05-31-b6...	141	5/31/2023
4.1.0-nightly-2023-05-31-81...	126	5/31/2023
4.1.0-nightly-2023-05-30-2f...	137	5/30/2023
4.1.0-nightly-2023-05-29-de...	133	5/29/2023
4.1.0-nightly-2023-05-28-80...	140	5/28/2023
4.1.0-nightly-2023-05-27-80...	139	5/27/2023
4.1.0-nightly-2023-05-26-40...	121	5/26/2023
4.1.0-nightly-2023-05-25-b3...	127	5/25/2023
4.1.0-nightly-2023-05-24-38...	116	5/24/2023
4.1.0-nightly-2023-05-23-16...	130	5/23/2023
4.1.0-nightly-2023-05-22-c8...	129	5/22/2023
4.1.0-nightly-2023-05-21-9b...	143	5/21/2023
4.1.0-nightly-2023-05-20-9b...	136	5/20/2023
4.1.0-nightly-2023-05-19-33...	143	5/19/2023
4.1.0-nightly-2023-05-18-8c...	147	5/18/2023
4.1.0-nightly-2023-05-17-49...	145	5/17/2023
4.1.0-nightly-2023-05-17-05...	132	5/17/2023
4.1.0-nightly-2023-05-15-35...	125	5/15/2023
4.1.0-nightly-2023-05-14-35...	140	5/14/2023
4.1.0-nightly-2023-05-12-30...	135	5/12/2023
4.1.0-nightly-2023-05-11-87...	139	5/11/2023
4.1.0-nightly-2023-05-09-26...	155	5/10/2023
4.1.0-nightly-2023-05-08-d9...	238	5/8/2023
4.1.0-nightly-2023-05-07-a2...	140	5/8/2023
4.1.0-nightly-2023-05-06-a2...	135	5/6/2023
4.1.0-nightly-2023-05-05-81...	135	5/5/2023
4.1.0-nightly-2023-05-04-56...	147	5/4/2023
4.1.0-nightly-2023-05-03-aa...	137	5/3/2023
4.1.0-nightly-2023-05-02-bb...	141	5/2/2023
4.1.0-nightly-2023-05-01-38...	141	5/1/2023
4.1.0-nightly-2023-04-30-38...	126	4/30/2023
4.1.0-nightly-2023-04-29-f0...	137	4/29/2023
4.1.0-nightly-2023-04-29-20...	147	4/29/2023
4.1.0-nightly-2023-04-28-41...	150	4/28/2023
4.1.0-nightly-2023-04-27-d7...	152	4/27/2023
4.1.0-nightly-2023-04-26-21...	143	4/26/2023
4.1.0-nightly-2023-04-25-38...	166	4/25/2023
4.1.0-nightly-2023-04-24-f1...	141	4/24/2023
4.1.0-nightly-2023-04-23-f1...	163	4/23/2023
4.1.0-nightly-2023-04-22-f1...	142	4/22/2023
4.1.0-nightly-2023-04-21-1d...	152	4/21/2023
4.1.0-nightly-2023-04-20-1d...	131	4/20/2023
4.1.0-nightly-2023-04-19-1d...	153	4/19/2023
4.0.0.50303	676	3/3/2023
4.0.0.50303-nightly-2023-04...	128	4/18/2023
4.0.0.50303-nightly-2023-04...	136	4/17/2023
4.0.0.50303-nightly-2023-04...	161	4/16/2023
4.0.0.50303-nightly-2023-04...	134	4/15/2023
4.0.0.50303-nightly-2023-04...	128	4/14/2023
4.0.0.50303-nightly-2023-04...	133	4/13/2023
4.0.0.50303-nightly-2023-04...	146	4/12/2023
4.0.0.50303-nightly-2023-04...	143	4/11/2023
4.0.0.50303-nightly-2023-04...	141	4/10/2023
4.0.0.50303-nightly-2023-04...	125	4/9/2023
4.0.0.50303-nightly-2023-04...	120	4/8/2023
4.0.0.50303-nightly-2023-04...	154	4/7/2023
4.0.0.50303-nightly-2023-04...	156	4/6/2023
4.0.0.50303-nightly-2023-04...	132	4/5/2023
4.0.0.50303-nightly-2023-04...	147	4/4/2023
4.0.0.50303-nightly-2023-04...	151	4/5/2023
4.0.0.50303-nightly-2023-04...	145	4/3/2023
4.0.0.50303-nightly-2023-04...	153	4/2/2023
4.0.0.50303-nightly-2023-04...	155	4/1/2023
4.0.0.50303-nightly-2023-03...	139	3/31/2023
4.0.0.50303-nightly-2023-03...	145	3/30/2023
4.0.0.50303-nightly-2023-03...	170	3/29/2023
4.0.0.50303-nightly-2023-03...	144	3/28/2023
4.0.0.50303-nightly-2023-03...	158	3/27/2023
4.0.0.50303-nightly-2023-03...	159	3/25/2023
4.0.0.50303-nightly-2023-03...	162	3/24/2023
4.0.0.50303-nightly-2023-03...	149	3/23/2023
4.0.0.50303-nightly-2023-03...	144	3/22/2023
4.0.0.50303-nightly-2023-03...	140	3/22/2023
4.0.0.50303-nightly-2023-03...	155	3/21/2023
4.0.0.50303-nightly-2023-03...	148	3/21/2023
4.0.0.50303-nightly-2023-03...	155	3/21/2023
4.0.0.50303-nightly-2023-03...	172	3/20/2023
4.0.0.50303-nightly-2023-03...	148	3/19/2023
4.0.0.50303-nightly-2023-03...	157	3/18/2023
4.0.0.50303-nightly-2023-03...	168	3/17/2023
4.0.0.50303-nightly-2023-03...	159	3/16/2023
4.0.0.50303-nightly-2023-03...	143	3/15/2023
4.0.0.50303-nightly-2023-03...	164	3/13/2023
4.0.0.50303-nightly-2023-03...	158	3/12/2023
4.0.0.50303-nightly-2023-03...	158	3/11/2023
4.0.0.50303-nightly-2023-03...	157	3/10/2023
4.0.0.50303-nightly-2023-03...	152	3/9/2023
4.0.0.50303-nightly-2023-03...	154	3/8/2023
4.0.0.50303-nightly-2023-03...	154	3/3/2023
4.0.0.50302	437	3/3/2023
4.0.0.50302-nightly-2023-03...	126	3/2/2023
3.13.1.50302	673	3/2/2023
3.13.1.50302-nightly-2023-0...	707	3/2/2023
3.10.0.41215	1,003	12/15/2022
3.10.0.41215-nightly-2022-1...	155	12/28/2022
3.10.0.41215-nightly-2022-1...	156	12/27/2022
3.10.0.41215-nightly-2022-1...	156	12/26/2022
3.10.0.41215-nightly-2022-1...	146	12/25/2022
3.10.0.41215-nightly-2022-1...	139	12/24/2022
3.10.0.41215-nightly-2022-1...	148	12/23/2022
3.10.0.41215-nightly-2022-1...	138	12/22/2022
3.10.0.41215-nightly-2022-1...	146	12/21/2022
3.10.0.41215-nightly-2022-1...	150	12/20/2022
3.10.0.41215-nightly-2022-1...	128	12/19/2022
3.10.0.41215-nightly-2022-1...	151	12/18/2022
3.10.0.41215-nightly-2022-1...	126	12/17/2022
3.10.0.41215-nightly-2022-1...	123	12/15/2022
3.10.0.41129-nightly-2022-1...	160	11/29/2022
3.10.0-nightly-2022-12-16-7...	141	12/16/2022
3.10.0-nightly-2022-12-15-5...	126	12/15/2022
3.10.0-nightly-2022-12-14-3...	161	12/14/2022
3.10.0-nightly-2022-12-13-1...	128	12/13/2022
3.10.0-nightly-2022-12-12-f...	145	12/12/2022
3.10.0-nightly-2022-12-12-1...	117	12/12/2022
3.10.0-nightly-2022-12-11-f...	116	12/11/2022
3.10.0-nightly-2022-12-10-f...	128	12/10/2022
3.10.0-nightly-2022-12-09-f...	135	12/9/2022
3.10.0-nightly-2022-12-08-b...	154	12/8/2022
3.10.0-nightly-2022-12-07-3...	132	12/7/2022
3.10.0-nightly-2022-12-06-3...	116	12/6/2022
3.10.0-nightly-2022-12-05-3...	146	12/5/2022
3.10.0-nightly-2022-12-04-3...	130	12/4/2022
3.10.0-nightly-2022-12-03-3...	153	12/3/2022
3.10.0-nightly-2022-12-02-e...	139	12/2/2022
3.9.1.41027	738	10/27/2022
3.9.1.41027-nightly-2022-12...	138	12/1/2022
3.9.1.41027-nightly-2022-11...	139	11/30/2022
3.9.1.41027-nightly-2022-11...	148	11/29/2022
3.9.1.41027-nightly-2022-11...	140	11/29/2022
3.9.1.41027-nightly-2022-11...	136	11/28/2022
3.9.1.41027-nightly-2022-11...	134	11/27/2022
3.9.1.41027-nightly-2022-11...	156	11/26/2022
3.9.1.41027-nightly-2022-11...	124	11/25/2022
3.9.1.41027-nightly-2022-11...	155	11/24/2022
3.9.1.41027-nightly-2022-11...	154	11/23/2022
3.9.1.41027-nightly-2022-11...	165	11/22/2022
3.9.1.41027-nightly-2022-11...	132	11/21/2022
3.9.1.41027-nightly-2022-11...	148	11/20/2022
3.9.1.41027-nightly-2022-11...	144	11/19/2022
3.9.1.41027-nightly-2022-11...	136	11/18/2022
3.9.1.41027-nightly-2022-11...	132	11/17/2022
3.9.1.41027-nightly-2022-11...	137	11/16/2022
3.9.1.41027-nightly-2022-11...	164	11/15/2022
3.9.1.41027-nightly-2022-11...	150	11/14/2022
3.9.1.41027-nightly-2022-11...	153	11/13/2022
3.9.1.41027-nightly-2022-11...	150	11/12/2022
3.9.1.41027-nightly-2022-11...	166	11/11/2022
3.9.1.41027-nightly-2022-11...	136	11/10/2022
3.9.1.41027-nightly-2022-11...	138	11/9/2022
3.9.1.41027-nightly-2022-11...	135	11/8/2022
3.9.1.41027-nightly-2022-11...	147	11/7/2022
3.9.1.41027-nightly-2022-11...	155	11/6/2022
3.9.1.41027-nightly-2022-11...	164	11/5/2022
3.9.1.41027-nightly-2022-11...	130	11/4/2022
3.9.1.41027-nightly-2022-11...	216	11/3/2022
3.9.1.41027-nightly-2022-11...	220	11/2/2022
3.9.1.41027-nightly-2022-11...	221	11/2/2022
3.9.1.41027-nightly-2022-10...	219	10/31/2022
3.9.1.41027-nightly-2022-10...	198	10/29/2022
3.9.1.41027-nightly-2022-10...	220	10/28/2022
3.9.1.41027-nightly-2022-10...	219	10/27/2022
3.9.0.41003	814	10/3/2022
3.9.0.41003-nightly-2022-10...	252	10/27/2022
3.9.0.41003-nightly-2022-10...	210	10/26/2022
3.9.0.41003-nightly-2022-10...	193	10/25/2022
3.9.0.41003-nightly-2022-10...	222	10/24/2022
3.9.0.41003-nightly-2022-10...	226	10/23/2022
3.9.0.41003-nightly-2022-10...	226	10/22/2022
3.9.0.41003-nightly-2022-10...	235	10/21/2022
3.9.0.41003-nightly-2022-10...	250	10/20/2022
3.9.0.41003-nightly-2022-10...	245	10/19/2022
3.9.0.41003-nightly-2022-10...	226	10/18/2022
3.9.0.41003-nightly-2022-10...	214	10/16/2022
3.9.0.41003-nightly-2022-10...	245	10/15/2022
3.9.0.41003-nightly-2022-10...	244	10/14/2022
3.9.0.41003-nightly-2022-10...	233	10/13/2022
3.9.0.41003-nightly-2022-10...	228	10/12/2022
3.9.0.41003-nightly-2022-10...	204	10/11/2022
3.9.0.41003-nightly-2022-10...	264	10/10/2022
3.9.0.41003-nightly-2022-10...	239	10/9/2022
3.9.0.41003-nightly-2022-10...	223	10/8/2022
3.9.0.41003-nightly-2022-10...	228	10/7/2022
3.9.0.41003-nightly-2022-10...	211	10/6/2022
3.9.0.41003-nightly-2022-10...	220	10/5/2022
3.9.0.41003-nightly-2022-10...	211	10/4/2022
3.9.0.41003-nightly-2022-10...	216	10/3/2022
3.9.0.40930	778	10/3/2022
3.9.0.40930-nightly-2022-09...	232	9/30/2022
3.8.1.40901	564	9/1/2022
3.8.1.40901-nightly-2022-10...	229	10/3/2022
3.8.1.40901-nightly-2022-10...	241	10/2/2022
3.8.1.40901-nightly-2022-10...	248	10/1/2022
3.8.1.40901-nightly-2022-09...	212	9/30/2022
3.8.1.40901-nightly-2022-09...	253	9/29/2022
3.8.1.40901-nightly-2022-09...	233	9/28/2022
3.8.1.40901-nightly-2022-09...	224	9/27/2022
3.8.1.40901-nightly-2022-09...	215	9/26/2022
3.8.1.40901-nightly-2022-09...	258	9/25/2022
3.8.1.40901-nightly-2022-09...	219	9/24/2022
3.8.1.40901-nightly-2022-09...	230	9/23/2022
3.8.1.40901-nightly-2022-09...	253	9/22/2022
3.8.1.40901-nightly-2022-09...	217	9/21/2022
3.8.1.40901-nightly-2022-09...	215	9/20/2022
3.8.1.40901-nightly-2022-09...	239	9/19/2022
3.8.1.40901-nightly-2022-09...	266	9/18/2022
3.8.1.40901-nightly-2022-09...	239	9/17/2022
3.8.1.40901-nightly-2022-09...	216	9/16/2022
3.8.1.40901-nightly-2022-09...	227	9/15/2022
3.8.1.40901-nightly-2022-09...	271	9/14/2022
3.8.1.40901-nightly-2022-09...	219	9/13/2022
3.8.1.40901-nightly-2022-09...	211	9/12/2022
3.8.1.40901-nightly-2022-09...	228	9/11/2022
3.8.1.40901-nightly-2022-09...	214	9/10/2022
3.8.1.40901-nightly-2022-09...	218	9/9/2022
3.8.1.40901-nightly-2022-09...	231	9/8/2022
3.8.1.40901-nightly-2022-09...	241	9/8/2022
3.8.1.40901-nightly-2022-09...	213	9/7/2022
3.8.1.40901-nightly-2022-09...	213	9/7/2022
3.8.1.40901-nightly-2022-09...	212	9/7/2022
3.8.1.40901-nightly-2022-09...	221	9/6/2022
3.8.1.40901-nightly-2022-09...	207	9/5/2022
3.8.1.40901-nightly-2022-09...	210	9/2/2022
3.8.1.40901-nightly-2022-09...	216	9/1/2022
3.8.1.40901-nightly-2022-09...	196	9/1/2022
3.8.0.40823	567	8/23/2022
3.8.0.40823-nightly-2022-09...	224	9/1/2022
3.8.0.40823-nightly-2022-08...	211	8/31/2022
3.8.0.40823-nightly-2022-08...	234	8/30/2022
3.8.0.40823-nightly-2022-08...	223	8/29/2022
3.8.0.40823-nightly-2022-08...	206	8/28/2022
3.8.0.40823-nightly-2022-08...	225	8/27/2022
3.8.0.40823-nightly-2022-08...	225	8/26/2022
3.8.0.40823-nightly-2022-08...	222	8/25/2022
3.8.0.40823-nightly-2022-08...	206	8/24/2022
3.8.0.40823-nightly-2022-08...	222	8/23/2022
3.8.0.40823-nightly-2022-08...	215	8/23/2022
3.8.0.40822	580	8/22/2022
3.8.0.40822-nightly-2022-08...	223	8/23/2022
3.8.0.40822-nightly-2022-08...	230	8/22/2022
3.8.0.40729-nightly-2022-08...	236	8/22/2022
3.8.0.40729-nightly-2022-08...	223	8/21/2022
3.8.0.40729-nightly-2022-08...	220	8/20/2022
3.8.0.40729-nightly-2022-08...	242	8/19/2022
3.8.0.40729-nightly-2022-08...	219	8/18/2022

Total 81.3K

Current version 175

Per day average 121