Update Boogie version

boogie-org · Sep 25, 2023 · cfabd49 · cfabd49
1 parent 2cbd6db
commit cfabd49
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Source/Directory.Build.props b/Source/Directory.Build.props
@@ -2,7 +2,7 @@
 
   <!-- Target framework and package configuration -->
   <PropertyGroup>
-    <Version>3.0.4</Version>
+    <Version>3.0.5</Version>
     <TargetFramework>net6.0</TargetFramework>
     <GeneratePackageOnBuild>false</GeneratePackageOnBuild>
     <Authors>Boogie</Authors>