pyrox.dev
Merge pull request #306423 from r-ryantm/auto-update/boogie
boogie: 3.1.4 -> 3.1.5
authored by Weijia Wang and committed by GitHub 94b66826 6c410ed2
+2
-2
pkgs/by-name/bo/boogie/package.nix
+2
-2
pkgs/by-name/bo/boogie/package.nix
···
2
2
3
3
buildDotnetModule rec {
4
4
pname = "Boogie";
5
-
version = "3.1.4";
5
+
version = "3.1.5";
6
6
7
7
src = fetchFromGitHub {
8
8
owner = "boogie-org";
9
9
repo = "boogie";
10
10
rev = "v${version}";
11
-
sha256 = "sha256-XKggNmyhY3ZwbmMvi78MPz36iulW1QPJRENW/LGgdts=";
11
+
sha256 = "sha256-/6x4NzlSJ2uswVlfFpevXaQxUxPnh3KvnbPIb8SFX9E=";
12
12
};
13
13
14
14
projectFile = [ "Source/Boogie.sln" ];