From 8f6e54af583d893ed0ef5f0b8e06a2d5201119e7 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Sun, 28 Nov 2021 13:24:20 +0100 Subject: [PATCH] Fix debian/copyright --- debian/copyright | 8 ++++++++ 1 file changed, 8 insertions(+) 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 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'. -- 2.30.2