From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 207097F168 for ; Fri, 28 Aug 2015 20:46:15 +0200 (CEST) IronPort-PHdr: 9a23:FC0unB32YHEjBbNesmDT+DRfVm0co7zxezQtwd8ZsegQLPad9pjvdHbS+e9qxAeQG96LsLQa1aGP6PyocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC1ILpiavroMGbSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6Lpyv/JHBK7zeqBwUKdVFi9uZ2s84cmusRjYUSOO4GEdWyMYiEwbLRLC6UTZU5H3vzf6/sNx0SzSGMzySb0uEWCh4qFtRQPogSsOMjs49GXakOR/iatapFSqoBkpkN2cW52cKPcrJvCVRtgdX2cUBss= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=kennethadammiller@gmail.com; spf=Pass smtp.mailfrom=kennethadammiller@gmail.com; spf=None smtp.helo=postmaster@mail-yk0-f178.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of kennethadammiller@gmail.com) identity=pra; client-ip=209.85.160.178; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kennethadammiller@gmail.com"; x-sender="kennethadammiller@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of kennethadammiller@gmail.com designates 209.85.160.178 as permitted sender) identity=mailfrom; client-ip=209.85.160.178; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kennethadammiller@gmail.com"; x-sender="kennethadammiller@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-yk0-f178.google.com) identity=helo; client-ip=209.85.160.178; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kennethadammiller@gmail.com"; x-sender="postmaster@mail-yk0-f178.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AoBAAErOBVm7KgVdFdhFgGgx2vDItTAYkyBz0PAQEBAQEBAQEQAQEBAQEGCwsJIS6CHYIfEQQZARseAxIJBzcCJAERAQUBIi4Hh3YBAxKgRIIFgS8+MYtAgWyCeYoBChknDVaEbwEFDpNPgUMFlT+Mc4FKjSeDQYRJgiASI4EXF4QqIjOCTQEBAQ X-IPAS-Result: A0AoBAAErOBVm7KgVdFdhFgGgx2vDItTAYkyBz0PAQEBAQEBAQEQAQEBAQEGCwsJIS6CHYIfEQQZARseAxIJBzcCJAERAQUBIi4Hh3YBAxKgRIIFgS8+MYtAgWyCeYoBChknDVaEbwEFDpNPgUMFlT+Mc4FKjSeDQYRJgiASI4EXF4QqIjOCTQEBAQ X-IronPort-AV: E=Sophos;i="5.17,426,1437429600"; d="scan'208";a="175230742" Received: from mail-yk0-f178.google.com ([209.85.160.178]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 28 Aug 2015 20:46:14 +0200 Received: by ykba134 with SMTP id a134so11399877ykb.1 for ; Fri, 28 Aug 2015 11:46:13 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:date:message-id:subject:from:to:content-type; bh=H9vnHwMKlLCJSanc2DXdqYPDUv9dlgecH6ctkwPiY4w=; b=akqB9gje660JlGbtije9yl+Z4KHK24vS42q8lps2SsXycuGSuyDPNLRYVXAwqNApjE yiGl/gsSTdCUIwe5Lb6iWXl7UY/6ZRGkNb7nwaywer56t1hRYEQo1kdDNqd7EsXSWKVc 6OERf1JUFVGyLasbTUQjVe4l42JIa5rAd6wdf0OlOIqQro0518Iq/mfIXjUBf7sceapE I3MaKoLpRSLnQCLNeYLBIGvc/pFMCsCB+/AMrsizT5VZFUAPn7XRXbWWzZwwtfG7feW7 0piXowvWbaLKh7ryl0cT7T34bBhQZzQnw8JD638LFxP2hBFg14/ajWFG49nAk5zWia71 W9SQ== MIME-Version: 1.0 X-Received: by 10.13.238.195 with SMTP id x186mr10149139ywe.168.1440787573043; Fri, 28 Aug 2015 11:46:13 -0700 (PDT) Received: by 10.37.69.215 with HTTP; Fri, 28 Aug 2015 11:46:13 -0700 (PDT) Date: Fri, 28 Aug 2015 14:46:13 -0400 Message-ID: From: Kenneth Adam Miller To: caml users Content-Type: multipart/alternative; boundary=94eb2c03536c7cfa7c051e637fb6 Subject: [Caml-list] Async_core and core in conflict --94eb2c03536c7cfa7c051e637fb6 Content-Type: text/plain; charset=UTF-8 So, in opam I've hit this problem - I need a package, but it's requirements conflict with another package that I have. Just typing opam install the_package will fail with "No package matches the_package". the_package is async_core I used the cudf solver farm remotely after hunting the bug, but as far as this goes, I don't know what to do because I don't have control over those packages or their versions. I can maybe update my version of core (if the upgrade is compatible with a package that I have that uses it). Any advise for the error below? The following dependencies couldn't be met: - async_core -> core = 109.35.00 | core = 109.36.00 | core = 109.37.00 | core = 109.38.00 | core = 109.40.00 | core = 109.41.00 | core = 109.42.00 | core = 109.45.00 | core = 109.47.00 | core = 109.53.01 | core = | core < 109.31.00 | core <= 109.31.00 -> pa_test = 109.53.00 -> core_kernel < 111.25.00 - async_core -> core = 109.35.00 | core = 109.36.00 | core = 109.37.00 | core = 109.38.00 | core = 109.40.00 | core = 109.41.00 | core = 109.42.00 | core = 109.45.00 | core = 109.47.00 | core = 109.53.01 | core = | core < 109.31.00 | core <= 109.31.00 -> custom_printf = - async_core -> pa_test = 109.53.00 | pa_test <= 109.53.02 -> core_kernel = | core_kernel < 111.25.00 - async_core -> zero = 109.21.00 -> core < 109.31.00 Your request can't be satisfied: - No package matches core.. - No package matches core_kernel.. - No package matches custom_printf.. - core<109.31.00 is not available because it requires OCaml >= 4.00.1 & < 4.01.0. - core_kernel<111.25.00 is not available because it requires OCaml >= 4.01.0 & < 4.02.1. No solution found, exiting --94eb2c03536c7cfa7c051e637fb6 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
So, in opam I've hit this problem - I need a package, = but it's requirements conflict with another package that I have. Just t= yping opam install the_package will fail with "No package matches the_= package". the_package is async_core

I used the cudf= solver farm remotely after hunting =C2=A0the bug, but as far as this goes,= I don't know what to do because I don't have control over those pa= ckages or their versions. I can maybe update my version of core (if the upg= rade is compatible with a package that I have that uses it).

=
Any advise for the error below?


The following dependencies couldn't be met:
=C2= =A0 - async_core -> core =3D 109.35.00 | core =3D 109.36.00 | core =3D 1= 09.37.00 | core =3D 109.38.00 | core =3D 109.40.00 | core =3D 109.41.00 | c= ore =3D 109.42.00 | core =3D 109.45.00 | core =3D 109.47.00 | core =3D 109.= 53.01 | core =3D <unavailable version> | core < 109.31.00 | core &= lt;=3D 109.31.00 -> pa_test =3D 109.53.00 -> core_kernel < 111.25.= 00
=C2=A0 - async_core -> core =3D 109.35.00 | core =3D 109.36= .00 | core =3D 109.37.00 | core =3D 109.38.00 | core =3D 109.40.00 | core = =3D 109.41.00 | core =3D 109.42.00 | core =3D 109.45.00 | core =3D 109.47.0= 0 | core =3D 109.53.01 | core =3D <unavailable version> | core < 1= 09.31.00 | core <=3D 109.31.00 -> custom_printf =3D <unavailable v= ersion>
=C2=A0 - async_core -> pa_test =3D 109.53.00 | pa_t= est <=3D 109.53.02 -> core_kernel =3D <unavailable version> | c= ore_kernel < 111.25.00
=C2=A0 - async_core -> zero =3D 109.= 21.00 -> core < 109.31.00
Your request can't be satisfi= ed:
=C2=A0 - No package matches core.<unavailable version>.=
=C2=A0 - No package matches core_kernel.<unavailable version&= gt;.
=C2=A0 - No package matches custom_printf.<unavailable ve= rsion>.
=C2=A0 - core<109.31.00 is not available because it= requires OCaml >=3D 4.00.1 & < 4.01.0.
=C2=A0 - core_k= ernel<111.25.00 is not available because it requires OCaml >=3D 4.01.= 0 & < 4.02.1.

No solution found, exiting
--94eb2c03536c7cfa7c051e637fb6--