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
1 changed file:
Changes:
| ... | ... | @@ -106,10 +106,12 @@ Comment: There is no license in subdirectory Functionspaces, but |
| 106 | 106 | Functionspaces/README states that this directory is distributed under
|
| 107 | 107 | the same license as HOL Light.
|
| 108 | 108 | |
| 109 | + |
|
| 109 | 110 | Files: GL/*
|
| 110 | 111 | Copyright: 2020-2022 Marco Maggesi, Cosimo Perini Brogi
|
| 111 | 112 | License: BSD-2-clause
|
| 112 | 113 | |
| 114 | + |
|
| 113 | 115 | Files: IEEE/*
|
| 114 | 116 | Copyright: 2014, Charlie Jacobsen, University of Utah
|
| 115 | 117 | License: BSD-2-clause
|