Skip to content

Commit

Permalink
[license] Fix typo.
Browse files Browse the repository at this point in the history
  • Loading branch information
@ejgallego
ejgallego committed Sep 8, 2022
1 parent 7460c7b commit f133304
Showing 1 changed file with 4 additions and 3 deletions.
7 changes: 4 additions & 3 deletions LICENSE
View file
Original file line number Diff line number Diff line change
Expand Up @@ -15,9 +15,10 @@ License: GPL-3+

Files: tests/genarg/*
Authors: Karl Palmskog
Licence: Derived from many projects as test cases, likely fall into fair-use
Licence: Derived from many projects as test cases, falls into fair-use

Comment: the intent is to be compatible with Coq's license. Note that
the LGPL-2.1+ allows to treat the code as GPL-3+ , and we favor that. In some,
like when linking with jsCoq's code, the resulting .js file will be GPL-3+.
the LGPL-2.1+ allows to treat the code as GPL-3+ , and we favor
that. In some cases, like when linking with jsCoq's code or other code
that is GPL-3 only, the resulting .js or binaries files will be GPL-3.

0 comments on commit f133304

Please sign in to comment.