[packages/cvc3] Rel 3

[arekm]

commit 249172b5a601bf1e103eec9f91b43f72157ffe62
Author: Arkadiusz Miśkiewicz <arekm at maven.pl>
Date:   Thu May 21 22:42:30 2026 +0200

    Rel 3

 cvc3.spec | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/cvc3.spec b/cvc3.spec
index cd0ab38..f22428c 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:	2
+Release:	3
 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/249172b5a601bf1e103eec9f91b43f72157ffe62