DafnyDriver 4.10.1-nightly-2025-03-13-a10810f

net8.0

• DafnyCore (>= 4.10.1-nightly-2025-03-13-a10810f)
• DafnyLanguageServer (>= 4.10.1-nightly-2025-03-13-a10810f)
• DafnyTestGeneration (>= 4.10.1-nightly-2025-03-13-a10810f)
• Microsoft.TestPlatform.Extensions.TrxLogger (>= 17.9.0)
• Microsoft.TestPlatform.TestHost (>= 17.9.0)
• Newtonsoft.Json (>= 13.0.3)
• 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)