chore: license
This commit is contained in:
parent
ab7d645790
commit
47c80c492d
1 changed files with 1 additions and 1 deletions
|
|
@ -2,7 +2,7 @@
|
||||||
(using menhir 3.0)
|
(using menhir 3.0)
|
||||||
|
|
||||||
(name hsim)
|
(name hsim)
|
||||||
(license "GPL-3.0-or-later")
|
(license "CeCILL-2.1-or-later")
|
||||||
|
|
||||||
(authors "Henri Saudubray")
|
(authors "Henri Saudubray")
|
||||||
(maintainers "henri.saudubray@proton.me")
|
(maintainers "henri.saudubray@proton.me")
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue