commit metamath for openSUSE:Factory
Hello community,
here is the log from the commit of package metamath for openSUSE:Factory
checked in at 2019-12-24 14:29:54
Comparing /work/SRC/openSUSE:Factory/metamath (Old)
and /work/SRC/openSUSE:Factory/.metamath.new.6675 (New)
Package is "metamath"
Tue Dec 24 14:29:54 2019 rev:4 rq:759050 version:unknown
Changes:
--- /work/SRC/openSUSE:Factory/metamath/metamath.changes2019-09-30
15:58:02.717432772 +0200
+++ /work/SRC/openSUSE:Factory/.metamath.new.6675/metamath.changes
2019-12-24 14:29:58.490576087 +0100
@@ -1,0 +2,20 @@
+Fri Dec 20 22:31:33 UTC 2019 - Aaron Puchert
+
+- Update to version 0.180.
+ * MINIMIZE_WITH axiom trace now starts from current NEW_PROOF
+instead of SAVEd proof.
+ * Make sure traceback flags are cleared after MINIMIZE_WITH.
+ * Add url pointer to HELP WRITE SOURCE /SPLIT.
+ * Clarify HELP WRITE SOURCE /REWRAP.
+ * Add bug check info for user.
+ * Use '|->' (not 'e.') as syntax hint for maps-to.
+ * Remove extraneous .
+ * Fix "line 0" in error msg when label clashes with math symbol.
+ * Improve TOOLS> HELP INSERT, DELETE.
+ * Change bug 1511 to error message.
+ * Trigger Most Recent link on mmtheorems.html when there is a
+mathbox statement (currently set.mm and iset.mm).
+ * Improve help for TOOLS> DELETE and SUBSTITUTE.
+ * Change "htmlHome" in warnings to "htmlhome".
+
+---
Other differences:
--
++ metamath.spec ++
--- /var/tmp/diff_new_pack.TX6NeF/_old 2019-12-24 14:30:00.826577217 +0100
+++ /var/tmp/diff_new_pack.TX6NeF/_new 2019-12-24 14:30:00.826577217 +0100
@@ -1,7 +1,7 @@
#
# spec file for package metamath
#
-# Copyright (c) 2019 SUSE LINUX GmbH, Nuernberg, Germany.
+# Copyright (c) 2019 SUSE LLC
# Copyright (c) 2016-2019 by Aaron Puchert
#
# All modifications and additions to the file contributed by third parties
@@ -28,12 +28,12 @@
# Global definitions
Name: metamath
-Version:0.178
+Version:0.180
Release:0
Summary:Formal proof verifier and proof assistant
License:GPL-2.0-or-later
Group: Productivity/Scientific/Math
-Url:http://us.metamath.org/
+URL:http://us.metamath.org/
# Source links aren't stable. (They always points to the latest version.)
# http://us.metamath.org/downloads/metamath.tar.bz2
Source0:%{name}.tar.bz2
++ metamath.tar.bz2 ++
/work/SRC/openSUSE:Factory/metamath/metamath.tar.bz2
/work/SRC/openSUSE:Factory/.metamath.new.6675/metamath.tar.bz2 differ: char 11,
line 1
commit metamath for openSUSE:Factory
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.changes2019-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
+
+- 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
commit metamath for openSUSE:Factory
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.changes2019-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 - aaronpuch...@alice-dsl.net
+
+- 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
commit metamath for openSUSE:Factory
Hello community,
here is the log from the commit of package metamath for openSUSE:Factory
checked in at 2019-06-19 20:54:53
Comparing /work/SRC/openSUSE:Factory/metamath (Old)
and /work/SRC/openSUSE:Factory/.metamath.new.4811 (New)
Package is "metamath"
Wed Jun 19 20:54:53 2019 rev:1 rq:691613 version:unknown
Changes:
New Changes file:
--- /dev/null 2019-06-06 01:32:53.891093091 +0200
+++ /work/SRC/openSUSE:Factory/.metamath.new.4811/metamath.changes
2019-06-19 20:54:56.693802747 +0200
@@ -0,0 +1,88 @@
+---
+Thu Apr 4 20:55:37 UTC 2019 - aaronpuch...@alice-dsl.net
+
+- Change SPDX identifier to GPL-2.0-or-later, as README.TXT states.
+
+---
+Tue Mar 19 23:32:32 UTC 2019 - aaronpuch...@alice-dsl.net
+
+- Fix dependency versions - since the book has a different version,
+ we need to be careful which version we refer to.
+
+---
+Sat Mar 16 18:08:59 UTC 2019 - aaronpuch...@alice-dsl.net
+
+- Fix version number.
+
+---
+Sat Mar 16 17:03:35 UTC 2019 - Jan Engelhardt
+
+- Remove %if..%endif guards that do not change the build result.
+- Itemize the list in the description.
+
+---
+Sat Mar 16 14:37:53 UTC 2019 - aaronpuch...@alice-dsl.net
+
+- Update to version 0.175.
+- Update Metamath book to version 20190307.
+- Use date as version number for Metamath book, because it isn't
+ versioned alongside the program.
+- Move source links into comments, as they aren't stable. They
+ always point to the latest version, which isn't compatible with
+ download_files service runs.
+
+---
+Thu Mar 7 20:45:21 UTC 2019 - aaronpuch...@alice-dsl.net
+
+- Update to version 0.174.
+- Package Metamath book separately.
+
+---
+Tue Jan 8 23:48:34 UTC 2019 - aaronpuch...@alice-dsl.net
+
+- Update to version 0.171.
+
+---
+Mon Aug 6 21:18:20 UTC 2018 - aaronpuch...@alice-dsl.net
+
+- Update to version 0.163.
+- Recommend data package, make it noarch.
+
+---
+Sun Feb 4 22:58:39 UTC 2018 - aaronpuch...@alice-dsl.net
+
+- Add a brief manual page.
+- Do not build LaTeX docs on SLES, because TeXlive doesn't seem up
+ to the task there.
+
+---
+Sun Feb 4 19:20:30 UTC 2018 - aaronpuch...@alice-dsl.net
+
+- Update to version 0.161.
+- Also build documentation.
+- Package data base files separately.
+
+---
+Tue Oct 24 20:35:00 UTC 2017 - aaronpuch...@alice-dsl.net
+
+- Update version to 0.155.
+
+---
+Wed Jul 19 14:00:00 UTC 2017 - aaronpuch...@alice-dsl.net
+
+- Really update version to 0.146.
+
+---
+Wed Jul 19 13:55:00 UTC 2017 - aaronpuch...@alice-dsl.net
+
+- Update version to 0.146.
+
+---
+Sat Apr 15 11:45:00 UTC 2017 - aaronpuch...@alice-dsl.net
+
+- Update version to 0.139.
+
+---
+Mon Oct 31 23:27:00 UTC 2016 - aaronpuch...@alice-dsl.net
+
+- Initial release of the package base on version 0.130.
New:
metamath.1
metamath.changes
metamath.spec
metamath.tar.bz2
metamath.tex
Other differences:
--
++ metamath.spec ++
# Specification for package metamath
#
# Copyright (c) 2016-2019 by Aaron Puchert
#
# All modifications and additions to the file contributed by third parties
# remain the property of their copyright owners, unless otherwise agreed
# upon. The license for this file, and modifications and additions to the
# file, is the same license as for the pristine package itself (unless the
# license for the pristine package is not an Open Source License, in which
# case the license is the MIT License). An "Open Source License" is a
# license that conforms to the Open Source Definition (Version 1.9)
# published by the Open Source Initiative.
# Do not build LaTeX docs on SLES.
%if 0%{?is_opensuse}
%bcond_without latex_doc
%else
%bcond_with latex_doc
%endif
%define book_version 20190307
# Global definitions
Name: metamath
Version:0.175
Release:0
Summary:Formal proo
