[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#735884: ITP: ocp-indent -- OCaml indentation tool for emacs and vim



Hi,

Quoting Stéphane Glondu (2014-01-18 15:32:07)
> I started to have a look, and for sure the copyright file is incorrect.
> There is a lot of copyright to "Jun Furuse" and OCamlPro, those two
> should at least be mentioned. Actually, I didn't see (after a quick
> look) any copyright owned by the ones you mentioned in debian/copyright
> (Thomas and Fabrice work for OCamlPro and/or Inria, but the copyright
> seems to belong to the company and Inria). There are also some other
> bits from other people, you have to be sure that at least license is the
> same.

Sorry for not having been more thorough before. My confusion comes from blocks
like these:

--%<--------------------------------------------------------------------------- 
(**************************************************************************)
(*                                                                        *)
(*    TypeRex OCaml Studio                                                *)
(*      Thomas Gazagnaire, Fabrice Le Fessant                             *)
(*                                                                        *)
(*    OCaml                                                               *)
(*      Xavier Leroy, projet Cristal, INRIA Rocquencourt                  *)
(*                                                                        *)
(*  Copyright 2011-2012 OCamlPro                                          *)
(*  Copyright 1996-2011 INRIA.                                            *)
(*  All rights reserved.  This file is distributed under the terms of     *)
(*  the Lesser GNU Public License version 3.0.                            *)
(*                                                                        *)
(*  TypeRex is distributed in the hope that it will be useful,            *)
(*  but WITHOUT ANY WARRANTY; without even the implied warranty of        *)
(*  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the         *)
(*  Lesser GNU General Public License for more details.                   *)
(*                                                                        *)
(**************************************************************************)

(* ADMIN: fabrice *)

(***********************************************************************)
(*                                                                     *)
(*                           Objective Caml                            *)
(*                                                                     *)
(*            Xavier Leroy, projet Cristal, INRIA Rocquencourt         *)
(*                                                                     *)
(*  Copyright 1996 Institut National de Recherche en Informatique et   *)
(*  en Automatique.  All rights reserved.  This file is distributed    *)
(*  under the terms of the Q Public License version 1.0.               *)
(*                                                                     *)
(***********************************************************************)
-->%--------------------------------------------------------------------------- 

It is unclear to me under what terms the content of a file with that header can 
be distributed.

> I am still reviewing the technical part, but I preferred to tell you
> about the copyright issue first.

Sorry again for having been too shallow with this. Mehdi Dogguy was right with
pointing out that I should be careful copyright/license questions.

I'll look over all of it again and try to find out from where precisely each
piece of code is coming from.

cheers, josch


Reply to: