Gianfranco Costamagna pushed to branch master at Debian OCaml Maintainers / hol-light
Commits: 47e44edc by Gianfranco Costamagna at 2024-11-26T07:47:11+01:00 Fix spacing - - - - - 1 changed file: - debian/copyright Changes: ===================================== debian/copyright ===================================== @@ -106,10 +106,12 @@ 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 License: BSD-2-clause View it on GitLab: https://salsa.debian.org/ocaml-team/hol-light/-/commit/47e44edcb811e7481bd58d680a46b1df8f20f437 -- View it on GitLab: https://salsa.debian.org/ocaml-team/hol-light/-/commit/47e44edcb811e7481bd58d680a46b1df8f20f437 You're receiving this email because of your account on salsa.debian.org.
