Skip to content

Commit

Permalink
ocamlPackages.cooltt: use Dune 3
Browse files Browse the repository at this point in the history
  • Loading branch information
vbgl committed Mar 22, 2023
1 parent 88365c9 commit 6ddbe68
Showing 1 changed file with 5 additions and 1 deletion.
6 changes: 5 additions & 1 deletion pkgs/development/ocaml-modules/cooltt/default.nix
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,7 @@
, cmdliner
, containers
, ezjsonm
, findlib
, menhir
, menhirLib
, ppx_deriving
Expand All @@ -28,7 +29,9 @@ let
sha256 = "sha256:15v1cggm7awp11iwl3lzpaar91jzivhdxggp5mr48gd28kfipzk2";
};

propagatedBuildInputs = [ ezjsonm ];
duneVersion = "3";

propagatedBuildInputs = [ ezjsonm findlib ];

meta = {
description = "Extensible Library Management and Path Resolution";
Expand Down Expand Up @@ -63,6 +66,7 @@ buildDunePackage {
version = "unstable-2022-04-28";

minimalOCamlVersion = "4.13";
duneVersion = "3";

src = fetchFromGitHub {
owner = "RedPRL";
Expand Down

0 comments on commit 6ddbe68

Please sign in to comment.