Skip to content

Commit

Permalink
gtirb-semantics: unstable-2024-02-05 -> unstable-2024-02-07
Browse files Browse the repository at this point in the history
  • Loading branch information
github-actions[bot] committed Feb 7, 2024
1 parent 46819bf commit 794ad75
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions gtirb/gtirb-semantics.nix
Original file line number Diff line number Diff line change
Expand Up @@ -39,13 +39,13 @@ let
in
buildDunePackage {
pname = "gtirb_semantics";
version = "unstable-2024-02-05";
version = "unstable-2024-02-07";

src = fetchFromGitHub {
owner = "UQ-PAC";
repo = "gtirb-semantics";
rev = "f40b4a1f83667df55fc5450c1ce5c16729a70e81";
sha256 = "sha256-VRcG24lkCmiCvMcpLZnaxJg2/3bK14wYvjfb6Y+sLuI=";
rev = "a05cf71fda9892279853e24d22a03d8c0f7ceafc";
sha256 = "sha256-sWjyyOJ6EM1yOzF+jMJqkNAErlUrCMiaKTixThIzjlU=";
};

buildInputs = [ python' asli ocaml-hexstring ocaml-protoc-plugin yojson ];
Expand Down

0 comments on commit 794ad75

Please sign in to comment.