public inbox for git-commits@fedoraproject.org
help / color / mirror / Atom feed
From: Jerry James <loganjerry@gmail.com>
To: git-commits@fedoraproject.org
Subject: [rpms/gappalib-coq] rawhide: OCaml 5.5.0 rebuild
Date: Thu, 09 Jul 2026 22:42:34 GMT	[thread overview]
Message-ID: <178363695443.1.1757636719716063889.rpms-gappalib-coq-2ba6025f0f6b@fedoraproject.org> (raw)

            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

                 reply	other threads:[~2026-07-09 22:42 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=178363695443.1.1757636719716063889.rpms-gappalib-coq-2ba6025f0f6b@fedoraproject.org \
    --to=loganjerry@gmail.com \
    --cc=git-commits@fedoraproject.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body. 
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox