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 2838D7F168 for ; Fri, 28 Aug 2015 15:06:30 +0200 (CEST) IronPort-PHdr: 9a23:T+EcWRYgZVeQgPJtnIxDhV3/LSx+4OfEezUN459isYplN5qZpcW8bnLW6fgltlLVR4KTs6sC0LqN9f2xEUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ35/xirH60qaQSjsLrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYeVcyDAgD1uSmxHh+pX4p8Y7oGx48sgs/M9YUKj8Y79wDfkBVGxnYFYO+dbzuBLfYQyK73oaGiVKw1sbSzTCuT3zWJb8thzQIuxv3CjSacH/S7E5XXKo8qptWhvpoCodLTcl8XjKh4p7jPQIjgimoklTypDVbMmuNPdzYriVKcgaSGddRe5YUzFERIa9c80CA/dXbrUQlJX0u1Zb9Uj2PgKrHu66j2IRiw== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=kosmo.zb@gmail.com; spf=Pass smtp.mailfrom=kosmo.zb@gmail.com; spf=None smtp.helo=postmaster@mail-yk0-f179.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of kosmo.zb@gmail.com) identity=pra; client-ip=209.85.160.179; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kosmo.zb@gmail.com"; x-sender="kosmo.zb@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of kosmo.zb@gmail.com designates 209.85.160.179 as permitted sender) identity=mailfrom; client-ip=209.85.160.179; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kosmo.zb@gmail.com"; x-sender="kosmo.zb@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-yk0-f179.google.com) identity=helo; client-ip=209.85.160.179; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kosmo.zb@gmail.com"; x-sender="postmaster@mail-yk0-f179.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BDAgCYW+BVm7OgVdFeg29pBoMdqhAGkkeFe4E1BzwQAQEBAQEBAQEQAQEBAQEGCwsJIS6CHYIGAQEBAwESER0BLQsBAwELAQUFCw0CAgkWBwICIhIBBQEKEgYTEhCHdwMKCA2hZIEvPjGLQIRliiwnAwpHhGIaAQUOgRSDPocChFiDI4FDBYV0DIZsiFGFBodtghCXBxIjgRcXSYIHgT89M4JNAQEB X-IPAS-Result: A0BDAgCYW+BVm7OgVdFeg29pBoMdqhAGkkeFe4E1BzwQAQEBAQEBAQEQAQEBAQEGCwsJIS6CHYIGAQEBAwESER0BLQsBAwELAQUFCw0CAgkWBwICIhIBBQEKEgYTEhCHdwMKCA2hZIEvPjGLQIRliiwnAwpHhGIaAQUOgRSDPocChFiDI4FDBYV0DIZsiFGFBodtghCXBxIjgRcXSYIHgT89M4JNAQEB X-IronPort-AV: E=Sophos;i="5.17,424,1437429600"; d="scan'208";a="144072926" Received: from mail-yk0-f179.google.com ([209.85.160.179]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 28 Aug 2015 15:06:29 +0200 Received: by ykdz80 with SMTP id z80so14178376ykd.0 for ; Fri, 28 Aug 2015 06:06:27 -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:message-id:subject :from:to:cc:content-type:content-transfer-encoding; bh=HzUJkmIbPx1oeAGI+mY8e+7hpiVeVb2qD+WwKPjtEUo=; b=USpIVa90x0XnHetL2DqLQ5HgFC5pNPl7TyXlq5MORnk9cW6p6BWcduW6zNHXocl6KD SMhT6FT0/cjQrptgvRxJtpv5oyU0sxy76yID4tiVwTgwmmbFyCrQ1mRfE2uTnSJcekZg IINHHvJDfFjABidw3CAz0OdtqJLavDAd7tnyt3TS1TMDAzM3PvwOkVHahWggepSmTOXB A9HphCLmzzANqzbPTbcErFgQOt9BFA+B27v/VTTvVqZyxXiJF5YmJR4et168UNhUpE5H Bqqq8nEwwWOy6JrGhNZjcjsuiNXmyUG1uuRN6kmKCa2/EBYAlmXbYMv5SZg2nMaqzoU0 8edw== MIME-Version: 1.0 X-Received: by 10.170.136.17 with SMTP id d17mr7947561ykc.127.1440767187574; Fri, 28 Aug 2015 06:06:27 -0700 (PDT) Sender: kosmo.zb@gmail.com Received: by 10.13.236.206 with HTTP; Fri, 28 Aug 2015 06:06:27 -0700 (PDT) In-Reply-To: <8512B0149287464C82AB422D19612E5C@erratique.ch> References: <20150828.140826.2157566405742612169.Christophe.Troestler@umons.ac.be> <8512B0149287464C82AB422D19612E5C@erratique.ch> Date: Fri, 28 Aug 2015 14:06:27 +0100 X-Google-Sender-Auth: yWcAc5APmpYFa-_IB2Hj4HmM7Vw Message-ID: From: David Sheets To: =?UTF-8?Q?Daniel_B=C3=BCnzli?= Cc: Thomas Braibant , Christophe Troestler , OCaml Mailing List Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] opam license field (was Re: We need a rich standard library distributed with OCaml, really) On Fri, Aug 28, 2015 at 2:00 PM, Daniel B=C3=BCnzli wrote: > > > Le vendredi, 28 ao=C3=BBt 2015 =C3=A0 13:38, Thomas Braibant a =C3=A9crit= : > >> The name of the licenses could probably be standardized a bit to make it= easier to come up with white-lists. > > Can't find the issue anymore but I think that Louis planned for opam lint= to report non-conformance to debian's dep5 [1] format. My packages don't c= onform but I'm gradually moving them to this as I see them =E2=80=94 of cou= rse having opam lint do the check will only speed up the process. Maybe about SPDX adherence? > Best, > > Daniel > > [1] http://dep.debian.net/deps/dep5/#license-specification > > > > > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs