[packages/coq] Fix applying patches.

[arekm]

commit dcb9264fbc204f17a65334292aeb204e45b145ae
Author: Arkadiusz Miśkiewicz <arekm at maven.pl>
Date:   Mon Jul 14 23:03:38 2025 +0200

    Fix applying patches.

 coq.spec | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/coq.spec b/coq.spec
index a7e34f3..d2802d6 100644
--- a/coq.spec
+++ b/coq.spec
@@ -128,7 +128,7 @@ Styl dokumentacji Coq dla LaTeXa.
 
 %prep
 %setup -q
-%patch0 -p1
+%patch -P0 -p1
 
 %{__sed} -i 's|-Wall.*-O2|%{rpmcflags} -Wno-unused|' tools/configure/configure.ml
 %if %{without sse2}
================================================================

---- gitweb:

http://git.pld-linux.org/gitweb.cgi/packages/coq.git/commitdiff/dcb9264fbc204f17a65334292aeb204e45b145ae