diff options
| author | Aaron L. Zeng <me@bcc32.com> | 2022-05-28 00:48:07 -0400 |
|---|---|---|
| committer | Aaron L. Zeng <me@bcc32.com> | 2022-05-28 19:12:59 -0400 |
| commit | e9a407161256e3a958ef78345bf749ed228b6d5d (patch) | |
| tree | 1ca415bb9c4787a624584f8a673aaf67f5df23be /pkgs/development/tools/comby | |
| parent | 7902057a527586005bc5ff56eb09dee787d9d87a (diff) | |
comby: 1.7.0 -> 1.7.1
Diffstat (limited to 'pkgs/development/tools/comby')
| -rw-r--r-- | pkgs/development/tools/comby/default.nix | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/pkgs/development/tools/comby/default.nix b/pkgs/development/tools/comby/default.nix index 9b77740979e5f..cd3251841ad14 100644 --- a/pkgs/development/tools/comby/default.nix +++ b/pkgs/development/tools/comby/default.nix @@ -14,7 +14,7 @@ let mkCombyPackage = { pname, extraBuildInputs ? [ ], extraNativeInputs ? [ ], preBuild ? "" }: ocamlPackages.buildDunePackage rec { inherit pname preBuild; - version = "1.7.0"; + version = "1.7.1"; useDune2 = true; minimumOcamlVersion = "4.08.1"; doCheck = true; @@ -23,7 +23,7 @@ let owner = "comby-tools"; repo = "comby"; rev = version; - sha256 = "sha256-Y2RcYvJOSqppmxxG8IZ5GlFkXCOIQU+1jJZ6j+PBHC4"; + sha256 = "0k60hj8wcrvrk0isr210vnalylkd63ria1kgz5n49inl7w1hfwpv"; }; nativeBuildInputs = [ @@ -82,6 +82,7 @@ mkCombyPackage { ocamlPackages.parany ocamlPackages.conduit-lwt-unix ocamlPackages.lwt_react + ocamlPackages.tar-unix ocamlPackages.tls combyKernel combySemantic |