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 57CB97ED25 for ; Mon, 22 Jul 2013 08:55:56 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of fabrissimo@gmail.com) identity=pra; client-ip=209.85.128.177; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="fabrissimo@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of fabrissimo@gmail.com designates 209.85.128.177 as permitted sender) identity=mailfrom; client-ip=209.85.128.177; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="fabrissimo@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-ve0-f177.google.com) identity=helo; client-ip=209.85.128.177; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="postmaster@mail-ve0-f177.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApgBAKPW7FHRVYCxm2dsb2JhbABagkKBScE0CBYOAQEBAQEGCwsJFCiCJAEBBAFAATEHAQMBCwEFBQQBBjsiEgEFARwZh34DCQaZeI9OhBsnDYhYAQUMkCeDaAOXXY9oFimBXYJdOg X-IPAS-Result: ApgBAKPW7FHRVYCxm2dsb2JhbABagkKBScE0CBYOAQEBAQEGCwsJFCiCJAEBBAFAATEHAQMBCwEFBQQBBjsiEgEFARwZh34DCQaZeI9OhBsnDYhYAQUMkCeDaAOXXY9oFimBXYJdOg X-IronPort-AV: E=Sophos;i="4.89,717,1367964000"; d="scan'208";a="26824333" Received: from mail-ve0-f177.google.com ([209.85.128.177]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 22 Jul 2013 08:55:55 +0200 Received: by mail-ve0-f177.google.com with SMTP id cz10so4756725veb.22 for ; Sun, 21 Jul 2013 23:55:54 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:cc:content-type; bh=GHyDHOW2GcuCJe1Ac68MbfrIBY4dZQyoQ6+7tk7JEBg=; b=XznvMVle2nw/YpC2UJYwysPGQ05sYgwJZo94DJW5/GDY+qkjvQ5g25gnKH421IAas2 LvvGL+oBtKfX2lpCsfGTKtH24OT13IK0yzwot3PjYBD20CmSXMyH5qZpsuRxAe92uenc pcUbRoaY9+amoQ7ScasAZ9mhKu6GXZb0fe950aHjmd5PAkC1a1kDkFXkyXu/ifvv6AOL 50Xo/bLL4goCxdILDAyrX7BeK+YOrGS2vsyjTWznsXCvnFY6U0kqp/qgyXtNRpR8gUXc 7pPCN93wvaFToj6glDlcgfsIB70F2dzz6ppvSLbtdUbqMSKeuvZFG5FX7/txC1YPQoNH 7+VQ== MIME-Version: 1.0 X-Received: by 10.52.64.146 with SMTP id o18mr7709076vds.14.1374476154629; Sun, 21 Jul 2013 23:55:54 -0700 (PDT) Sender: fabrissimo@gmail.com Received: by 10.221.5.201 with HTTP; Sun, 21 Jul 2013 23:55:54 -0700 (PDT) In-Reply-To: <383739793.214096184.1374254520546.JavaMail.root@zimbra27-e5.priv.proxad.net> References: <383739793.214096184.1374254520546.JavaMail.root@zimbra27-e5.priv.proxad.net> Date: Mon, 22 Jul 2013 08:55:54 +0200 X-Google-Sender-Auth: J44E90DHFBhJGkleMcxI6wZdZmI Message-ID: From: Fabrice Le Fessant To: r.3@libertysurf.fr Cc: Ocaml Mailing List Content-Type: multipart/alternative; boundary=20cf3079bcb6f2f48f04e2142af0 Subject: Re: [Caml-list] opam and godi --20cf3079bcb6f2f48f04e2142af0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Hello, Looking only at the number of packages available in the repositories, Opam has around 400 packages while Godi has around 170 packages. Also, Opam can use "aspcud" to compute the minimal number of changes when installing/updating, which can make a big difference when dependency constraints between packages become hard to solve. I also like the interface "=E0 la apt-get", compared to the curses interface that I used wi= th Godi. --Fabrice On Fri, Jul 19, 2013 at 7:22 PM, wrote: > Hello, > could someone explain please the relation between godi and opam ? Is it > concurrent ? > Godi has been there for some time, and works quite nicely. So what are > differences ? > Thanks, > William > --=20 Fabrice LE FESSANT Chercheur en Informatique INRIA Paris Rocquencourt -- OCamlPro Programming Languages and Distributed Systems --20cf3079bcb6f2f48f04e2142af0 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
Hello,

=A0 Looking only at the number of packages available in th= e repositories, Opam has around 400 packages while Godi has around 170 pack= ages. Also, Opam can use "aspcud" to compute the minimal number o= f changes when installing/updating, which can make a big difference when de= pendency constraints between packages become hard to solve. I also like the= interface "=E0 la apt-get", compared to the curses interface tha= t I used with Godi.

--Fabrice

On Fri, Jul 19, 2013 at 7:22 PM, <= ;r.3@libertysurf.fr= > wrote:
=20=20 =20=20=20=20 =20=20 =20=20 Hello,
could someone explain please the relation between godi and op= am ? Is it concurrent ?
Godi has been there for some time, and works qui= te nicely. So what are differences ?
Thanks,
William

--
Fabrice LE FESSANT
Chercheur en= Informatique
INRIA Paris Rocquencourt -- OCamlPro
Programming Langua= ges and Distributed Systems
--20cf3079bcb6f2f48f04e2142af0--