diff options
Diffstat (limited to 'math/coq/pkg-descr')
| -rw-r--r-- | math/coq/pkg-descr | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/math/coq/pkg-descr b/math/coq/pkg-descr index 2557addcc410..fdc60b81a0ab 100644 --- a/math/coq/pkg-descr +++ b/math/coq/pkg-descr @@ -13,5 +13,3 @@ Constructions" extended by a modular development system for theories. CoqIde is installed if the x11-toolkits/ocaml-lablgtk2 port is installed. - -WWW: http://coq.inria.fr/ |