Script 'mail_helper' called by obssrc
Hello community,
here is the log from the commit of package metamath for openSUSE:Factory
checked in at 2021-03-24 16:11:31
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Comparing /work/SRC/openSUSE:Factory/metamath (Old)
and /work/SRC/openSUSE:Factory/.metamath.new.2401 (New)
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "metamath"
Wed Mar 24 16:11:31 2021 rev:5 rq:876628 version:unknown
Changes:
--------
--- /work/SRC/openSUSE:Factory/metamath/metamath.changes 2019-12-24
14:29:58.490576087 +0100
+++ /work/SRC/openSUSE:Factory/.metamath.new.2401/metamath.changes
2021-03-24 16:11:32.691850401 +0100
@@ -1,0 +2,41 @@
+Wed Mar 3 22:52:42 UTC 2021 - Aaron Puchert <aaronpuch...@alice-dsl.net>
+
+- Update to version 0.196.
+ * Fix bug causing new axioms to be used by MINIMIZE_WITH.
+ * Add "Claim" to bib ref types.
+ * Remove error check for $e <- $f assignments.
+ * Check for discouragement tags in *ALT, *OLD labels in
+ VERIFY MARKUP.
+ * Add underscore checking in VERIFY MARKUP and add /UNDERSCORE-
+ _SKIP qualifier; also check for trailing space on lines.
+ * Refine prevention of WRITE SOURCE.../REWRAP from modifying
+ comments containing "<HTML>".
+ * Allow space in TOOLS> BREAK.
+ * Add checking for mathbox independence to VERIFY MARKUP;
+ add /MATHBOX_SKIP.
+ * "PROVE =" will now resume the previous MM-PA session if there
+ was one; allow "~" to start/end with blank (meaning first/last
+ statement); add "@1234".
+ * Add /INCLUDE_MATHBOXES to to IMPROVE; notify user upon ASSIGN
+ from another mathbox.
+ * Print message when IMPROVE or MINIMIZE_WITH uses another mathbox.
+ * Add CONJECTURE, RESULT to [bib] keywords.
+ * Add HELP BIBLIOGRAPHY.
+ * Added CONCLUSION FACT INTRODUCTION PARAGRAPH SCOLIA SCOLION
+ SUBSECTION TABLE to [bib] keywords.
+ * Added WRITE SOURCE ... /EXTRACT ....
+ * Make the output of /EXTRACT stable in the sense that, with the
+ same <label-list> parameter, extract(extract(file)) =
+ extract(file) except that the date stamp at the top will be
+ updated. (The first extraction even if "*" will usually be
+ different because it discards non-relevant content. Note that
+ the include file directives "$( $[ Begin..." etc. and comments
+ with "$j" are currently discarded.)
+ * Add keyword "htmlexturl" to $t statement in .mm file.
+ * Prevent "htmlexturl" links from wrapping.
+ * Temporarily disable /REWRAP until bug fixed.
+ * Fix bug that deleted comments that were followed by ${, $}, $c,
+ $v, $d on the same line.
+- Relax dependencies.
+
+-------------------------------------------------------------------
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Other differences:
------------------
++++++ metamath.spec ++++++
--- /var/tmp/diff_new_pack.UoHz34/_old 2021-03-24 16:11:34.435852230 +0100
+++ /var/tmp/diff_new_pack.UoHz34/_new 2021-03-24 16:11:34.439852235 +0100
@@ -1,8 +1,8 @@
#
# spec file for package metamath
#
-# Copyright (c) 2019 SUSE LLC
-# Copyright (c) 2016-2019 by Aaron Puchert
+# Copyright (c) 2021 SUSE LLC
+# Copyright (c) 2021 Aaron Puchert
#
# All modifications and additions to the file contributed by third parties
# remain the property of their copyright owners, unless otherwise agreed
@@ -28,7 +28,7 @@
# Global definitions
Name: metamath
-Version: 0.180
+Version: 0.196
Release: 0
Summary: Formal proof verifier and proof assistant
License: GPL-2.0-or-later
@@ -54,9 +54,9 @@
BuildRequires: texlive-microtype
BuildRequires: texlive-needspace
BuildRequires: texlive-tabu
-Recommends: %{name}-book = %{book_version}-%{release}
+Recommends: %{name}-book = %{book_version}
%endif
-Recommends: %{name}-data = %{version}-%{release}
+Recommends: %{name}-data = %{version}
BuildRoot: %{_tmppath}/%{name}-%{version}-build
%description
@@ -71,7 +71,7 @@
Group: Productivity/Scientific/Math
Version: %{book_version}
Release: 0
-Requires: %{name} = %{VERSION}-%{release}
+Recommends: %{name} = %{VERSION}
BuildArch: noarch
%description book
@@ -85,7 +85,7 @@
Summary: Data base files for %{name}
License: CC0-1.0 AND GPL-2.0-or-later
Group: Productivity/Scientific/Math
-Requires: %{name} = %{VERSION}-%{release}
+Requires: %{name} = %{VERSION}
BuildArch: noarch
%description data
++++++ metamath.tar.bz2 ++++++
/work/SRC/openSUSE:Factory/metamath/metamath.tar.bz2
/work/SRC/openSUSE:Factory/.metamath.new.2401/metamath.tar.bz2 differ: char 11,
line 1
