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 92EAA7F919 for ; Sat, 21 May 2016 18:49:16 +0200 (CEST) IronPort-PHdr: 9a23:kzUVnhUD/Dm2V9xpA6PG1sj/RnzV8LGtZVwlr6E/grcLSJyIuqrYZxaGt8tkgFKBZ4jH8fUM07OQ6PCxHzdeqs/Z7DgrS99laVwssY0uhQsuAcqIWwXQDcXBSGgEJvlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfTR8Kum9IIPOlcP/j7n0oM2CJV4Wz2PlPftbF1afk0b4joEum4xsK6I8mFPig0BjXKBo/15uPk+ZhB3m5829r9ZJ+iVUvO89pYYbCf2pN4xxd7FTDSwnPmYp/4Wr8ECbFUrcrkcbB0YfkRNEHkCR7xj5V5vs9CvzuON70S+TFcLzRLEwHz+l6vE4chLwjDY7MGsT+WHSg8o4qaVFqQuovVQr6YfUZYiTHNB3fqbUe/ZcTm1ECJV/TStEV6m1b44GCaIkOvhRtoDn7w8kpBu7DA+ELurvzzZOozn92qhsgLdpKh3PwAF1R4FGi3/Tttigcf5KCe0= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=Bahman@BahmanM.com; spf=Pass smtp.mailfrom=Bahman@bahmanm.com; spf=None smtp.helo=postmaster@zaal.virtualmin.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of Bahman@BahmanM.com) identity=pra; client-ip=178.162.207.226; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Bahman@bahmanm.com"; x-sender="Bahman@BahmanM.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of Bahman@bahmanm.com designates 178.162.207.226 as permitted sender) identity=mailfrom; client-ip=178.162.207.226; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Bahman@bahmanm.com"; x-sender="Bahman@bahmanm.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@zaal.virtualmin.com) identity=helo; client-ip=178.162.207.226; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Bahman@bahmanm.com"; x-sender="postmaster@zaal.virtualmin.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AQBQCgkEBX/+LPorJchAANFme5fw6BdR6FcwIMgU8UAQEBAQEBAQFkJ4ItghYBAQQjVhALGAkWCwICCQMCAQIBRQYNCAEBiC8BCbI7hiOKcwEBAQEGAQEBARUOhS+FJh+FIoIeglkFjlWJSxc3gnSBaG2KV4cKgVSEB49MHgFDg3NoiUABAQE X-IPAS-Result: A0AQBQCgkEBX/+LPorJchAANFme5fw6BdR6FcwIMgU8UAQEBAQEBAQFkJ4ItghYBAQQjVhALGAkWCwICCQMCAQIBRQYNCAEBiC8BCbI7hiOKcwEBAQEGAQEBARUOhS+FJh+FIoIeglkFjlWJSxc3gnSBaG2KV4cKgVSEB49MHgFDg3NoiUABAQE X-IronPort-AV: E=Sophos;i="5.26,344,1459807200"; d="asc'?scan'208";a="219181203" Received: from mail.bahmanm.com (HELO zaal.virtualmin.com) ([178.162.207.226]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 21 May 2016 18:49:15 +0200 Received: from [192.168.1.5] (unknown [95.156.236.134]) (Authenticated sender: bahman@bahmanm.com) by zaal.virtualmin.com (Postfix) with ESMTPSA id E533C8127F; Sat, 21 May 2016 12:49:13 -0400 (EDT) Reply-To: Bahman Movaqar References: <573C822C.3090800@BahmanM.com> To: Kakadu Cc: OCaml list From: Bahman Movaqar Message-ID: <57409181.9000602@BahmanM.com> Date: Sat, 21 May 2016 21:19:05 +0430 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.8.0 MIME-Version: 1.0 In-Reply-To: Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="u4jqp730OxfMqT3D0qddbSvsKg4R4h16N" X-Validation-by: bahman@bahmanm.com Subject: Re: [Caml-list] Beginner - Ocsigen Installation assistance This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --u4jqp730OxfMqT3D0qddbSvsKg4R4h16N Content-Type: multipart/mixed; boundary="MNVPK3Do7mrbXhvUAJEUCepGPP0hauEw8" From: Bahman Movaqar Reply-To: Bahman Movaqar To: Kakadu Cc: OCaml list Message-ID: <57409181.9000602@BahmanM.com> Subject: Re: [Caml-list] Beginner - Ocsigen Installation assistance References: <573C822C.3090800@BahmanM.com> In-Reply-To: --MNVPK3Do7mrbXhvUAJEUCepGPP0hauEw8 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable 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. >=20 > The shortest workaround should be >=20 > opam pin add eliom --dev-repo $ opam install eliom.dev =3D-=3D- Synchronising pinned packages =3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-= =3D-=3D-=3D-=3D- [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) --MNVPK3Do7mrbXhvUAJEUCepGPP0hauEw8-- --u4jqp730OxfMqT3D0qddbSvsKg4R4h16N Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.22 (GNU/Linux) iQEcBAEBAgAGBQJXQJGIAAoJEIBAYzBqtb1o4x0H/3/+reRHXUIVjOKgGCx3jMzO Ye22F3V9dMhPTemz6Q93ZS9t1yWDFdfmLnjqm+sJW5yNY44RMPyQLnoGNuZjIca/ mGKpnNqWBbF0oF16/hpb2qUyrSi+t4yKxljAepOSBGSICskgRis7wOiiGGsQ/xYR V8ONNfqCZ9YmCyEy80Q2ND8OUcLqP94turfBcRF7xZgPyHmhqdnJL8jk7ssBVX6S 4FhjC4vSFXqtODAyXx8/a3QxkxSXkoKz7/FSpmUaXczqIDrgoKJeEEKWatRLjcZQ SmjaWkNXYBaRdRo/7xNNNcd/7zXsLeANvykTl6CInd/McSjuTMZhngPcqjxrXlM= =DZlW -----END PGP SIGNATURE----- --u4jqp730OxfMqT3D0qddbSvsKg4R4h16N--