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 1E70A7F919 for ; Sat, 21 May 2016 22:32:31 +0200 (CEST) IronPort-PHdr: 9a23:OJrEcRfVs48TK4Ndrx1FFrqtlGMj4u6mDksu8pMizoh2WeGdxc69Yx7h7PlgxGXEQZ/co6odzbGG4ua7BydZvcrJmUtBWaIPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3BPAZ4bt74BpTVx5zukbviqtuIPU4R2Gb1SIgxBSv1hD2ZjtMRj4pmJ/R54TryiVwMRd5rw3h1L0mYhRf265T41pdi9yNNp6BprJYYAu3SNp41Rr1ADTkgL3t9pIiy7UGCHkOz4S42W2UTmxwAJg/b5QjzRN+lmCL6s+N78COTPcj/S7VyUjOnufRFUhjt3QQONDc17SmDicVzha5G5hKoqRV5yojdSI6QPft6OKjaeIVJFiJ6Qs9NWnkZUcuHZIwVAr9EZL4Aog== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=kakadu.hafanana@gmail.com; spf=Pass smtp.mailfrom=kakadu.hafanana@gmail.com; spf=None smtp.helo=postmaster@mail-vk0-f42.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of kakadu.hafanana@gmail.com) identity=pra; client-ip=209.85.213.42; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kakadu.hafanana@gmail.com"; x-sender="kakadu.hafanana@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of kakadu.hafanana@gmail.com designates 209.85.213.42 as permitted sender) identity=mailfrom; client-ip=209.85.213.42; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kakadu.hafanana@gmail.com"; x-sender="kakadu.hafanana@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-vk0-f42.google.com) identity=helo; client-ip=209.85.213.42; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kakadu.hafanana@gmail.com"; x-sender="postmaster@mail-vk0-f42.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BpAQCixEBXfyrVVdFcg1U4fQauY4sVAQ2BdR6FcwKBHQc4FAEBAQEBAQEBEQEBCQsLCSEvgi2CFgEBBBIRHQEbHQEDDAYFCw0CAiYCAiIBEQEFARwGEwgah3IBAxcOpHmBMT4xizuBaoJYBYcqChknDVKDZAEBAQEBAQQBAQEBARoCBhBxiVQfh0CCWQEEjlWJYoIdg2OIIII3dotvjg0SHoEPHgEBgjuBdzkyiUABAQE X-IPAS-Result: A0BpAQCixEBXfyrVVdFcg1U4fQauY4sVAQ2BdR6FcwKBHQc4FAEBAQEBAQEBEQEBCQsLCSEvgi2CFgEBBBIRHQEbHQEDDAYFCw0CAiYCAiIBEQEFARwGEwgah3IBAxcOpHmBMT4xizuBaoJYBYcqChknDVKDZAEBAQEBAQQBAQEBARoCBhBxiVQfh0CCWQEEjlWJYoIdg2OIIII3dotvjg0SHoEPHgEBgjuBdzkyiUABAQE X-IronPort-AV: E=Sophos;i="5.26,346,1459807200"; d="scan'208";a="219188356" Received: from mail-vk0-f42.google.com ([209.85.213.42]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 21 May 2016 22:32:30 +0200 Received: by mail-vk0-f42.google.com with SMTP id c189so182043643vkb.1 for ; Sat, 21 May 2016 13:32:30 -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; bh=LnbVsIly4vqZtTUDrOoHuLfOcZodGwgA+Vnev/lLCqo=; b=nTYZ70jS+hgkIMrdAAw0jZKjMI1RUc8Rdduk4G5zuVN95zp5nopOOOH6Rh4ID8x4cZ VUFzjHRFfK3Tzd8a2j24kLBYx5n4xvJ6wn0q/rfVpFJdbU8A02GGpVgEZjOgpQh3n55V ftru9OvtMFQ7qP9dSuFfDDEgH7iuRVhRoMxYeTmuRuXt/ZhRrPoQbhZ7YKBfE8BZ704z 479WC6vO3RW3YTfcgN/9NMWcvEIPRgtyTsIl5AISY/6fy/EurOvZwCrIEr6Md2Ql22sN kAFuNUVFNjIW2tsfjnxWMFw808yfsRPV5mv6ZTfzjYVYpDli1QevTuAz2+cv+0vQ7xS3 hJmg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:date :message-id:subject:from:to:cc; bh=LnbVsIly4vqZtTUDrOoHuLfOcZodGwgA+Vnev/lLCqo=; b=k4mJQd9R2RvVZXG90j1AY8owR+Ju2YsJnboKQhmVobyWeJQSEeu+mvBb7k9m4eBfb9 2hni1CEYqzqHDlOwRIVHpMu1A6df2x1RXDK4A8lzy4D/souEcvkntqXiEhogRV7ppFYR niFQ1RtzXrhi/HWAL6Iw7Ok0o+OSkAsseQ2vwLFk0ymbOTEsJeXVKExbhJi2QHgfW+uf L8NL9xKuG58Rh6kLbDFA4Fl2d9Wz9950tAnZftKdm/t3ry+TQ+BuV2r5wuvGjWzhaQqE adTaf0vh+3O4yTXaNJTE88NQ+8SGClEwB++gF4FZylA8mIOx6NxaN+fIS1H74LvCEycY se1A== X-Gm-Message-State: AOPr4FVuTkhHSXaj1WHKAK9bBdoE6JTXb9MyHPVJ6tizLOz66m9RCTnxGb9gMK+qEIzgB/wgRyeRCIj0u5j4RQ== MIME-Version: 1.0 X-Received: by 10.31.236.65 with SMTP id k62mr4571822vkh.130.1463862748968; Sat, 21 May 2016 13:32:28 -0700 (PDT) Received: by 10.31.27.149 with HTTP; Sat, 21 May 2016 13:32:28 -0700 (PDT) In-Reply-To: <57409181.9000602@BahmanM.com> References: <573C822C.3090800@BahmanM.com> <57409181.9000602@BahmanM.com> Date: Sat, 21 May 2016 23:32:28 +0300 Message-ID: From: Kakadu To: Bahman Movaqar Cc: OCaml list Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] Beginner - Ocsigen Installation assistance opam install eliom 2016-05-21 19:49 GMT+03:00 Bahman Movaqar : > On 05/18/2016 07:44 PM, Kakadu wrote: >> I'm not sure but I think that eliom's opam recipe is too restrictive. >> The newest recipe doesn't mention camlp4 at all. >> >> The shortest workaround should be >> >> opam pin add eliom --dev-repo > > $ opam install eliom.dev > > =-=- Synchronising pinned packages =-=-=-=-=-=-=-=-=-=-=-=-=- > [eliom] https://github.com/ocsigen/eliom.git already up-to-date > Your request can't be satisfied: > - eliom is not available because the package is > pinned to https://github.com/ocsigen/eliom.git, version dev. > > I tried `eliom.dev` as well to no avail. Am I missing something obvious? > > Thanks, > > -- > Bahman Movaqar > > http://BahmanM.com - https://twitter.com/bahman__m > https://github.com/bahmanm - https://gist.github.com/bahmanm > PGP Key ID: 0x6AB5BD68 (keyserver2.pgp.com) >