Merge pull request #199185 from wegank/ocaml-4.09-broken

This commit is contained in:
Martin Weinelt 2022-11-07 02:31:24 +01:00 committed by GitHub
commit 59518c6eb8
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -138,7 +138,7 @@ stdenv.mkDerivation (args // {
'';
platforms = with platforms; linux ++ darwin;
broken = stdenv.isAarch64 && lib.versionOlder version "4.06";
broken = stdenv.isAarch64 && lib.versionOlder version (if stdenv.isDarwin then "4.10" else "4.06");
};
})