Gianfranco Costamagna pushed to branch master at Debian OCaml Maintainers / hol-light
Commits: ee0fe0f4 by Gianfranco Costamagna at 2024-11-26T07:46:20+01:00 Update copyright years and file - - - - - 1 changed file: - debian/copyright Changes: ===================================== debian/copyright ===================================== @@ -6,10 +6,13 @@ Source: git repository at https://github.com/jrh13/hol-light Files: * Copyright: 1998 University of Cambridge - 1998-2018 John Harrison <[email protected]> and others + 1998-2024 John Harrison <[email protected]> and others 2016-2017 Andrea Gabrielli 2015-2018 Marco Maggesi 2018 Michael Faerber + 2020 Mario Carneiro + 2000 Bruno Barras + 2024 Juneyoung Lee License: BSD-2-clause @@ -62,6 +65,7 @@ Comment: There is no license in subdirectory Unity, but Unity/README Files: RichterHilbertAxiomGeometry/* + Examples/inverse_bug* Copyright: 2012, 2013 by Bill Richter License: BSD-2-clause Comment: There is no license in subdirectory @@ -70,11 +74,14 @@ Comment: There is no license in subdirectory HOL Light. -Files: RichterHilbertAxiomGeometry/from_topology.ml Multivariate/topology.ml +Files: RichterHilbertAxiomGeometry/from_topology.ml Multivariate/* Copyright: 1998-2017 John Harrison 2010 Valentina Bruno 2014-2017 Marco Maggesi 2016-2017 Andrea Gabrielli + 2008 Marco Maggesi, Graziano Gentili and Gianni Ciolli + 2007 Lars Schewe + 2011-2013 Sanaz Khan Afshar & Vincent Aravantinos License: BSD-2-clause Comment: There is no license in RichterHilbertAxiomGeometry/from_topology.ml, but the file states @@ -99,6 +106,9 @@ Comment: There is no license in subdirectory Functionspaces, but Functionspaces/README states that this directory is distributed under the same license as HOL Light. +Files: GL/* +Copyright: 2020-2022 Marco Maggesi, Cosimo Perini Brogi +License: BSD-2-clause Files: IEEE/* Copyright: 2014, Charlie Jacobsen, University of Utah @@ -115,8 +125,11 @@ Copyright: 2009-2017, Petros Papapanagiotou, Jacques Fleuriot, License: BSD-2-clause -Files: Library/q.ml -Copyright: 2012-2013 Vincent Aravantinos, Hardware Verification Group, +Files: Library/* +Copyright: 2020 Mario Carneiro + 2019-2024 John Harrison + 2022-2024 June Lee + 2012-2013 Vincent Aravantinos, Hardware Verification Group, Concordia University License: BSD-2-clause Comment: There is no license in Library/q.ml, but the file states that @@ -152,9 +165,7 @@ Comment: There is no license in metis.ml, but the file states that it is distributed under the same license as HOL Light. -Files: pa_j/pa_j_3.07.ml - pa_j/pa_j_3.08.ml - pa_j/pa_j_3.09.ml +Files: pa_j/* Copyright: 2002-2006 INRIA 1998-2017 John Harrison <[email protected]> and others License: LGPL-2 View it on GitLab: https://salsa.debian.org/ocaml-team/hol-light/-/commit/ee0fe0f4f78669fdd1d2fe560cab73ed13ffc91b -- View it on GitLab: https://salsa.debian.org/ocaml-team/hol-light/-/commit/ee0fe0f4f78669fdd1d2fe560cab73ed13ffc91b You're receiving this email because of your account on salsa.debian.org.
