Hello community, here is the log from the commit of package coq for openSUSE:Factory checked in at 2020-04-09 23:17:16 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/coq (Old) and /work/SRC/openSUSE:Factory/.coq.new.3248 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "coq" Thu Apr 9 23:17:16 2020 rev:4 rq:792575 version:8.11.1 Changes: -------- --- /work/SRC/openSUSE:Factory/coq/coq.changes 2020-03-30 23:02:52.176158271 +0200 +++ /work/SRC/openSUSE:Factory/.coq.new.3248/coq.changes 2020-04-09 23:17:59.774332650 +0200 @@ -1,0 +2,17 @@ +Wed Apr 8 22:20:23 UTC 2020 - Aaron Puchert <[email protected]> + +- Update to version 8.11.1, with upstream support for OCaml 4.10. + * Allow more inductive types in Unset Positivity Checking mode. + * Fixed bugs in dealing with precedence of notations in custom + entries. + * In primitive floats, print a warning when parsing a decimal + value that is not exactly a binary64 floating-point number. + For instance, parsing 0.1 will print a warning whereas parsing + 0.5 won't. + * Fixed an issue in CoqIDE about compiling file paths containing + spaces. + * Fixed an issue where Extraction Implicit on the constructor of + a record was leading to an anomaly. +- Remove now obsolete ocaml-410-build.patch. + +------------------------------------------------------------------- Old: ---- coq-8.11.0.tar.gz ocaml-410-build.patch New: ---- coq-8.11.1.tar.gz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ coq.spec ++++++ --- /var/tmp/diff_new_pack.tFZZjU/_old 2020-04-09 23:18:00.830333260 +0200 +++ /var/tmp/diff_new_pack.tFZZjU/_new 2020-04-09 23:18:00.834333262 +0200 @@ -18,7 +18,7 @@ Name: coq -Version: 8.11.0 +Version: 8.11.1 Release: 0 Summary: Proof Assistant based on the Calculus of Inductive Constructions License: LGPL-2.1-only @@ -28,8 +28,6 @@ Source1: coq.desktop Source2: coq.xml Source100: %{name}-rpmlintrc -# https://github.com/ppedrot/coq/commit/ae000c9efc256675ce1d56ba27ed7f99e0540ff3 -Patch1: ocaml-410-build.patch BuildRequires: desktop-file-utils BuildRequires: memory-constraints # Required for standard coq: @@ -79,7 +77,6 @@ %prep %setup -q -%patch1 -p1 %build export CFLAGS='%{optflags}' @@ -172,7 +169,6 @@ %{_bindir}/coqtop.opt %{_bindir}/coqwc %{_bindir}/coqworkmgr -%{_bindir}/doc_grammar %{_bindir}/votour %dir %{_libdir}/coq ++++++ coq-8.11.0.tar.gz -> coq-8.11.1.tar.gz ++++++ /work/SRC/openSUSE:Factory/coq/coq-8.11.0.tar.gz /work/SRC/openSUSE:Factory/.coq.new.3248/coq-8.11.1.tar.gz differ: char 16, line 1
