Notification time stamped 2020-04-01 00:57:32 UTC
From c41636e6bfe89876ead106c8155ef4d403578416 Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry(a)gmail.com>
Date: Apr 01 2020 00:56:58 +0000
Subject: Bring the gross hack back due to intermittent crashes.
---
diff --git a/coq.spec b/coq.spec
index ad1ec01..1c9ebd4 100644
--- a/coq.spec
+++ b/coq.spec
@@ -185,7 +185,12 @@ cd -
export LD_LIBRARY_PATH=%{_libdir}/ocaml/stublibs
export CAML_LD_LIBRARY_PATH=$PWD/kernel/byterun:${CAML_LD_LIBRARY_PATH}
-make world VERBOSE=1
+
+# Gross hack to work around intermittent build failures. See
+# https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org…
+# for details. Revert to a single make invocation once the problem is
+# identified and fixed.
+make world VERBOSE=1 || make world VERBOSE=1 || make world VERBOSE=1
%install
make COQINSTALLPREFIX="%{buildroot}%{_prefix}" OLDROOT="%{_prefix}" \
https://src.fedoraproject.org/rpms/coq/c/c41636e6bfe89876ead106c8155ef4d403…
Notification time stamped 2020-04-01 00:50:52 UTC
From 54e8f0cd339948efc9f84713c5f2b7f5046a0ed5 Mon Sep 17 00:00:00 2001
From: Bob Hepple <bob.hepple(a)gmail.com>
Date: Mar 28 2020 07:36:18 +0000
Subject: Changes per RHBZ#1808278 and 1808276
---
diff --git a/libevdevPlus.spec b/libevdevPlus.spec
index bd8b661..fb786b3 100644
--- a/libevdevPlus.spec
+++ b/libevdevPlus.spec
@@ -1,7 +1,7 @@
Name: libevdevPlus
Version: 0.1.1
-Release: 3%{?dist}
-Summary: C++ wrapper around libevdev
+Release: 4%{?dist}
+Summary: A C++ wrapper around libevdev
License: MIT
URL: https://github.com/YukiWorkshop/libevdevPlus
Source0: %{url}/archive/v%{version}/%{name}-%{version}.tar.gz
@@ -11,13 +11,13 @@ BuildRequires: gcc-c++
BuildRequires: make
%description
-a c++ wrapper around libevdev (required for ydotool).
+A c++ wrapper around libevdev (required for ydotool).
%package devel
Summary: Development files for %{name}
Requires: %{name}%{?_isa} = %{version}-%{release}
%description devel
-This package contains header files for %{name}
+This package contains header files for %{name}.
%prep
%autosetup
@@ -45,12 +45,15 @@ rm -f %{buildroot}%{_libdir}/%{name}.a
%{_libdir}/pkgconfig/*
%changelog
+* Sat Mar 28 2020 Bob Hepple <bob.hepple(a)gmail.com> - 0.1.1-4
+- Changes per RHBZ#1808278 and 1808276
+
* Thu Mar 26 2020 Bob Hepple <bob.hepple(a)gmail.com> - 0.1.1-3
- fix globbing of shared library name
- move pkgconfig files to devel package
* Sun Mar 22 2020 Bob Hepple <bob.hepple(a)gmail.com> - 0.1.1-2
-- Changes per https://bugzilla.redhat.com/show_bug.cgi?id=1808278
+- Changes per RHBZ#1808278
* Sat Feb 29 2020 Bob Hepple <bob.hepple(a)gmail.com> - 0.1.1-1
- Initial version of the package
https://src.fedoraproject.org/rpms/libevdevPlus/c/54e8f0cd339948efc9f84713c…
Notification time stamped 2020-04-01 00:40:06 UTC
From 54e8f0cd339948efc9f84713c5f2b7f5046a0ed5 Mon Sep 17 00:00:00 2001
From: Bob Hepple <bob.hepple(a)gmail.com>
Date: Mar 28 2020 07:36:18 +0000
Subject: Changes per RHBZ#1808278 and 1808276
---
diff --git a/libevdevPlus.spec b/libevdevPlus.spec
index bd8b661..fb786b3 100644
--- a/libevdevPlus.spec
+++ b/libevdevPlus.spec
@@ -1,7 +1,7 @@
Name: libevdevPlus
Version: 0.1.1
-Release: 3%{?dist}
-Summary: C++ wrapper around libevdev
+Release: 4%{?dist}
+Summary: A C++ wrapper around libevdev
License: MIT
URL: https://github.com/YukiWorkshop/libevdevPlus
Source0: %{url}/archive/v%{version}/%{name}-%{version}.tar.gz
@@ -11,13 +11,13 @@ BuildRequires: gcc-c++
BuildRequires: make
%description
-a c++ wrapper around libevdev (required for ydotool).
+A c++ wrapper around libevdev (required for ydotool).
%package devel
Summary: Development files for %{name}
Requires: %{name}%{?_isa} = %{version}-%{release}
%description devel
-This package contains header files for %{name}
+This package contains header files for %{name}.
%prep
%autosetup
@@ -45,12 +45,15 @@ rm -f %{buildroot}%{_libdir}/%{name}.a
%{_libdir}/pkgconfig/*
%changelog
+* Sat Mar 28 2020 Bob Hepple <bob.hepple(a)gmail.com> - 0.1.1-4
+- Changes per RHBZ#1808278 and 1808276
+
* Thu Mar 26 2020 Bob Hepple <bob.hepple(a)gmail.com> - 0.1.1-3
- fix globbing of shared library name
- move pkgconfig files to devel package
* Sun Mar 22 2020 Bob Hepple <bob.hepple(a)gmail.com> - 0.1.1-2
-- Changes per https://bugzilla.redhat.com/show_bug.cgi?id=1808278
+- Changes per RHBZ#1808278
* Sat Feb 29 2020 Bob Hepple <bob.hepple(a)gmail.com> - 0.1.1-1
- Initial version of the package
https://src.fedoraproject.org/rpms/libevdevPlus/c/54e8f0cd339948efc9f84713c…