kevin pushed to python-psutil (master). "Update to 5.6.3 Fixes bug
#1567102"
by notificationsï¼ fedoraproject.org
Notification time stamped 2019-06-30 23:48:36 UTC
From 4e65480c37ea702ea08c7af695625b0e5533dd3d Mon Sep 17 00:00:00 2001
From: Kevin Fenzi <kevin(a)scrye.com>
Date: Jun 30 2019 23:48:28 +0000
Subject: Update to 5.6.3 Fixes bug #1567102
---
diff --git a/.gitignore b/.gitignore
index 5d2ff95..0369583 100644
--- a/.gitignore
+++ b/.gitignore
@@ -21,3 +21,4 @@ psutil-0.1.3.tar.gz
/psutil-5.2.2.tar.gz
/psutil-5.4.3.tar.gz
/psutil-5.5.1.tar.gz
+/psutil-5.6.3.tar.gz
diff --git a/python-psutil.spec b/python-psutil.spec
index 4c8a8b4..ddf4f87 100644
--- a/python-psutil.spec
+++ b/python-psutil.spec
@@ -5,7 +5,7 @@
%global __provides_exclude_from ^(%{python2_sitearch}|%{python3_sitearch})/.*\\.so$
Name: python-%{srcname}
-Version: 5.5.1
+Version: 5.6.3
Release: 1%{?dist}
Summary: %{sum}
@@ -101,6 +101,9 @@ done
%changelog
+* Sun Jun 30 2019 Kevin Fenzi <kevin(a)scrye.com> - 5.6.3-1
+- Update to 5.6.3 Fixes bug #1567102
+
* Thu Feb 28 2019 Yatin Karel <ykarel(a)redhat.com> - 5.5.1-1
- Update to 5.5.1 (Resolves #1567102)
diff --git a/sources b/sources
index fc64daf..dd1efe0 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA512 (psutil-5.5.1.tar.gz) = 5ac1f08bfd8e25edfe0392f4252048a8fba8b1de05e896e7d03750c61ccb8a725de825f44c2af0e4a70d84d2327795120e5f07d4dc1f4d037bd070b980e13a8a
+SHA512 (psutil-5.6.3.tar.gz) = 207fb14a26e078829534d9241db02a90ffa827d424d923527c488ffb8da028bf568744a1813f289455fe496c30480c92aa8187f984b1aa7b1fe6fe0dc1419810
https://src.fedoraproject.org/rpms/python-psutil/c/4e65480c37ea702ea08c7a...
4Â years, 5Â months
jjames pushed to cvc4 (master). "Fix finding the python include dir
and lib (bz 1724142)."
by notificationsï¼ fedoraproject.org
Notification time stamped 2019-06-30 23:07:32 UTC
From bb8bce8c354c0e6363c59eeb5a87e37bbc0761b7 Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry(a)gmail.com>
Date: Jun 30 2019 23:07:21 +0000
Subject: Fix finding the python include dir and lib (bz 1724142).
---
diff --git a/cvc4.spec b/cvc4.spec
index 617fd09..204a163 100644
--- a/cvc4.spec
+++ b/cvc4.spec
@@ -3,7 +3,7 @@
Name: cvc4
Version: 1.7
-Release: 1%{?dist}
+Release: 2%{?dist}
Summary: Automatic theorem prover for SMT problems
# License breakdown:
@@ -120,6 +120,8 @@ sed -i '/replaceall-len-c/d' test/regress/CMakeLists.txt
%endif
%build
+pyinc=$(python3-config --includes | sed -r 's/-I([^[:blank:]]+)[[:blank:]]*.*/\1/')
+pylib=$(ls -1 /usr/lib64/libpython3.*.so)
export CFLAGS="%{optflags} -fsigned-char -DABC_USE_STDINT_H -I%{_jvmdir}/java/include -I%{_jvmdir}/java/include/linux -I%{_includedir}/abc"
export CXXFLAGS="$CFLAGS"
%cmake \
@@ -150,8 +152,8 @@ export CXXFLAGS="$CFLAGS"
-DUSE_SYMFPU:BOOL=ON \
-DSYMFPU_DIR:STRING=%{_prefix} \
-DPYTHON_EXECUTABLE:FILEPATH=%{_bindir}/python%{python3_version} \
- -DPYTHON_LIBRARY:FILEPATH=%{_libdir}/libpython%{python3_version}m.so \
- -DPYTHON_INCLUDE_DIR:FILEPATH=%{_includedir}/python%{python3_version}m \
+ -DPYTHON_LIBRARY:FILEPATH=$pylib \
+ -DPYTHON_INCLUDE_DIR:FILEPATH=$pyinc \
.
# Tell swig to build for python 3
@@ -215,6 +217,9 @@ make check
%{python3_sitearch}/__pycache__/CVC4.*
%changelog
+* Sat Jun 29 2019 Jerry James <loganjerry(a)gmail.com> - 1.7-2
+- Fix finding the python include dir and lib (bz 1724142)
+
* Wed Jun 12 2019 Jerry James <loganjerry(a)gmail.com> - 1.7-1
- New upstream release
- Drop -autoconf, -cadical, -doxygen, -symfpu, and -vec patches
https://src.fedoraproject.org/rpms/cvc4/c/bb8bce8c354c0e6363c59eeb5a87e37...
4Â years, 5Â months
jjames pushed to cadical (master). "New upstream version."
by notificationsï¼ fedoraproject.org
Notification time stamped 2019-06-30 23:06:00 UTC
From 36bf3f14b19ecaf51e860a57d0dd37ac5d0547ef Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry(a)gmail.com>
Date: Jun 30 2019 23:05:48 +0000
Subject: New upstream version.
---
diff --git a/.gitignore b/.gitignore
index e63ff09..693f725 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,2 @@
-/rel-06w.tar.gz
+/rel-*.tar.gz
/sr19.tar.gz
diff --git a/cadical-32bit.patch b/cadical-32bit.patch
index 88b7e58..418b4d3 100644
--- a/cadical-32bit.patch
+++ b/cadical-32bit.patch
@@ -1,6 +1,6 @@
---- src/analyze.cpp.orig 2019-06-06 00:37:51.000000000 -0600
-+++ src/analyze.cpp 2019-06-12 20:24:52.020342137 -0600
-@@ -281,9 +281,9 @@ void Internal::clear_analyzed_levels ()
+--- src/analyze.cpp.orig 2019-06-16 06:56:32.000000000 -0600
++++ src/analyze.cpp 2019-06-30 16:20:00.887136296 -0600
+@@ -280,9 +280,9 @@ void Internal::clear_analyzed_levels ()
struct analyze_trail_negative_rank {
Internal * internal;
analyze_trail_negative_rank (Internal * s) : internal (s) { }
@@ -12,14 +12,3 @@
res <<= 32;
res |= v.trail;
return ~res;
---- src/checker.cpp.orig 2019-06-06 00:37:51.000000000 -0600
-+++ src/checker.cpp 2019-06-12 20:26:14.590255234 -0600
-@@ -514,7 +514,7 @@ void Checker::delete_clause (const vecto
- garbage = d;
- d->size = 0;
- // If there are enough garbage clauses collect them.
-- if (num_garbage > 0.5 * max (size_clauses, (size_t) size_vars))
-+ if (num_garbage > 0.5 * max (size_clauses, (uint64_t) size_vars))
- collect_garbage_clauses ();
- } else {
- internal->fatal_message_start ();
diff --git a/cadical.spec b/cadical.spec
index 8a0ad0f..66a7728 100644
--- a/cadical.spec
+++ b/cadical.spec
@@ -1,16 +1,11 @@
-# I do not understand upstream's versioning scheme. Starting with version
-# sr19, we revert to version 0 and use the release field to enforce proper
-# update ordering.
-%global upver sr19
-
Name: cadical
-Version: 0
-Release: 1.%{upver}%{?dist}
+Version: 1.0.0
+Release: 1%{?dist}
Summary: Simplified SAT solver
License: MIT
URL: http://fmv.jku.at/cadical/
-Source0: https://github.com/arminbiere/%{name}/archive/%{upver}.tar.gz
+Source0: https://github.com/arminbiere/%{name}/archive/rel-%{version}.tar.gz
# Fedora-only patch: build a shared library instead of a static library
Patch0: %{name}-shared.patch
# Fix building on 32-bit platforms
@@ -48,7 +43,7 @@ Library links and header files for developing applications that use
%{name}.
%prep
-%autosetup -p0 -n %{name}-%{upver}
+%autosetup -p0 -n %{name}-rel-%{version}
# We have commas in optflags, so commas can't be used as sed delimiters in
# the configure script. Also, do not override our build flags.
@@ -62,8 +57,8 @@ CXXFLAGS="%{optflags} -fPIC" ./configure
# Make man pages for the command line interface
export LD_LIBRARY_PATH=$PWD/build
-help2man --version-string=%{upver} -N -o cadical.1 build/cadical
-help2man --version-string=%{upver} -N -o mobical.1 -h -h build/mobical
+help2man --version-string=%{version} -N -o cadical.1 build/cadical
+help2man --version-string=%{version} -N -o mobical.1 -h -h build/mobical
%install
# The makefile has no install target. Install by hand.
@@ -112,6 +107,9 @@ make -C test
%{_libdir}/lib%{name}.so
%changelog
+* Sat Jun 29 2019 Jerry James <loganjerry(a)gmail.com> - 1.0.0-1
+- New upstream version
+
* Wed Jun 12 2019 Jerry James <loganjerry(a)gmail.com> - 0-1.sr19
- New upstream version
- Adapt to upstream version scheme
diff --git a/sources b/sources
index cdd427f..a27c67e 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA512 (sr19.tar.gz) = e6655562dd9d6344d2e292bff4d199d1d2d3ec69e21338294a5347338e7fcfd2896e4dc800ddd6bc35019499a867053cb1d4dccd02ce4e8ca6531f4c4665ce98
+SHA512 (rel-1.0.0.tar.gz) = 45ca4fd0efda6b0560bdfb4e827101df06a2186acaf3cb70465d4ab69b9c9bdbbc5b0b70d7ac6ea8339a045ea7600915b8753dd2c3fcee6a9a23c5372ad5a0bc
https://src.fedoraproject.org/rpms/cadical/c/36bf3f14b19ecaf51e860a57d0dd...
4Â years, 5Â months
filiperosset pushed to aime (f29). "- Updated to new 8.20190626
upstream version, fixes rhbz #1724451"
by notificationsï¼ fedoraproject.org
Notification time stamped 2019-06-30 22:44:17 UTC
From 717d9c4a7fafd9429c700245880f9ec8ef6448e2 Mon Sep 17 00:00:00 2001
From: Filipe Rosset <rosset.filipe(a)gmail.com>
Date: Jun 30 2019 22:27:08 +0000
Subject: - Updated to new 8.20190626 upstream version, fixes rhbz #1724451
---
diff --git a/.gitignore b/.gitignore
index ea0791c..814b52b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -26,3 +26,4 @@
/aime-8.20190416.tar.gz
/aime-8.20190516.tar.gz
/aime-8.20190609.tar.gz
+/aime-8.20190626.tar.gz
diff --git a/aime.spec b/aime.spec
index 174dff0..164d8f5 100644
--- a/aime.spec
+++ b/aime.spec
@@ -1,7 +1,7 @@
%global libname libaime
Name: aime
-Version: 8.20190609
+Version: 8.20190626
Release: 1%{?dist}
Summary: An application embeddable programming language interpreter
License: GPLv3+
@@ -52,8 +52,11 @@ rm -frv %{buildroot}%{_infodir}/dir
%{_includedir}/%{name}.h
%changelog
+* Sun Jun 30 2019 Filipe Rosset <rosset.filipe(a)gmail.com> - 8.20190626-1
+- Updated to new 8.20190626 upstream version, fixes rhbz #1724451
+
* Tue Jun 11 2019 Filipe Rosset <rosset.filipe(a)gmail.com> - 8.20190609-1
-- Updated to new 8.20190516 upstream version, fixes rhbz #1718871
+- Updated to new 8.20190609 upstream version, fixes rhbz #1718871
* Thu May 16 2019 Filipe Rosset <rosset.filipe(a)gmail.com> - 8.20190516-1
- Updated to new 8.20190516 upstream version, fixes rhbz #1706479
diff --git a/sources b/sources
index 332c913..d182adc 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA512 (aime-8.20190609.tar.gz) = dbbc4beb4c0b336f72e2bc79ae0d41d74aeb12107bcc2ee7c4f713973a389e633c3a850babeb02b2cd479db4e671eec1ed0c0b061231d88079a5e31da1debce8
+SHA512 (aime-8.20190626.tar.gz) = 890942b772dce935a25a8690ea8eee1f0b8e3e957a5f01a1ba4b19319e230ff16f14fb682f266465c6853f0246ea8710fd22e917be3d4bee2ebd36f87eb72a40
https://src.fedoraproject.org/rpms/aime/c/717d9c4a7fafd9429c700245880f9ec...
4Â years, 5Â months
filiperosset pushed to aime (f29). "- Updated to new 8.20190516
upstream version, fixes rhbz #1718871"
by notificationsï¼ fedoraproject.org
Notification time stamped 2019-06-30 22:44:17 UTC
From 8fbede893eae18434c9d20101f71509cbcfbe6bb Mon Sep 17 00:00:00 2001
From: Filipe Rosset <rosset.filipe(a)gmail.com>
Date: Jun 12 2019 02:33:29 +0000
Subject: - Updated to new 8.20190516 upstream version, fixes rhbz #1718871
---
diff --git a/.gitignore b/.gitignore
index 733c58d..ea0791c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -25,3 +25,4 @@
/aime-8.20180811.tar.gz
/aime-8.20190416.tar.gz
/aime-8.20190516.tar.gz
+/aime-8.20190609.tar.gz
diff --git a/aime.spec b/aime.spec
index d390481..174dff0 100644
--- a/aime.spec
+++ b/aime.spec
@@ -1,7 +1,7 @@
%global libname libaime
Name: aime
-Version: 8.20190516
+Version: 8.20190609
Release: 1%{?dist}
Summary: An application embeddable programming language interpreter
License: GPLv3+
@@ -52,6 +52,9 @@ rm -frv %{buildroot}%{_infodir}/dir
%{_includedir}/%{name}.h
%changelog
+* Tue Jun 11 2019 Filipe Rosset <rosset.filipe(a)gmail.com> - 8.20190609-1
+- Updated to new 8.20190516 upstream version, fixes rhbz #1718871
+
* Thu May 16 2019 Filipe Rosset <rosset.filipe(a)gmail.com> - 8.20190516-1
- Updated to new 8.20190516 upstream version, fixes rhbz #1706479
diff --git a/sources b/sources
index 2ab7776..332c913 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA512 (aime-8.20190516.tar.gz) = 334e88ed8dab537742c16d36f955e213829626e6b0131debe02ce3ba8b7b595b6c86e1a72475a8c5cf45d302b2ee42117c755a597d98e13ce8823d448d634f9a
+SHA512 (aime-8.20190609.tar.gz) = dbbc4beb4c0b336f72e2bc79ae0d41d74aeb12107bcc2ee7c4f713973a389e633c3a850babeb02b2cd479db4e671eec1ed0c0b061231d88079a5e31da1debce8
https://src.fedoraproject.org/rpms/aime/c/8fbede893eae18434c9d20101f71509...
4Â years, 5Â months
filiperosset pushed to aime (f30). "- Updated to new 8.20190626
upstream version, fixes rhbz #1724451"
by notificationsï¼ fedoraproject.org
Notification time stamped 2019-06-30 22:38:02 UTC
From 717d9c4a7fafd9429c700245880f9ec8ef6448e2 Mon Sep 17 00:00:00 2001
From: Filipe Rosset <rosset.filipe(a)gmail.com>
Date: Jun 30 2019 22:27:08 +0000
Subject: - Updated to new 8.20190626 upstream version, fixes rhbz #1724451
---
diff --git a/.gitignore b/.gitignore
index ea0791c..814b52b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -26,3 +26,4 @@
/aime-8.20190416.tar.gz
/aime-8.20190516.tar.gz
/aime-8.20190609.tar.gz
+/aime-8.20190626.tar.gz
diff --git a/aime.spec b/aime.spec
index 174dff0..164d8f5 100644
--- a/aime.spec
+++ b/aime.spec
@@ -1,7 +1,7 @@
%global libname libaime
Name: aime
-Version: 8.20190609
+Version: 8.20190626
Release: 1%{?dist}
Summary: An application embeddable programming language interpreter
License: GPLv3+
@@ -52,8 +52,11 @@ rm -frv %{buildroot}%{_infodir}/dir
%{_includedir}/%{name}.h
%changelog
+* Sun Jun 30 2019 Filipe Rosset <rosset.filipe(a)gmail.com> - 8.20190626-1
+- Updated to new 8.20190626 upstream version, fixes rhbz #1724451
+
* Tue Jun 11 2019 Filipe Rosset <rosset.filipe(a)gmail.com> - 8.20190609-1
-- Updated to new 8.20190516 upstream version, fixes rhbz #1718871
+- Updated to new 8.20190609 upstream version, fixes rhbz #1718871
* Thu May 16 2019 Filipe Rosset <rosset.filipe(a)gmail.com> - 8.20190516-1
- Updated to new 8.20190516 upstream version, fixes rhbz #1706479
diff --git a/sources b/sources
index 332c913..d182adc 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA512 (aime-8.20190609.tar.gz) = dbbc4beb4c0b336f72e2bc79ae0d41d74aeb12107bcc2ee7c4f713973a389e633c3a850babeb02b2cd479db4e671eec1ed0c0b061231d88079a5e31da1debce8
+SHA512 (aime-8.20190626.tar.gz) = 890942b772dce935a25a8690ea8eee1f0b8e3e957a5f01a1ba4b19319e230ff16f14fb682f266465c6853f0246ea8710fd22e917be3d4bee2ebd36f87eb72a40
https://src.fedoraproject.org/rpms/aime/c/717d9c4a7fafd9429c700245880f9ec...
4Â years, 5Â months
filiperosset pushed to aime (f30). "- Updated to new 8.20190516
upstream version, fixes rhbz #1718871"
by notificationsï¼ fedoraproject.org
Notification time stamped 2019-06-30 22:38:02 UTC
From 8fbede893eae18434c9d20101f71509cbcfbe6bb Mon Sep 17 00:00:00 2001
From: Filipe Rosset <rosset.filipe(a)gmail.com>
Date: Jun 12 2019 02:33:29 +0000
Subject: - Updated to new 8.20190516 upstream version, fixes rhbz #1718871
---
diff --git a/.gitignore b/.gitignore
index 733c58d..ea0791c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -25,3 +25,4 @@
/aime-8.20180811.tar.gz
/aime-8.20190416.tar.gz
/aime-8.20190516.tar.gz
+/aime-8.20190609.tar.gz
diff --git a/aime.spec b/aime.spec
index d390481..174dff0 100644
--- a/aime.spec
+++ b/aime.spec
@@ -1,7 +1,7 @@
%global libname libaime
Name: aime
-Version: 8.20190516
+Version: 8.20190609
Release: 1%{?dist}
Summary: An application embeddable programming language interpreter
License: GPLv3+
@@ -52,6 +52,9 @@ rm -frv %{buildroot}%{_infodir}/dir
%{_includedir}/%{name}.h
%changelog
+* Tue Jun 11 2019 Filipe Rosset <rosset.filipe(a)gmail.com> - 8.20190609-1
+- Updated to new 8.20190516 upstream version, fixes rhbz #1718871
+
* Thu May 16 2019 Filipe Rosset <rosset.filipe(a)gmail.com> - 8.20190516-1
- Updated to new 8.20190516 upstream version, fixes rhbz #1706479
diff --git a/sources b/sources
index 2ab7776..332c913 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA512 (aime-8.20190516.tar.gz) = 334e88ed8dab537742c16d36f955e213829626e6b0131debe02ce3ba8b7b595b6c86e1a72475a8c5cf45d302b2ee42117c755a597d98e13ce8823d448d634f9a
+SHA512 (aime-8.20190609.tar.gz) = dbbc4beb4c0b336f72e2bc79ae0d41d74aeb12107bcc2ee7c4f713973a389e633c3a850babeb02b2cd479db4e671eec1ed0c0b061231d88079a5e31da1debce8
https://src.fedoraproject.org/rpms/aime/c/8fbede893eae18434c9d20101f71509...
4Â years, 5Â months