Script 'mail_helper' called by obssrc Hello community, here is the log from the commit of package coq for openSUSE:Factory checked in at 2024-03-08 18:09:09 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/coq (Old) and /work/SRC/openSUSE:Factory/.coq.new.1770 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "coq" Fri Mar 8 18:09:09 2024 rev:27 rq:1156169 version:8.19.1 Changes: -------- --- /work/SRC/openSUSE:Factory/coq/coq.changes 2024-01-29 22:29:30.502515231 +0100 +++ /work/SRC/openSUSE:Factory/.coq.new.1770/coq.changes 2024-03-08 18:09:15.458307812 +0100 @@ -1,0 +2,15 @@ +Thu Mar 7 22:31:46 UTC 2024 - Aaron Puchert <[email protected]> + +- Update to version 8.19.1. + * Fixed incorrect abstraction of sort variables for opaque + constants leading to an inconsistency. + * Fixed memory corruption with `vm_compute` (rare but more + likely with OCaml 5.1). + * "Found no matching notation to enable or disable" is now a + warning instead of an error. + * Fixed undeclared universe with multiple uses of `abstract`. + * Fixed incorrect printing of constructor values with multiple + arguments, and over-parenthesizing of constructor printing. + * Fixed incorrect declared type for Ltac2.FMap.fold. + +------------------------------------------------------------------- Old: ---- coq-8.19.0.tar.gz coq-refman-8.19.0.tar.xz coq-stdlib-8.19.0.tar.xz New: ---- coq-8.19.1.tar.gz coq-refman-8.19.1.tar.xz coq-stdlib-8.19.1.tar.xz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ coq.spec ++++++ --- /var/tmp/diff_new_pack.pLXgil/_old 2024-03-08 18:09:18.986440368 +0100 +++ /var/tmp/diff_new_pack.pLXgil/_new 2024-03-08 18:09:18.990440518 +0100 @@ -26,7 +26,7 @@ %endif Name: coq -Version: 8.19.0 +Version: 8.19.1 Release: 0 Summary: Proof Assistant based on the Calculus of Inductive Constructions License: LGPL-2.1-only @@ -185,10 +185,10 @@ # pushd doc # git sparse-checkout add V%{version} # cd V%{version} -# tar --sort=name --owner=0 --group=0 --mtime="@$(stat -c %%Y refman/index.html)" \ +# tar --sort=name --owner=0 --group=0 --mtime="@${SOURCE_DATE_EPOCH}" \ # --pax-option=exthdr.name=%d/PaxHeaders/%f,delete=atime,delete=ctime \ # -cJf ../../coq-refman-%{version}.tar.xz refman -# tar --sort=name --owner=0 --group=0 --mtime="@$(stat -c %%Y stdlib/index.html)" \ +# tar --sort=name --owner=0 --group=0 --mtime="@${SOURCE_DATE_EPOCH}" \ # --pax-option=exthdr.name=%d/PaxHeaders/%f,delete=atime,delete=ctime \ # -cJf ../../coq-stdlib-%{version}.tar.xz stdlib # popd ++++++ coq-8.19.0.tar.gz -> coq-8.19.1.tar.gz ++++++ /work/SRC/openSUSE:Factory/coq/coq-8.19.0.tar.gz /work/SRC/openSUSE:Factory/.coq.new.1770/coq-8.19.1.tar.gz differ: char 29, line 1 ++++++ coq-refman-8.19.0.tar.xz -> coq-refman-8.19.1.tar.xz ++++++ /work/SRC/openSUSE:Factory/coq/coq-refman-8.19.0.tar.xz /work/SRC/openSUSE:Factory/.coq.new.1770/coq-refman-8.19.1.tar.xz differ: char 26, line 1 ++++++ coq-stdlib-8.19.0.tar.xz -> coq-stdlib-8.19.1.tar.xz ++++++ ++++ 11375 lines of diff (skipped) ++++++ fr.inria.coq.coqide.metainfo.xml ++++++ --- /var/tmp/diff_new_pack.pLXgil/_old 2024-03-08 18:09:20.314490265 +0100 +++ /var/tmp/diff_new_pack.pLXgil/_new 2024-03-08 18:09:20.314490265 +0100 @@ -46,6 +46,10 @@ <url type="contribute">https://github.com/coq/coq/blob/master/CONTRIBUTING.md</url> <launchable type="desktop-id">fr.inria.coq.coqide.desktop</launchable> <releases> + <release version="8.19.1" date="2024-03-04"/> + <release version="8.19.0" date="2024-01-24"/> + <release version="8.18.0" date="2023-09-08"/> + <release version="8.17.1" date="2023-06-27"/> <release version="8.17.0" date="2023-03-27"/> <release version="8.16.1" date="2022-11-25"/> <release version="8.16.0" date="2022-09-05"/>
