Remove dead link.

[Alexander Nasonov (via pkgsrc-wip) <commit-notify%pkgsrc.org@localhost>]

Module Name:	pkgsrc-wip
Committed By:	Alexander Nasonov <alnsn%yandex.ru@localhost>
Pushed By:	alnsn
Date:		Wed Aug 12 00:06:49 2026 +0100
Changeset:	aa6265b68f70e1b2cb9d1cbf4ba7a318d80606d7

Modified Files:
	rocq/DESCR

Log Message:
Remove dead link.

To see a diff of this commit:
https://wip.pkgsrc.org/cgi-bin/gitweb.cgi?p=pkgsrc-wip.git;a=commitdiff;h=aa6265b68f70e1b2cb9d1cbf4ba7a318d80606d7

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

diffstat:
 rocq/DESCR | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

diffs:
diff --git a/rocq/DESCR b/rocq/DESCR
index 43b67beaeb..c254a72157 100644
--- a/rocq/DESCR
+++ b/rocq/DESCR
@@ -1,6 +1,4 @@
-From http://coq.inria.fr/doc/tutorial.html:
-
-    Coq is a Proof Assistant for a Logical Framework known as the
-    Calculus of Inductive Constructions. It allows the interactive
-    construction of formal proofs, and also the manipulation of
-    functional programs consistently with their specifications.
+Coq is a Proof Assistant for a Logical Framework known as the
+Calculus of Inductive Constructions. It allows the interactive
+construction of formal proofs, and also the manipulation of
+functional programs consistently with their specifications.