ocamlPackages.cooltt: use Dune 3
This commit is contained in:
parent
88365c995a
commit
6ddbe68bd6
|
@ -6,6 +6,7 @@
|
|||
, cmdliner
|
||||
, containers
|
||||
, ezjsonm
|
||||
, findlib
|
||||
, menhir
|
||||
, menhirLib
|
||||
, ppx_deriving
|
||||
|
@ -28,7 +29,9 @@ let
|
|||
sha256 = "sha256:15v1cggm7awp11iwl3lzpaar91jzivhdxggp5mr48gd28kfipzk2";
|
||||
};
|
||||
|
||||
propagatedBuildInputs = [ ezjsonm ];
|
||||
duneVersion = "3";
|
||||
|
||||
propagatedBuildInputs = [ ezjsonm findlib ];
|
||||
|
||||
meta = {
|
||||
description = "Extensible Library Management and Path Resolution";
|
||||
|
@ -63,6 +66,7 @@ buildDunePackage {
|
|||
version = "unstable-2022-04-28";
|
||||
|
||||
minimalOCamlVersion = "4.13";
|
||||
duneVersion = "3";
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "RedPRL";
|
||||
|
|
Loading…
Reference in a new issue