Fix debian/copyright

diff --git a/debian/copyright b/debian/copyright
index 37de47252f0a2b083ace27443ba6f0494ff0f6d1..f4ec62ce7bcc7d5cc0eab2d0de3ca7f9e820f56e 100644 (file)
--- 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'.