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 38CA27F720 for ; Wed, 16 Apr 2014 19:14:00 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of rdicosmo@gmail.com) identity=pra; client-ip=74.125.82.41; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="rdicosmo@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of rdicosmo@gmail.com designates 74.125.82.41 as permitted sender) identity=mailfrom; client-ip=74.125.82.41; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="rdicosmo@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-wg0-f41.google.com) identity=helo; client-ip=74.125.82.41; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="postmaster@mail-wg0-f41.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgwDAOe5TlNKfVIplGdsb2JhbABZg0GOVa9XhwIWDgEBAQEHCwsJEiqCZgYBFCUDDQUmNAUgAQUBAUgGh04DEQQBCJZ9gw+PbZgPJw2GeAEFDAqOaYMOgRQElHmDbIE4jyJBgWiCeg X-IPAS-Result: AgwDAOe5TlNKfVIplGdsb2JhbABZg0GOVa9XhwIWDgEBAQEHCwsJEiqCZgYBFCUDDQUmNAUgAQUBAUgGh04DEQQBCJZ9gw+PbZgPJw2GeAEFDAqOaYMOgRQElHmDbIE4jyJBgWiCeg X-IronPort-AV: E=Sophos;i="4.97,873,1389740400"; d="scan'208";a="68579170" Received: from mail-wg0-f41.google.com ([74.125.82.41]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 16 Apr 2014 19:13:59 +0200 Received: by mail-wg0-f41.google.com with SMTP id n12so11316054wgh.12 for ; Wed, 16 Apr 2014 10:13:59 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=sender:date:from:to:subject:message-id:mime-version:content-type :content-disposition:user-agent; bh=ZLagSuES9/QhMJkSiWwFlqxFA5BquC36zhAnO6pEBrY=; b=d4FNhalw9xfojfEBPOPTPwR3/TDIEDy804M2Dm4aB0yC9FaWti/94I9SvvOFYzr2tz +NOZBDFnO74UB998iqoU05J1f84bEfhSCdYp7ni36berLJOc/s6dVPyhxfzoLBjz5ujK 3JQtdo9kEXYecjNiT8E/2XVZbv81PIHD+GefdjJ3UcibMFKPTDqqfG3gWwMX6aEqlwAS jGDXuQX/dBTPhuem/Exq052jWckpwFc86KeazE+JPD4jEzqU9gMIru4QshDV96d58tG4 dyEU0UZqRwKNhUC7iTM7c7NaXuRn06EiVCdPT2G/MKfdiH5F+Ad6Wxwk7X+jt7D012ns CJwQ== X-Received: by 10.180.107.136 with SMTP id hc8mr20465392wib.11.1397668439351; Wed, 16 Apr 2014 10:13:59 -0700 (PDT) Received: from voyager (bny92-3-81-56-44-163.fbx.proxad.net. [81.56.44.163]) by mx.google.com with ESMTPSA id u6sm37076656wif.6.2014.04.16.10.13.57 for (version=TLSv1.2 cipher=RC4-SHA bits=128/128); Wed, 16 Apr 2014 10:13:58 -0700 (PDT) Sender: Roberto Di Cosmo Received: from dicosmo by voyager with local (Exim 4.82) (envelope-from ) id 1WaTPI-0007OL-V2 for caml-list@inria.fr; Wed, 16 Apr 2014 19:13:56 +0200 Date: Wed, 16 Apr 2014 19:13:56 +0200 From: Roberto Di Cosmo To: caml-list@inria.fr Message-ID: <20140416171356.GA5576@voyager> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.5.20 (2009-06-14) Subject: [Caml-list] ANN: Opam Dependency Solving in the Cloud Dear all, we are quite happy to announce that Opam dependency solving in now available in the Cloud, bringing the benefits of efficient external dependency solvers to everybody. With the steady growth in the number of Opam packages available, the need for a fast, specialised and full fledged dependency solver has started to surface : the internal heuristics may blow up [1] and the default install/upgrade strategy may be unsatisfactory [2]. Since Opam builds on technology developed in Mancoosi [3] for solving dependencies of GNU/Linux distributions, both of these issues can be easily addressed by using one of the available external solvers: they will allow you to get blazingly fast solving speed *and* offer an extensive preference language designed to let you choose the install/upgrade strategy best suited for you [4] How can you get an external solver? For Debian/Ubuntu users, it's just a matter of typing "apt-get install aspcud", and that's it (really!). On other platforms, things get hairy, though, to the point of discouraging many potential users. Now to the good news: with the help of OcamlPro [5] and the Mancoosi team, we have setup at Irill [6] a dependency solver farm that allows anybody on any platform to access the latest external solvers in a breeze. This service has been already tested internally, and seems pretty fast and stable, so we are now opening it up in beta test to the full Opam user community in order to gather feedback, and nail down any remaining issue. To use it, just follow the quite simple instructions provided here: http://cudf-solvers.irill.org/index.html Happy dependency solving to all -- Roberto [1] see for example https://github.com/ocaml/opam/issues/1056 or https://github.com/ocaml/opam/issues/685 [2] see for example https://github.com/ocaml/opam/issues/1161 or https://github.com/ocaml/opam/issues/1334 [3] http://www.mancoosi.org [4] http://opam.ocaml.org/doc/Specifying_Solver_Preferences.html [5] http://www.ocamlpro.com [6] http://www.irill.org