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 791CF8239C for ; Wed, 14 Feb 2018 19:28:10 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=tim@ryanleonard.us; spf=None smtp.mailfrom=tim@ryanleonard.us; spf=None smtp.helo=postmaster@mail-yw0-f182.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of tim@ryanleonard.us) identity=pra; client-ip=209.85.161.182; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="tim@ryanleonard.us"; x-sender="tim@ryanleonard.us"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of tim@ryanleonard.us) identity=mailfrom; client-ip=209.85.161.182; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="tim@ryanleonard.us"; x-sender="tim@ryanleonard.us"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-yw0-f182.google.com) identity=helo; client-ip=209.85.161.182; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="tim@ryanleonard.us"; x-sender="postmaster@mail-yw0-f182.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AKVOGUxKugbk6U04uc9mcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgRLPXxwZ3uMQTl6Ol3ixeRBMOHs6kC07KempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9JDffwtFiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+?= =?us-ascii?q?RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLd?= =?us-ascii?q?QgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QKsqUjq+8ahkVB7oiD?= =?us-ascii?q?8GNzEn9mHXltdwh79frB64uhBz35LYbISTOfFjfK3SYMkaSHJaXslNWCNPH4Oy?= =?us-ascii?q?YIkBAeQCM+ZWsY7zqkAUoheiAAmhHuPvxiNWinLwwKY00/4hEQbD3AE4AdwOsX?= =?us-ascii?q?HUp8jzOqgMVuC1yrPHzS/eYPhL3jrz9onIchU6rP+SXLJwdMzfxlcoFwPDlFqQ?= =?us-ascii?q?s5HqMymI1uQWqmWW6fdrW+G3i2M/tQ19vjyiyt0vh4TJnI4Z11HJ+ThjzIooJt?= =?us-ascii?q?C0VlZ3bNykHZdKqi2XOYR7Ttk/T2xmoio21KEKtJimdyYQ0psn3QTQa/mffoiI?= =?us-ascii?q?/B3jUOGRLC99hH1/ebK/gw++8Eiuy+HgT8W03ktGoylbntXWuXAN0BvT6seDSv?= =?us-ascii?q?Rj5EuuxTGP1wXL5uFFJ0A7i7bbJoY/zrIskpcfq0fOEy/slEnrjaKaa18o9vWr?= =?us-ascii?q?5uj5ernmo4WTN45wigHwKKQuncm/DPwkMggPWmiW4v681b358k3/RLVFkPo2kq?= =?us-ascii?q?/Dv5DAOMsXvLO5AxRN3oY59xm/Fyum0MgfnXQfMF1KYheHj4zwN1HKIfD4Fuu/?= =?us-ascii?q?jk+3kDZrwvDGJqfuDo/MLnjFirfhfKxy51RSyAopnphj4MdfA7QFZfbyQVO54N?= =?us-ascii?q?fRCxt8Nw2v387mDs9838UQQzTcLLWeNfbusFrAwu8oJeCWaMdBhDf4A8Qk4trj?= =?us-ascii?q?inkwg1NbYLL/jshfU2yxAvkzexbRWnHrmNpUVD5S5lNvHtyvs0WLVHtoX1j3Wq?= =?us-ascii?q?s94j8hD4f/U9XZV4mrhLGG2i6hEttLfTIeUwzeITLTb4yBHsw0RmeKOMY4zG4e?= =?us-ascii?q?RLGnT4Im0xi0uEnn0Og/d7eGymgjrZvmkeNNyajTmBU1r2ImCs2c1yScUDkxkD?= =?us-ascii?q?pYHXk526dwpUE7wVCGg/B1?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D8BQDKfoRahrahVdFdHAEBAQQBAQoBA?= =?us-ascii?q?YJagU6BKJwNgVsngReQZ4VbgTkDZog6GQYFMhYBAgEBAQEBAQEBARIBAQEICws?= =?us-ascii?q?IKC+COCQBgkYBAQICAUABATcBBAsBCgQULjQBBQEcBhOKLQijA0CLKYMVgwsBA?= =?us-ascii?q?QWBb4QAghMLAQEBARsICQEIhHCCFVSDFAyCeYhqgjSTaYZDiggJgUaUTYwdEYg?= =?us-ascii?q?JlEyDIAIEAgQFAgYUJYEXJgOBf001QCoBghs/ggcPHIIkWgGNZQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0D8BQDKfoRahrahVdFdHAEBAQQBAQoBAYJagU6BKJwNgVs?= =?us-ascii?q?ngReQZ4VbgTkDZog6GQYFMhYBAgEBAQEBAQEBARIBAQEICwsIKC+COCQBgkYBA?= =?us-ascii?q?QICAUABATcBBAsBCgQULjQBBQEcBhOKLQijA0CLKYMVgwsBAQWBb4QAghMLAQE?= =?us-ascii?q?BARsICQEIhHCCFVSDFAyCeYhqgjSTaYZDiggJgUaUTYwdEYgJlEyDIAIEAgQFA?= =?us-ascii?q?gYUJYEXJgOBf001QCoBghs/ggcPHIIkWgGNZQEBAQ?= X-IronPort-AV: E=Sophos;i="5.46,513,1511823600"; d="scan'208,217";a="313605458" Received: from mail-yw0-f182.google.com ([209.85.161.182]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 14 Feb 2018 19:28:08 +0100 Received: by mail-yw0-f182.google.com with SMTP id b16so15413263ywh.12 for ; Wed, 14 Feb 2018 10:28:08 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ryanleonard-us.20150623.gappssmtp.com; s=20150623; h=sender:mime-version:subject:from:in-reply-to:date:cc:message-id :references:to; bh=unB+zaCjetQSDPoN+ile4tsa7wV7AnlKuZ/nCkUlk/o=; b=W+e2fJlY8DYmvg61NOqAH/M2lTXuZVjUT434Jye2q/gs/5JEFQGoh9c4uLMPF/MJPK Zp4/jr2GMKw8/i940wW/ttMIlgaZtV4QzYsDyS/AgqNun2Oklfgpscq/+LjpufFchlEH 7qmFYVD7s4FE2xcZZgMXaZ7VRZxvFrkigoH2YVNo+a+a6XqkobUOzIzBdz6JwcchgZIk CQoQRbITgeAgdvlWx6IA9O/kIkg1wc6qi/DwalZIkec0d5paqRgb8Z46P4P9yb0AkIXA 3Z4t6gw5yqPdYqOIDnqbprHXsCJAN1Bee9zcn4uuFjc6DNTW2gfQd7tbYfV68I2E7d2b mCsA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:sender:mime-version:subject:from:in-reply-to :date:cc:message-id:references:to; bh=unB+zaCjetQSDPoN+ile4tsa7wV7AnlKuZ/nCkUlk/o=; b=HJK5mb9IhS+eaerXq+I0FGLwN9V0kWWKeuNKvtR8GrJ6pJXDeJXCP5kYckyuP+R0vV IJbER5ZyXzKO6vt9jmlXiP0Iqy5cKEmZ9A29rJBCXkMnjcbqze6QhcQE05Ob1v4BwEQ+ HLWJBd5ZF1kOF/xJJV8DUiW1useiotI8t2+VZbvuV2UEvVj19ml90uYxapIwWFi/WGFv CFNZd+pzTVpg9Fy1GeT5OPf7texsNIFpb7C4LsPnjDH6rNc7b7HtM5TAnw7YYTFB6tgR euVnNlHnVuyibWo2QY3ZDPAdspEyF2Gd8n5y/2SNTQ03xNR/b3M1qgBZA13ueGVBVVSk ltQA== X-Gm-Message-State: APf1xPAtDyLPIQ6vMxn5m/gLcr391z3enIEZvCbWZsgAMTuC8UEMtG1M wtMcktR42CpgNz+IcXsHJjpncCbSmSg= X-Google-Smtp-Source: AH8x225ZQXteFqayryhXIVd9jKLLV2XYDtH/GJZbKBEen98y3fVSnMFoHOEToeizqCVQMB0jD4XSHw== X-Received: by 10.37.221.69 with SMTP id u66mr117783ybg.113.1518632887211; Wed, 14 Feb 2018 10:28:07 -0800 (PST) Received: from [10.0.1.3] ([75.134.13.20]) by smtp.gmail.com with ESMTPSA id n189sm5030063ywc.93.2018.02.14.10.28.05 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 14 Feb 2018 10:28:05 -0800 (PST) Sender: Tim Leonard Content-Type: multipart/alternative; boundary="Apple-Mail=_633480C7-E030-45AE-BD9F-A2E378103EE5" Mime-Version: 1.0 (Mac OS X Mail 11.2 \(3445.5.20\)) From: Tim Leonard In-Reply-To: Date: Wed, 14 Feb 2018 13:28:04 -0500 Cc: Xavier Clerc Message-Id: References: <520e5733-b31b-5f65-d878-9d8de4a5f90a@bioreg.kyushu-u.ac.jp> <4B06513F-63F8-4743-A1A2-DD8CB7D7DDDB@TimLeonard.us> <336C66CC-DAED-4E7F-9D62-7BB4E5FEB82C@TimLeonard.us> To: caml-list X-Mailer: Apple Mail (2.3445.5.20) Subject: Re: [Caml-list] why does "opam install graphics" fail? --Apple-Mail=_633480C7-E030-45AE-BD9F-A2E378103EE5 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset=us-ascii Yes, but `opam install graphics` did fail. > On Feb 14, 2018, at 12:31 PM, Xavier Clerc wrote: > > Wait, if `opam install graphics` does not fail, > it probably means that graphics is actually > installed. --Apple-Mail=_633480C7-E030-45AE-BD9F-A2E378103EE5 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=us-ascii Yes, but `opam install = graphics` did fail.


On Feb 14, 2018, at 12:31 P= M, Xavier Clerc <xcl= erc@janestreet.com> wrote:

Wait, if `opam install gr= aphics` does not fail,
it probably means that graphics is actually
installed.

= --Apple-Mail=_633480C7-E030-45AE-BD9F-A2E378103EE5--