tjh.dev
Merge pull request #260431 from r-ryantm/auto-update/boogie
boogie: 3.0.4 -> 3.0.5
authored by Weijia Wang and committed by GitHub 019abf2a 6301c031
+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.0.4";
5
+
version = "3.0.5";
6
6
7
7
src = fetchFromGitHub {
8
8
owner = "boogie-org";
9
9
repo = "boogie";
10
10
rev = "v${version}";
11
-
sha256 = "sha256-yebThnIOpZ5crYsSZtbDj8Gn6DznTNJ4T/TsFR3gWvs=";
11
+
sha256 = "sha256-KciQakwus7cKjtfp5x8nDV7bbTXlzILcL3ivCJAV6Vk=";
12
12
};
13
13
14
14
projectFile = [ "Source/Boogie.sln" ];