Unverified Commit 16d828d0 authored by Weijia Wang's avatar Weijia Wang Committed by GitHub
Browse files

Merge pull request #283140 from r-ryantm/auto-update/boogie 

boogie: 3.0.9 -> 3.0.10
parents 43ced8e5 0d73a93c

pkgs/by-name/bo/boogie/package.nix

+2 −2
Original line number Diff line number Diff line
@@ -2,13 +2,13 @@ 


buildDotnetModule rec {

  pname = "Boogie";

  version = "3.0.9";

  version = "3.0.10";



  src = fetchFromGitHub {

    owner = "boogie-org";

    repo = "boogie";

    rev = "v${version}";

    sha256 = "sha256-8hujTiUO62yfv3T/Fu5unTuvJXLGgn9BXoCA2oag3jQ=";

    sha256 = "sha256-0E4yAVNWJC67vX0DTQj1ZH7T6JKOgE0BDf6u0V0QvFA=";

  };



  projectFile = [ "Source/Boogie.sln" ];