Do not ship the eigen3 headers in -devel.

libsemigroups.spec

@@ -1,6 +1,6 @@
 Name:           libsemigroups
 Version:        1.3.1
-Release:        1%{?dist}
+Release:        2%{?dist}
 Summary:        C++ library for semigroups and monoids
 
 License:        GPLv3+
@@ -83,6 +83,7 @@ Libsemigroups also has some advantages over Semigroupe 2.01:
 %package devel
 Summary:        Headers files for developing with %{name}
 Requires:       %{name}%{?_isa} = %{version}-%{release}
+Requires:       eigen3-devel%{?_isa}
 Requires:       fmt-devel%{?_isa}
 
 %description devel
@@ -145,13 +146,22 @@ cd -
 %make_install
 rm -f %{buildroot}%{_libdir}/*.la
 
+fixtimestamp() {
+  touch -r $1.orig $1
+  rm -f $1.orig
+}
+
+# Do not bundle the eigen3 headers
+rm -fr %{buildroot}%{_includedir}/libsemigroups/Eigen
+sed -i.orig 's,<Eigen/,<eigen3/Eigen/,g' \
+    %{buildroot}%{_includedir}/libsemigroups/obvinf.hpp
+fixtimestamp %{buildroot}%{_includedir}/libsemigroups/obvinf.hpp
+
 # Do not bundle the fmt headers
 rm -fr %{buildroot}%{_includedir}/libsemigroups/fmt
 sed -i.orig 's,"\(fmt/[[:alnum:]]*\.h\)",<\1>,g' \
     %{buildroot}%{_includedir}/libsemigroups/report.hpp
-touch -r %{buildroot}%{_includedir}/libsemigroups/report.hpp.orig \
-    %{buildroot}%{_includedir}/libsemigroups/report.hpp
-rm %{buildroot}%{_includedir}/libsemigroups/report.hpp.orig
+fixtimestamp %{buildroot}%{_includedir}/libsemigroups/report.hpp
 
 %check
 LD_LIBRARY_PATH=$PWD/.libs make check
@@ -172,6 +182,9 @@ LD_LIBRARY_PATH=$PWD/.libs make check
 %license LICENSE
 
 %changelog
+* Mon Aug 31 2020 Jerry James <loganjerry@gmail.com> - 1.3.1-2
+- Do not ship the eigen3 headers in -devel
+
 * Mon Aug 31 2020 Jerry James <loganjerry@gmail.com> - 1.3.1-1
 - Version 1.3.1
 - Add -autoconf patch