Commit f4fdbb70 authored by R. RyanTM's avatar R. RyanTM
Browse files

boogie: 3.5.3 -> 3.5.4

parent ed341aab

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

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


buildDotnetModule rec {

  pname = "Boogie";

  version = "3.5.3";

  version = "3.5.4";



  src = fetchFromGitHub {

    owner = "boogie-org";

    repo = "boogie";

    tag = "v${version}";

    hash = "sha256-PufQJQd678ZuekLf9O27lR3U6MdQaHIsheO5jggYBNY=";

    hash = "sha256-aTt8lZgGRp+9rFldEJUWlXHosjhRhgj/jfb+N7s1E7I=";

  };



  dotnet-sdk = dotnetCorePackages.sdk_8_0;