diff options
| author | amdmi3 <amdmi3@FreeBSD.org> | 2016-05-19 18:44:11 +0800 |
|---|---|---|
| committer | amdmi3 <amdmi3@FreeBSD.org> | 2016-05-19 18:44:11 +0800 |
| commit | 3f42e716135bc048b90cb6cca188f324e65c69dc (patch) | |
| tree | 8c3238b7f0cbec2e9210d52f562960bb22323a7d /math/coq | |
| parent | e127cf2f03a87283f703b70f81a3e1891e56e7f5 (diff) | |
| download | freebsd-ports-gnome-3f42e716135bc048b90cb6cca188f324e65c69dc.tar.gz freebsd-ports-gnome-3f42e716135bc048b90cb6cca188f324e65c69dc.tar.zst freebsd-ports-gnome-3f42e716135bc048b90cb6cca188f324e65c69dc.zip | |
- Fix trailing whitespace in pkg-descrs, categories [g-n]*
Approved by: portmgr blanket
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). |