Commit bef55841 authored by R. RyanTM's avatar R. RyanTM Committed by Jonathan Ringer
Browse files

boogie: 3.0.5 -> 3.0.6

parent 3184225f

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

  version = "3.0.6";



  src = fetchFromGitHub {

    owner = "boogie-org";

    repo = "boogie";

    rev = "v${version}";

    sha256 = "sha256-KciQakwus7cKjtfp5x8nDV7bbTXlzILcL3ivCJAV6Vk=";

    sha256 = "sha256-A/nshihI1DxV0mvYYDLPWTNQkuduppxNC7OyWuGNCD8=";

  };



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