DafnyLanguageServer 3.8.1.40901-nightly-2022-09-13-8a66485

net6.0

• DafnyDriver (>= 1.0.0-nightly-2022-09-13-8a66485)
• DafnyPipeline (>= 3.8.0.40729-nightly-2022-09-13-8a66485)
• DafnyServer (>= 1.1.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)
• 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)