CVS commit: pkgsrc/math/lean4

["Thomas Klausner" <wiz%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   wiz
Date:           Fri Jul 24 18:42:07 UTC 2026

Modified Files:
        pkgsrc/math/lean4: Makefile

Log Message:
lean4: fix typo


To generate a diff of this commit:
cvs rdiff -u -r1.2 -r1.3 pkgsrc/math/lean4/Makefile

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

Modified files:

Index: pkgsrc/math/lean4/Makefile
diff -u pkgsrc/math/lean4/Makefile:1.2 pkgsrc/math/lean4/Makefile:1.3
--- pkgsrc/math/lean4/Makefile:1.2      Fri Jul 24 18:41:55 2026
+++ pkgsrc/math/lean4/Makefile  Fri Jul 24 18:42:07 2026
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.2 2026/07/24 18:41:55 wiz Exp $
+# $NetBSD: Makefile,v 1.3 2026/07/24 18:42:07 wiz Exp $
 
 DISTNAME=      lean4-4.32.1
 CATEGORIES=    math
@@ -11,7 +11,7 @@ HOMEPAGE=     https://lean-lang.org/
 COMMENT=       Programming language for theorem proving
 LICENSE=       apache-2.0
 
-_DEPENDS+=     leantar-[0-9]*:../../math/leantar
+DEPENDS+=      leantar-[0-9]*:../../math/leantar
 DEPENDS+=      cadical>=3:../../math/cadical3
 
 USE_LANGUAGES= c c++