CVS commit: pkgsrc/lang/coq

["David A. Holland" <dholland%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   dholland
Date:           Mon Jul  7 03:04:04 UTC 2025

Modified Files:
        pkgsrc/lang/coq: Makefile

Log Message:
lang/coq: typo in comment


To generate a diff of this commit:
cvs rdiff -u -r1.170 -r1.171 pkgsrc/lang/coq/Makefile

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

Modified files:

Index: pkgsrc/lang/coq/Makefile
diff -u pkgsrc/lang/coq/Makefile:1.170 pkgsrc/lang/coq/Makefile:1.171
--- pkgsrc/lang/coq/Makefile:1.170      Thu Apr 24 14:14:54 2025
+++ pkgsrc/lang/coq/Makefile    Mon Jul  7 03:04:04 2025
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.170 2025/04/24 14:14:54 wiz Exp $
+# $NetBSD: Makefile,v 1.171 2025/07/07 03:04:04 dholland Exp $
 
 DISTNAME=      coq-8.20.1
 PKGREVISION=   2
@@ -20,7 +20,7 @@ WRKSRC=               ${WRKDIR}/${GITHUB_PROJECT}-${P
 # "coq-core" and "coq-stdlib", it doesn't work: unless you explicitly
 # build both, coqide fails.
 #
-# It is neessary to set INSTALL_UNSTRIPPED because opam/opaline
+# It is necessary to set INSTALL_UNSTRIPPED because opam/opaline
 # doesn't distinguish scripts from bins and the infrastructure tells
 # it to use INSTALL_PROGRAM; it will use the latter to install a
 # Python script, and then strip chokes.