Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] Copyright Clarifications
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2003-10-05 (21:13)
From: Marc Santoro <msantoro@p...>
Subject: [Caml-list] Copyright Clarifications
In ocaml-3.07 (haven't checked other versions, but I assume this is also
present), there is a file: otherlibs/num/README

Near the bottom of the file is this paragraph:

The code in the bignum/ subdirectory is copyright INRIA and Digital,
and may be reproduced and distributed freely to non commercial usage
according to the conditions stated in the documentation of this package
(directory bignum/doc).

The directory bignum/doc is not present, though I used Google to find what
I believe to be that license:

BigNum license
 This document and the source code of the BigNum package bear the marking
"Copyright Digital Equipment Corporation & INRIA 1989"

This documentation, and the source code of the BigNum package may be
reproduced and distributed freely to non commercial usage provided that
the following conditions are respected:
 Digital PRL or INRIA should be notified of the copy.
 The original Copyright notice should not be removed from the
documentation or from the source code under any circumstances.
 Any work using the BigNum package should state explicitly the use of such
package, and its origin by including the following sentence:  This work
uses the BigNum package developed jointly by INRIA an Digital PRL.
 If any modification is applied to the BigNum package, explicit statements
should identify the fact that such modifications have been made, by whom,
and where. These statements should not be removed in any further
 Any work using extensively the BigNum package should be freely
distributed under conditions similar to the distribution of the BigNum

INRIA and Digital Equipment Corporation make no representations, express
or implicit, with respect to this documentation or the software it
describes, including without limitations, any implied warranties of
merchandability or fitness for a particular purpose, all of which are
expressly disclaimed. INRIA and Digital Equipment Corporation or
subsequent distributors shall in no event be liable for any indirect,
incidental or consequential damages.

Given these terms, does the ocaml source distribution and derivative
binaries utilizing the num package contain software that is not
open-source/DFSG (by sections 1 & 6), and not commercially usable or

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: