CVS commit: pkgsrc/math/lean4
"Thomas Klausner" <[email protected]>
| Newsgroups | gmane.os.netbsd.devel.pkgsrc.cvs |
|---|---|
| Message-ID | <[email protected]> |
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.
(unnamed)
(text/x-diff, 694 B)
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++