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 0F3C681799 for ; Thu, 25 Jul 2013 17:33:46 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of sylvain@le-gall.net) identity=pra; client-ip=80.91.229.3; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gclci-caml-list@m.gmane.org"; x-sender="sylvain@le-gall.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of gclci-caml-list@m.gmane.org designates 80.91.229.3 as permitted sender) identity=mailfrom; client-ip=80.91.229.3; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gclci-caml-list@m.gmane.org"; x-sender="gclci-caml-list@m.gmane.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@plane.gmane.org designates 80.91.229.3 as permitted sender) identity=helo; client-ip=80.91.229.3; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gclci-caml-list@m.gmane.org"; x-sender="postmaster@plane.gmane.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiQDAHpE8VFQW+UDgWdsb2JhbABagzu/QxYOAQEWJiiCJAEBBYEJCxguECwbGYgUuUyQGoNqA5kIkzg X-IPAS-Result: AiQDAHpE8VFQW+UDgWdsb2JhbABagzu/QxYOAQEWJiiCJAEBBYEJCxguECwbGYgUuUyQGoNqA5kIkzg X-IronPort-AV: E=Sophos;i="4.89,744,1367964000"; d="scan'208";a="22260773" Received: from plane.gmane.org ([80.91.229.3]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 25 Jul 2013 17:33:45 +0200 Received: from list by plane.gmane.org with local (Exim 4.69) (envelope-from ) id 1V2NXy-0000su-4A for caml-list@inria.fr; Thu, 25 Jul 2013 17:33:42 +0200 Received: from root.ovh.le-gall.net ([37.59.37.175]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Thu, 25 Jul 2013 17:33:42 +0200 Received: from sylvain by root.ovh.le-gall.net with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Thu, 25 Jul 2013 17:33:42 +0200 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr From: Sylvain Le Gall Date: Thu, 25 Jul 2013 15:33:20 +0000 (UTC) Message-ID: References: <1374669368.25411.5@samsung> <1B6BB035-9909-4F0C-9DEA-F713B977A467@ocamlpro.com> <874nbik69j.fsf@kingston.cl.cam.ac.uk> X-Complaints-To: usenet@ger.gmane.org X-Gmane-NNTP-Posting-Host: root.ovh.le-gall.net User-Agent: slrn/pre1.0.0-18 (Linux) Subject: [Caml-list] Re: AW: GODI is shutting down On 25-07-2013, Leo White wrote: >>> However, the main problem (the one I wanted to point out) still >>> remains: every time you want to fix a constraint you have to change >>> your _oasis, modify the package tarball, and make a new release -- >>> which means you can never fix constraints on already released >>> packages. But I guess in this case, it's fine if the _oasis and OPAM >>> files are not in sync. >>> >> >> We don't share the same POV here. If a constraints is bad it should be >> fixe in the upstream version. A quick fix could be to patch it in OPAM, >> but if a constraint is bad with OPAM, Debian packagers will have to do >> the same kind of fix. So we should make it upsteam, not keep the fix in >> OPAM. >> > > I think that Thomas' point was that if you extract the dependecies > directly from an _oasis file within the package then you can only fix > dependencies in future versions of the package. > > So, if foo-0.5.6 has a bad dependency (extracted from the _oasis file > within foo-0.5.6) making the fix upstream will only help foo-0.5.7 > onwards: foo-0.5.6 will still be in the repository and its dependencies > will still be incorrect. > > I am sure he agress that fixes should be passed upstream, but we also > need to be able to correct dependencies in existing packages. > Getting out of sync for older packages seems fine to me! The system should allow override and that should be ok. At least we agree on this point! Cheers, Sylvain Le Gall -- Website: http://sylvain.le-gall.net/ OCaml forge: http://forge.ocamlcore.org OCaml blogs: http://planet.ocaml.org