[packages/cvc3] Fix applying patches.

[arekm]

commit 8461e1c3c232f5462f3ab20c66d29410dc5d8abd
Author: Arkadiusz Miśkiewicz <arekm at maven.pl>
Date:   Mon Jul 14 23:08:12 2025 +0200

    Fix applying patches.

 cvc3.spec | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/cvc3.spec b/cvc3.spec
index 4fe00e3..1c53050 100644
--- a/cvc3.spec
+++ b/cvc3.spec
@@ -81,7 +81,7 @@ Java interface for CVC3.
 
 %prep
 %setup -q
-%patch0
+%patch -P0
 
 # Use the appropriate compiler flags
 sed -e "s|^  LOCAL_CXXFLAGS = -O2|  LOCAL_CXXFLAGS =|" \
================================================================

---- gitweb:

http://git.pld-linux.org/gitweb.cgi/packages/cvc3.git/commitdiff/8461e1c3c232f5462f3ab20c66d29410dc5d8abd