b12f/nixpkgs
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

Merge pull request #175210 from bcc32/comby-171

Browse source 
comby: 1.7.0 -> 1.7.1
This commit is contained in:
Mario Rodas 2022-06-16 23:19:14 -05:00 committed by GitHub
parent c9ba04ce8c e9a4071612
commit ba550ec08d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
pkgs/development/tools/comby/default.nix
View file

@ -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