The following commit has been merged in the master branch:
commit 29325afa7ce2a453341fca9c6aaa4abafd552351
Author: Mehdi Dogguy <>
Date:   Mon Jan 2 15:34:56 2012 +0100

    Fix copyright-refers-to-deprecated-bsd-license-file

diff --git a/debian/copyright b/debian/copyright
index 5a714fb..5e1bc44 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -85,4 +85,4 @@ License: LGPL-2 | other
 On Debian systems, the complete text of the GNU Lesser General Public
 License can be found in `/usr/share/common-licenses/LGPL-2' and BSD
-License in `/usr/share/common-licenses/BSD'.

why packaging

Pkg-ocaml-maint-commits mailing list

Reply via email to