CVS commit: pkgsrc/math
"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:39:46 UTC 2026 Modified Files: pkgsrc/math: Makefile Log Message: math/Makefile: + lean4 To generate a diff of this commit: cvs rdiff -u -r1.643 -r1.644 pkgsrc/math/Makefile Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files.
(unnamed)
(text/x-diff, 539 B)
Modified files: Index: pkgsrc/math/Makefile diff -u pkgsrc/math/Makefile:1.643 pkgsrc/math/Makefile:1.644 --- pkgsrc/math/Makefile:1.643 Fri Jul 24 18:38:18 2026 +++ pkgsrc/math/Makefile Fri Jul 24 18:39:46 2026 @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.643 2026/07/24 18:38:18 wiz Exp $ +# $NetBSD: Makefile,v 1.644 2026/07/24 18:39:46 wiz Exp $ COMMENT= Mathematics @@ -286,6 +286,7 @@ SUBDIR+= lapack SUBDIR+= lapack64 SUBDIR+= lapacke SUBDIR+= lapacke64 +SUBDIR+= lean4 SUBDIR+= leantar SUBDIR+= libffm SUBDIR+= libfixmath