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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 32C2F7FCCD for ; Wed, 13 Jul 2016 01:33:48 +0200 (CEST) IronPort-PHdr: 9a23:TlrLnB+difIgB/9uRHKM819IXTAuvvDOBiVQ1KB90O0cTK2v8tzYMVDF4r011RmSDN2dsKMP0bWempujcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47AblHf6ke/8SQVUk2mc1EkfqKuS8WI0Iye7KObw9XreQJGhT6wM/tZDS6dikHvjPQQmpZoMa0ryxHE8TNicuVSwn50dxrIx06vrpT4wJk2+C1Vv7o87MNaSu2udK09SflcDS86G2Ez/szi8xfZG1ih/HwZB0QflFJ6Ag3A4Qv/V5G55irmpMJ3xTSVe8rsQuZnCnyZ8653RUqw2288PDkj/TSPhw== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=itz@buug.org; spf=None smtp.mailfrom=itz@buug.org; spf=None smtp.helo=postmaster@ahiker.mooo.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of itz@buug.org) identity=pra; client-ip=173.255.215.69; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="itz@buug.org"; x-sender="itz@buug.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of itz@buug.org) identity=mailfrom; client-ip=173.255.215.69; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="itz@buug.org"; x-sender="itz@buug.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@ahiker.mooo.com) identity=helo; client-ip=173.255.215.69; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="itz@buug.org"; x-sender="postmaster@ahiker.mooo.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DJAgBWfYVX/0XX/61cgz6lcAEBAQUBgRCTV4F5hhgCgTg4FAEBAQEBAQEBZCeCMhWCFgEEATo0EAsLNBIUKCGIOwjAOwEwhWKCSIJNihwFjnuKII5KCoFUFoRZiGuQFB42hBEciVcBAQE X-IPAS-Result: A0DJAgBWfYVX/0XX/61cgz6lcAEBAQUBgRCTV4F5hhgCgTg4FAEBAQEBAQEBZCeCMhWCFgEEATo0EAsLNBIUKCGIOwjAOwEwhWKCSIJNihwFjnuKII5KCoFUFoRZiGuQFB42hBEciVcBAQE X-IronPort-AV: E=Sophos;i="5.28,354,1464645600"; d="scan'208";a="184682456" Received: from ahiker.mooo.com ([173.255.215.69]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 13 Jul 2016 01:33:44 +0200 Received: from itz by ahiker.mooo.com with local (Exim 4.84_2) (envelope-from ) id 1bN6z1-0005oH-9r for caml-list@inria.fr; Tue, 12 Jul 2016 16:20:55 -0700 Date: Tue, 12 Jul 2016 16:20:55 -0700 From: Ian Zimmerman To: caml users Message-ID: <20160712231846.19682.0042719A@matica.foolinux.mooo.com> Mail-Followup-To: caml users References: <5E818FB5-6908-4E29-838E-C6A2836F60CE@inria.fr> <7BDA5C9D56314AE6A0D9E07226862399@erratique.ch> <3004f713-9b54-b221-16c3-f4302abc1a44@lexifi.com> <105BC114A91747C4A583F92DB6AD6BA8@erratique.ch> <20160711085535.GA5328@frosties> <20160712182905.11322.2BBFF3E5@matica.foolinux.mooo.com> <20160712212250.16420.07053563@matica.foolinux.mooo.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.24 (2015-08-30) Subject: Re: [Caml-list] About contributions to the Standard Library On 2016-07-12 18:35 -0400, Gabriel Scherer wrote: > In practice, however, I think that most opam users choose aspcud > (maybe simply because the documentation recommends it) and I would not > be surprised if opam lost compatibility with other solvers at some > point, for example by making ascpud-specific assumption on the solver > preference language. Indeed, this has already happened with the Java-based solver which I also tried. Btw, do you see the top line of my sig? -- Please *no* private copies of mailing list or newsgroup messages. Why does the arrow on Hillary signs point to the right?