Unverified Commit 3f9134ff authored by Weijia Wang's avatar Weijia Wang Committed by GitHub
Browse files

boogie: 3.2.4 -> 3.2.5 (#344952)

parents 5d0c0de5 52deb99a

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.2.4";

  version = "3.2.5";



  src = fetchFromGitHub {

    owner = "boogie-org";

    repo = "boogie";

    rev = "v${version}";

    hash = "sha256-wpMENrhfD8+bt66gd29xkfLANcMbPpkzDacj0KPuXT4=";

    hash = "sha256-36aGVJEzaAwQgR11NI+v8c4cXm24iiXtiwjW6qd3qsE=";

  };



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