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 7F6327F0A3 for ; Tue, 1 Sep 2015 04:59:39 +0200 (CEST) IronPort-PHdr: 9a23:ziHj5xG4trJFEozn6iXa8J1GYnF86YWxBRYc798ds5kLTJ74ps2wAkXT6L1XgUPTWs2DsrQf27GQ7PqrBzNIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/njKbtodaNPE1hv3mUX/BbFF2OtwLft80b08NJC50a7V/3mEZOYPlc3mhyJFiezF7W78a0+4N/oWwL46pyv+YJa6jxfrw5QLpEF3xmdjltvIy4gyLeVhOC7WcwVWAfkxwAQ1SUrUKyYpCkgyLgsew1/SicJs7nBeQlXDWk9KR6YB3hjiocKyQ0/X2Rgct12vF1uhWk8j9yxYjZfIHdHfZ3e+v4fNceSHAJCsVcUSpMHoO1Y4IKCusFOetCh4b4rloK6xC5AF//V6vU1jZUiyqujuUB2OM7HFSDgVUt 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-qk0-f174.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.220.174; 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.220.174 as permitted sender) identity=mailfrom; client-ip=209.85.220.174; 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-qk0-f174.google.com) identity=helo; client-ip=209.85.220.174; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kennethadammiller@gmail.com"; x-sender="postmaster@mail-qk0-f174.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CxAQDME+VVlK7cVdFdg29pBoMdqjSQJ4IrhXsCgScHPBABAQEBAQEBARABAQEBBwsLCR8wgh2CBgEBAQMBEhEdARsSCwEDAQsGBQQHAwoNHQICIQEBEQEFAQoSBhMSEId2AQMKCA2jUoEvPjGLQIFsgnmKNgoZJwMKVoQ/AQEBAQEBBAEBAQEBAQEBFAEFDoZjhHmCT4I4BAeCaYFDBYV0DI9BhQeGAYFtgUpGjGGDRnmFcBIjgRcRBoIeHIFwIjOCTQEBAQ X-IPAS-Result: A0CxAQDME+VVlK7cVdFdg29pBoMdqjSQJ4IrhXsCgScHPBABAQEBAQEBARABAQEBBwsLCR8wgh2CBgEBAQMBEhEdARsSCwEDAQsGBQQHAwoNHQICIQEBEQEFAQoSBhMSEId2AQMKCA2jUoEvPjGLQIFsgnmKNgoZJwMKVoQ/AQEBAQEBBAEBAQEBAQEBFAEFDoZjhHmCT4I4BAeCaYFDBYV0DI9BhQeGAYFtgUpGjGGDRnmFcBIjgRcRBoIeHIFwIjOCTQEBAQ X-IronPort-AV: E=Sophos;i="5.17,446,1437429600"; d="scan'208";a="175519116" Received: from mail-qk0-f174.google.com ([209.85.220.174]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 01 Sep 2015 04:59:38 +0200 Received: by qkct7 with SMTP id t7so28046147qkc.1 for ; Mon, 31 Aug 2015 19:59:37 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=xEQhBWbe+5GagchTzfI+NG5b/UVbPTIAsM0gixiB1KU=; b=NXzsTT3YCqtsjHn0vQxrvRuopU5Ap16a3F0EmZvn1d5EOuY4ILkOD7lx/qxdtHeObQ Id6MhfxUEDz4cc2wDpQp7qkjzyK/QD3Nnx7xSSqSinwL0WKeakJfSz/WC+P7wGCbTusu LjPPHCH5fn++/nNBYPC3v1ChhUkcnK/nrgBi3ZlVgcc1fmWYIVFck0Qhknb5BP3FvvWN Vls9Opqm8GZKCNFfdj7xzcD8uHbaSuFguPXaWlSXvc0IvHywe9b6rBgA8U0bmEk35DEX QNhdO1Fn/6O0zuKdRAeS0NZKpnKbY7l4QQ8TmlsNDryk/nmG2XWirc7z3mo+9snfJ08h 5rDA== MIME-Version: 1.0 X-Received: by 10.13.239.2 with SMTP id y2mr24303961ywe.87.1441076377366; Mon, 31 Aug 2015 19:59:37 -0700 (PDT) Received: by 10.37.69.215 with HTTP; Mon, 31 Aug 2015 19:59:37 -0700 (PDT) In-Reply-To: References: Date: Mon, 31 Aug 2015 22:59:37 -0400 Message-ID: From: Kenneth Adam Miller To: Yaron Minsky Cc: Anil Madhavapeddy , caml users Content-Type: multipart/alternative; boundary=94eb2c0350589134c7051ea6bd28 Subject: Re: [Caml-list] Async_core and core in conflict --94eb2c0350589134c7051ea6bd28 Content-Type: text/plain; charset=UTF-8 Oh, I forgot to tell everybody that I got it working by doing what anil said. On Mon, Aug 31, 2015 at 10:42 PM, Yaron Minsky wrote: > In particular, Async_kernel has supplanted Async_core. > > y > > On Fri, Aug 28, 2015 at 3:18 PM, Anil Madhavapeddy > wrote: > > On 28 Aug 2015, at 19:46, Kenneth Adam Miller < > kennethadammiller@gmail.com> wrote: > >> > >> 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? > > > > Async_core was deprecated some time ago, and is no longer part of the > Core suit as far as I know. Have you tried simply uninstalling Async_core > to remove the dependency, and then install the package you want? > > > > -anil > > > > > > -- > > Caml-list mailing list. Subscription management and archives: > > https://sympa.inria.fr/sympa/arc/caml-list > > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > > Bug reports: http://caml.inria.fr/bin/caml-bugs > --94eb2c0350589134c7051ea6bd28 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Oh, I forgot to tell everybody that I got it working by do= ing what anil said.

On Mon, Aug 31, 2015 at 10:42 PM, Yaron Minsky &l= t;yminsky@janes= treet.com> wrote:
In parti= cular, Async_kernel has supplanted Async_core.

y

On Fri, Aug 28, 2015 at 3:18 PM, Anil Madhavapeddy <anil@recoil.org> wrote:
> On 28 Aug 2015, at 19:46, Kenneth Adam Miller <kennethadammiller@gmail.com> wrote:
>>
>> So, in opam I've hit this problem - I need a package, but it&#= 39;s requirements conflict with another package that I have. Just typing op= am install the_package will fail with "No package matches the_package&= quot;. the_package is async_core
>>
>> I used the cudf solver farm remotely after hunting=C2=A0 the bug, = but as far as this goes, I don't know what to do because I don't ha= ve control over those packages or their versions. I can maybe update my ver= sion of core (if the upgrade is compatible with a package that I have that = uses it).
>>
>> Any advise for the error below?
>
> Async_core was deprecated some time ago, and is no longer part of the = Core suit as far as I know.=C2=A0 Have you tried simply uninstalling Async_= core to remove the dependency, and then install the package you want?
>
> -anil
>
>
> --
> Caml-list mailing list.=C2=A0 Subscription management and archives:
> https://sympa.inria.fr/sympa/arc/caml-list
> Beginner's list: http://groups.yahoo.com/group= /ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs

--94eb2c0350589134c7051ea6bd28--