Hello community, here is the log from the commit of package metamath for openSUSE:Factory checked in at 2019-09-30 15:58:01 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/metamath (Old) and /work/SRC/openSUSE:Factory/.metamath.new.2352 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "metamath" Mon Sep 30 15:58:01 2019 rev:3 rq:733250 version:unknown Changes: -------- --- /work/SRC/openSUSE:Factory/metamath/metamath.changes 2019-06-26 16:04:00.347626998 +0200 +++ /work/SRC/openSUSE:Factory/.metamath.new.2352/metamath.changes 2019-09-30 15:58:02.717432772 +0200 @@ -1,0 +2,7 @@ +Wed Sep 25 20:34:17 UTC 2019 - Aaron Puchert <[email protected]> + +- Update to version 0.178. +- Update book to version 20190602. +- Remove Windows executable from sources before building. + +------------------------------------------------------------------- ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ metamath.spec ++++++ --- /var/tmp/diff_new_pack.quQBpK/_old 2019-09-30 15:58:04.321428503 +0200 +++ /var/tmp/diff_new_pack.quQBpK/_new 2019-09-30 15:58:04.325428493 +0200 @@ -1,5 +1,7 @@ -# Specification for package metamath # +# spec file for package metamath +# +# Copyright (c) 2019 SUSE LINUX GmbH, Nuernberg, Germany. # Copyright (c) 2016-2019 by Aaron Puchert # # All modifications and additions to the file contributed by third parties @@ -11,6 +13,10 @@ # license that conforms to the Open Source Definition (Version 1.9) # published by the Open Source Initiative. +# Please submit bugfixes or comments via https://bugs.opensuse.org/ +# + + # Do not build LaTeX docs on SLES. %if 0%{?is_opensuse} %bcond_without latex_doc @@ -18,11 +24,11 @@ %bcond_with latex_doc %endif -%define book_version 20190407 +%define book_version 20190602 # Global definitions Name: metamath -Version: 0.177 +Version: 0.178 Release: 0 Summary: Formal proof verifier and proof assistant License: GPL-2.0-or-later @@ -61,9 +67,10 @@ %package book Summary: The Metamath book -Version: %{book_version} License: CC0-1.0 Group: Productivity/Scientific/Math +Version: %{book_version} +Release: 0 Requires: %{name} = %{VERSION}-%{release} BuildArch: noarch @@ -95,6 +102,7 @@ %prep %setup -q -n %{name} +rm metamath.exe %build autoreconf -fi ++++++ metamath.tar.bz2 ++++++ /work/SRC/openSUSE:Factory/metamath/metamath.tar.bz2 /work/SRC/openSUSE:Factory/.metamath.new.2352/metamath.tar.bz2 differ: char 11, line 1 ++++++ metamath.tex ++++++ ++++ 2913 lines (skipped) ++++ between /work/SRC/openSUSE:Factory/metamath/metamath.tex ++++ and /work/SRC/openSUSE:Factory/.metamath.new.2352/metamath.tex
