diff options
| author | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2016-05-19 10:44:11 +0000 |
|---|---|---|
| committer | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2016-05-19 10:44:11 +0000 |
| commit | 4e942b64191e2ef98dce2c5af31047a8640db768 (patch) | |
| tree | 8c3238b7f0cbec2e9210d52f562960bb22323a7d /math/coq | |
| parent | - Fix trailing whitespace in pkg-descrs, categories [a-f]* (diff) | |
- Fix trailing whitespace in pkg-descrs, categories [g-n]*
Approved by: portmgr blanket
Notes
Notes:
svn path=/head/; revision=415499
Diffstat (limited to 'math/coq')
| -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). |