public inbox for git-commits@fedoraproject.org
help / color / mirror / Atom feed
From: Fedora Release Engineering <releng@fedoraproject.org>
To: git-commits@fedoraproject.org
Subject: [rpms/emacs-common-proofgeneral] rawhide: Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild
Date: Wed, 15 Jul 2026 22:19:27 GMT	[thread overview]
Message-ID: <178415396785.1.9900437875479622731.rpms-emacs-common-proofgeneral-f844b75351d9@fedoraproject.org> (raw)

A new commit has been pushed.

Repo   : rpms/emacs-common-proofgeneral
Branch : rawhide
Commit : f844b75351d99b6669a421f7d75549c082d8fe83
Author : Fedora Release Engineering <releng@fedoraproject.org>
Date   : 2026-07-15T22:19:24+00:00
Stats  : +4/-1 in 1 file(s)
URL    : https://src.fedoraproject.org/rpms/emacs-common-proofgeneral/c/f844b75351d99b6669a421f7d75549c082d8fe83?branch=rawhide

Log:
Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild

---
diff --git a/emacs-common-proofgeneral.spec b/emacs-common-proofgeneral.spec
index e27a71b..ecc4526 100644
--- a/emacs-common-proofgeneral.spec
+++ b/emacs-common-proofgeneral.spec
@@ -16,7 +16,7 @@ Summary:        Emacs mode for standard interaction interface for proof assistan
 # The icons are CC-BY-SA-3.0, except for the search icon.
 # The search icon is CC-BY-SA-2.0.
 License:        GPL-3.0-or-later AND CC-BY-SA-3.0 AND CC-BY-SA-2.0
-Release:        14%{?dist}
+Release:        15%{?dist}
 URL:            https://proofgeneral.github.io/
 VCS:            git:%{giturl}.git
 Source0:        %{forgesource}
@@ -159,6 +159,9 @@ install -Dpm 644 %{SOURCE4} \
 %{_emacs_sitelispdir}/%{pkg}/
 
 %changelog
+* Wed Jul 15 2026 Fedora Release Engineering <releng@fedoraproject.org> - 4.5-15
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild
+
 * Mon Jul 13 2026 Jerry James <loganjerry@gmail.com> - 4.5-14
 - Small tweaks to BuildRequires
 

                 reply	other threads:[~2026-07-15 22:19 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=178415396785.1.9900437875479622731.rpms-emacs-common-proofgeneral-f844b75351d9@fedoraproject.org \
    --to=releng@fedoraproject.org \
    --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