diff options
Diffstat (limited to 'math/coq/pkg-descr')
| -rw-r--r-- | math/coq/pkg-descr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/math/coq/pkg-descr b/math/coq/pkg-descr index 34d1a3fbb8ad..597a3eeb9cb2 100644 --- a/math/coq/pkg-descr +++ b/math/coq/pkg-descr @@ -13,7 +13,7 @@ In particular, Coq allows: Coq is based on a logical framework called "Calculus of Inductive Constructions" extended by a modular development system for theories. - + Coq is distributed under the GNU Lesser General Public Licence Version 2.1 (LGPL). |