Skip to content

Commit d55db6d

Browse files
authored
Merge pull request #49 from katrinafyi/katrinafyi-patch-1
gtirb-semantics: use ocaml 4
2 parents 8cc1dc6 + 2a46973 commit d55db6d

File tree

2 files changed

+1
-3
lines changed

2 files changed

+1
-3
lines changed

aslp/aslp_client_server_ocaml.nix

-2
Original file line numberDiff line numberDiff line change
@@ -12,8 +12,6 @@ buildDunePackage {
1212
pname = "aslp_client_server_ocaml";
1313
version = "0.1.1-unstable-2025-02-04";
1414

15-
minimalOCamlVersion = "5.0";
16-
1715
src = fetchFromGitHub {
1816
owner = "UQ-PAC";
1917
repo = "aslp-rpc";

gtirb/overlay.nix

+1-1
Original file line numberDiff line numberDiff line change
@@ -50,7 +50,7 @@ final: prev:
5050

5151
};
5252

53-
inherit (final.ocamlPackages_pac_5) gtirb-semantics;
53+
inherit (final.ocamlPackages_pac) gtirb-semantics;
5454

5555
proto-json = prev.callPackage ./proto-json.nix { };
5656

0 commit comments

Comments
 (0)