DafnyLanguageServer 3.9.0.41003-nightly-2022-10-22-cd54451

net6.0

• DafnyCore (>= 3.9.0.41003-nightly-2022-10-22-cd54451)
• 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)
• OmniSharp.Extensions.LanguageServer (>= 0.19.5)
• RangeTree (>= 3.0.1)
• Serilog (>= 2.10.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)