[rpms/gappalib-coq] rawhide: OCaml 5.5.0 rebuild

[rpms/gappalib-coq] rawhide: OCaml 5.5.0 rebuild

[Jerry James]

            A new commit has been pushed.

            Repo   : rpms/gappalib-coq
            Branch : rawhide
            Commit : 2ba6025f0f6b2847742645b54c0b8f432e77b5c0
            Author : Jerry James <loganjerry@gmail.com>
            Date   : 2026-07-09T16:42:17-06:00
            Stats  : +5/-7 in 2 file(s)
            URL    : https://src.fedoraproject.org/rpms/gappalib-coq/c/2ba6025f0f6b2847742645b54c0b8f432e77b5c0?branch=rawhide

            Log:
            OCaml 5.5.0 rebuild

- Version 1.11.0

---
diff --git a/gappalib-coq.spec b/gappalib-coq.spec
index 2728753..c0fc137 100644
--- a/gappalib-coq.spec
+++ b/gappalib-coq.spec
@@ -4,18 +4,16 @@
 
 %global gappadir %{ocamldir}/coq/user-contrib/Gappa
 %global rocqver 9.2.0
-%global commit  df59b68361b1efbd697b17c40f7fae4a35991c44
-%global giturl  https://gitlab.inria.fr/gappa/coq
 
 Name:           gappalib-coq
-Version:        1.10.0
+Version:        1.11.0
 Release:        %autorelease
 Summary:        Coq support library for gappa
 
 License:        LGPL-3.0-or-later
 URL:            https://gappa.gitlabpages.inria.fr/
-VCS:            git:%{giturl}.git
-Source:         %{giturl}/-/archive/%{name}-%{version}/%{name}-%{version}.tar.gz
+VCS:            git:https://gitlab.inria.fr/gappa/coq.git
+Source:         %{url}releases/%{name}-%{version}.tar.gz
 
 # Coq's plugin architecture requires cmxs files
 ExclusiveArch:  %{ocaml_native_compiler}
@@ -55,7 +53,7 @@ files are not needed to use gappalib-coq.  They are made available for
 informational purposes.
 
 %prep
-%autosetup -n coq-%{name}-%{version}-%{commit}
+%autosetup
 
 %conf
 # Enable debuginfo

diff --git a/sources b/sources
index 04ae42c..cfe4dcc 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA512 (gappalib-coq-1.10.0.tar.gz) = a764838f26716e1c1b497b9d9b4f19dda63617f91deacc3cbf65386a3f21cea2987dc2eecfbcf135962cd30d70dad9e50aa7621c200894488a117d2c82c4e4cf
+SHA512 (gappalib-coq-1.11.0.tar.gz) = 654d4787998ce085b8ce7e6f6c266e826e9581b34002c1c0995972a3927800e5732f8e6205ea63047aca84327413f4e2f774e2c5627fe7b98fba809250c0b857