From: Stephane Glondu <steph@glondu.net>
Date: Sun, 28 Nov 2021 12:24:20 +0000 (+0100)
Subject: Fix debian/copyright
X-Git-Tag: archive/raspbian/0.10-1+rpi1~2^2~14
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=8f6e54af583d893ed0ef5f0b8e06a2d5201119e7;p=ocaml-eqaf.git

Fix debian/copyright
---

diff --git a/debian/copyright b/debian/copyright
index 37de472..f4ec62c 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -2,8 +2,13 @@ Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
 
 Files: *
 Copyright: 2018, Romain Calascibetta
+           2018, David Kaloper Meršinjak
 License: MIT
 
+Files: check/linear_algebra.ml
+Copyright: 2018, Jane Street Group, LLC
+License: Apache-2.0
+
 Files: debian/*
 Copyright: 2021, Stéphane Glondu <glondu@debian.org>
 License: MIT
@@ -25,3 +30,6 @@ License: MIT
  COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
  IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
  CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
+
+License: Apache-2.0
+ See `/usr/share/common-licenses/Apache-2.0'.