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/pplite] rawhide: Version 0.14
Date: Mon, 10 Aug 2026 15:07:23 GMT [thread overview]
Message-ID: <178637444383.1.2830644648330453993.rpms-pplite-592c4ce36355@fedoraproject.org> (raw)
A new commit has been pushed.
Repo : rpms/pplite
Branch : rawhide
Commit : 592c4ce363553d6dab8df93cc082eb696820d539
Author : Jerry James <loganjerry@gmail.com>
Date : 2026-08-10T09:07:14-06:00
Stats : +3/-3 in 2 file(s)
URL : https://src.fedoraproject.org/rpms/pplite/c/592c4ce363553d6dab8df93cc082eb696820d539?branch=rawhide
Log:
Version 0.14
---
diff --git a/pplite.spec b/pplite.spec
index 16659df..54bf778 100644
--- a/pplite.spec
+++ b/pplite.spec
@@ -1,7 +1,7 @@
%global giturl https://github.com/ezaffanella/PPLite
Name: pplite
-Version: 0.13
+Version: 0.14
Release: %autorelease
Summary: Convex polyhedra library for abstract interpretation
@@ -62,7 +62,7 @@ make check
%files
%license COPYING
%doc CREDITS
-%{_libdir}/libpplite.so.6{,.*}
+%{_libdir}/libpplite.so.7{,.*}
%files devel
%{_includedir}/pplite/
diff --git a/sources b/sources
index a80d152..dbd308f 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA512 (pplite-0.13-tag.tar.gz) = 9828e89fbe1d33ab8311a13fde017886f2a929119ba24a04375166a73f0781562ec1f2c35891e2e62d548ce595b050d1fd607ff87a2e10a8c861dd1781281c12
+SHA512 (pplite-0.14-tag.tar.gz) = 4b87e8a5475dc0ef4263e3ff8b494ef378a209d4820a704c600380427ac74ddc61aba9100250748434cebcac73065acecc348ca6cf81edab9b522f2b2b930e0c
reply other threads:[~2026-08-10 15:07 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=178637444383.1.2830644648330453993.rpms-pplite-592c4ce36355@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