DafnyCore 4.2.0-nightly-2023-09-03-4aa2b2c

net6.0

• Boogie.ExecutionEngine (>= 3.0.0)
• DafnyRuntime (>= 4.2.0-nightly-2023-09-03-4aa2b2c)
• JetBrains.Annotations (>= 2021.1.0)
• Microsoft.CodeAnalysis.CSharp (>= 3.7.0)
• Microsoft.Extensions.FileSystemGlobbing (>= 5.0.0)
• Microsoft.Extensions.Logging.Abstractions (>= 5.0.0)
• System.Collections.Immutable (>= 1.7.0)
• System.CommandLine (>= 2.0.0-beta4.22272.1)
• System.Runtime.Numerics (>= 4.3.0)
• Tomlyn (>= 0.16.2)