The following commit has been merged in the master branch:
commit 4e8169a9d5f26d4ee94e54137c85d803bedb0519
Author: Nicolas Dandrimont <>
Date:   Thu Aug 2 11:13:26 2012 +0200

    License is BSD-3-clause, not MIT

diff --git a/debian/copyright b/debian/copyright
index e1b487a..7045c0c 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -5,13 +5,13 @@ Source:
 Files: *
 Copyright: Copyright (c) 2011 Jérémie Dimino <>
-License: MIT
+License: BSD-3-clause
 Files: debian/*
 Copyright: Copyright (c) 2011 Nicolas Dandrimont <>
-License: MIT
+License: BSD-3-clause
-License: MIT
+License: BSD-3-clause
   All rights reserved.
   Redistribution and use in source and binary forms, with or without
   modification, are permitted provided that the following conditions are met:

lambda-term packaging

Pkg-ocaml-maint-commits mailing list

Reply via email to