core_kernel: 112.24.00 -> 112.24.00/113.33.03

PPX/P4 split
This commit is contained in:
Matthew Maurer
2016-09-13 20:47:31 -04:00
parent 5ce22cb05e
commit a6f8b1f9ff
4 changed files with 26 additions and 5 deletions

View File

@@ -1,4 +1,4 @@
{stdenv, buildOcaml, fetchurl, core_kernel,
{stdenv, buildOcaml, fetchurl, core_kernel_p4,
bin_prot_p4, fieldslib_p4, pa_ounit, pa_test,
sexplib_p4, herelib}:
@@ -14,7 +14,7 @@ buildOcaml rec {
};
buildInputs = [ pa_test pa_ounit ];
propagatedBuildInputs = [ core_kernel bin_prot_p4 fieldslib_p4 herelib sexplib_p4 ];
propagatedBuildInputs = [ core_kernel_p4 bin_prot_p4 fieldslib_p4 herelib sexplib_p4 ];
meta = with stdenv.lib; {
homepage = https://github.com/janestreet/async_kernel;