From 5260f007a94ecc965b12c5479c30e3f1663ca21b Mon Sep 17 00:00:00 2001
From: Louis Gesbert <louis.gesbert@ocamlpro.com>
Date: Thu, 30 Nov 2017 10:25:36 +0100
Subject: [PATCH] Fix license headers for opamVersionCompare
With agreement from the author, Ralf Treinen
---
src/core/opamVersionCompare.ml | 9 +++------
src/core/opamVersionCompare.mli | 9 +++------
2 files changed, 6 insertions(+), 12 deletions(-)
diff --git a/src/core/opamVersionCompare.ml b/src/core/opamVersionCompare.ml
index d539ad0ff..016e179bc 100644
--- a/src/core/opamVersionCompare.ml
+++ b/src/core/opamVersionCompare.ml
@@ -3,12 +3,9 @@
(* *)
(* Copyright (C) 2011 Ralf Treinen <ralf.treinen@pps.jussieu.fr> *)
(* *)
-(* This library is free software: you can redistribute it and/or modify *)
-(* it under the terms of the GNU Lesser General Public License as *)
-(* published by the Free Software Foundation, either version 3 of the *)
-(* License, or (at your option) any later version. A special linking *)
-(* exception to the GNU Lesser General Public License applies to this *)
-(* library, see the COPYING file for more information. *)
+(* All rights reserved. This file is distributed under the terms of the *)
+(* GNU Lesser General Public License version 2.1, with the special *)
+(* exception on linking described in the file LICENSE. *)
(* *)
(* Work developed with the support of the Mancoosi Project *)
(* http://www.mancoosi.org *)
diff --git a/src/core/opamVersionCompare.mli b/src/core/opamVersionCompare.mli
index 1aa72f04d..11339f299 100644
--- a/src/core/opamVersionCompare.mli
+++ b/src/core/opamVersionCompare.mli
@@ -3,12 +3,9 @@
(* *)
(* Copyright (C) 2009-2011 Pietro Abate <pietro.abate@pps.jussieu.fr> *)
(* *)
-(* This library is free software: you can redistribute it and/or modify *)
-(* it under the terms of the GNU Lesser General Public License as *)
-(* published by the Free Software Foundation, either version 3 of the *)
-(* License, or (at your option) any later version. A special linking *)
-(* exception to the GNU Lesser General Public License applies to this *)
-(* library, see the COPYING file for more information. *)
+(* All rights reserved. This file is distributed under the terms of the *)
+(* GNU Lesser General Public License version 2.1, with the special *)
+(* exception on linking described in the file LICENSE. *)
(* *)
(* Work developed with the support of the Mancoosi Project *)
(* http://www.mancoosi.org *)