[packages/cvc3] rebuild to update package digest

[baggins]

commit 7fa01de8df6d5267e48d5b0ad6b00b60e1991d18
Author: Jan Rękorajski <baggins at pld-linux.org>
Date:   Sat Feb 28 23:05:43 2026 +0100

    rebuild to update package digest
    
    Release 2 (by relup.sh)

 cvc3.spec | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/cvc3.spec b/cvc3.spec
index 1c53050..cd0ab38 100644
--- a/cvc3.spec
+++ b/cvc3.spec
@@ -1,7 +1,7 @@
 Summary:	Validity checker of many-sorted first-order formulas with theories
 Name:		cvc3
 Version:	2.4.1
-Release:	1
+Release:	2
 License:	BSD and MIT
 Group:		Applications/Engineering
 URL:		http://www.cs.nyu.edu/acsys/cvc3/
================================================================

---- gitweb:

http://git.pld-linux.org/gitweb.cgi/packages/cvc3.git/commitdiff/7fa01de8df6d5267e48d5b0ad6b00b60e1991d18