Hello community, here is the log from the commit of package metamath for openSUSE:Factory checked in at 2019-06-26 16:03:59 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/metamath (Old) and /work/SRC/openSUSE:Factory/.metamath.new.4615 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "metamath" Wed Jun 26 16:03:59 2019 rev:2 rq:711918 version:unknown Changes: -------- --- /work/SRC/openSUSE:Factory/metamath/metamath.changes 2019-06-19 20:54:56.693802747 +0200 +++ /work/SRC/openSUSE:Factory/.metamath.new.4615/metamath.changes 2019-06-26 16:04:00.347626998 +0200 @@ -1,0 +2,7 @@ +Wed May 1 19:59:45 UTC 2019 - [email protected] + +- Update to version 0.177. +- Update book to version 20190407. +- Use man page from upstream now. + +------------------------------------------------------------------- Old: ---- metamath.1 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ metamath.spec ++++++ --- /var/tmp/diff_new_pack.eeylVP/_old 2019-06-26 16:04:05.067633676 +0200 +++ /var/tmp/diff_new_pack.eeylVP/_new 2019-06-26 16:04:05.115633744 +0200 @@ -18,11 +18,11 @@ %bcond_with latex_doc %endif -%define book_version 20190307 +%define book_version 20190407 # Global definitions Name: metamath -Version: 0.175 +Version: 0.177 Release: 0 Summary: Formal proof verifier and proof assistant License: GPL-2.0-or-later @@ -33,7 +33,6 @@ Source0: %{name}.tar.bz2 # http://us.metamath.org/latex/metamath.tex Source1: %{name}.tex -Source2: %{name}.1 BuildRequires: autoconf BuildRequires: automake BuildRequires: gcc @@ -109,14 +108,13 @@ pdflatex %{SOURCE1} pdflatex %{SOURCE1} bibtex metamath -makeindex metamath +makeindex metamath.ind pdflatex %{SOURCE1} pdflatex %{SOURCE1} %endif %install %make_install -install -Dm0644 %{SOURCE2} %{buildroot}%{_mandir}/man1/%{name}.1 %if %{with latex_doc} install -Dm0644 metamath.pdf %{buildroot}%{_datadir}/%{name}/%{name}.pdf %endif ++++++ metamath.tar.bz2 ++++++ /work/SRC/openSUSE:Factory/metamath/metamath.tar.bz2 /work/SRC/openSUSE:Factory/.metamath.new.4615/metamath.tar.bz2 differ: char 11, line 1 ++++++ metamath.tex ++++++ ++++ 851 lines (skipped) ++++ between /work/SRC/openSUSE:Factory/metamath/metamath.tex ++++ and /work/SRC/openSUSE:Factory/.metamath.new.4615/metamath.tex
