CVS commit: pkgsrc/math/cvc5

["Alexander Nasonov" <alnsn%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   alnsn
Date:           Sun Nov  8 14:00:44 UTC 2026

Modified Files:
        pkgsrc/math/cvc5: Makefile

Log Message:
Revbump after adding pkg-config files to symfpu and cadical.

Not strictly necessary because cvc5 doesn't use pkg-config.


To generate a diff of this commit:
cvs rdiff -u -r1.6 -r1.7 pkgsrc/math/cvc5/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/cvc5/Makefile
diff -u pkgsrc/math/cvc5/Makefile:1.6 pkgsrc/math/cvc5/Makefile:1.7
--- pkgsrc/math/cvc5/Makefile:1.6       Fri Sep 18 22:07:57 2026
+++ pkgsrc/math/cvc5/Makefile   Sun Nov  8 14:00:44 2026
@@ -1,6 +1,7 @@
-# $NetBSD: Makefile,v 1.6 2026/09/18 22:07:57 alnsn Exp $
+# $NetBSD: Makefile,v 1.7 2026/11/08 14:00:44 alnsn Exp $
 
 DISTNAME=      cvc5-1.4.0
+PKGREVISION=   1
 CATEGORIES=    math
 MASTER_SITES=  ${MASTER_SITE_GITHUB:=cvc5/}
 GITHUB_TAG=    cvc5-${PKGVERSION_NOREV}