Your message dated Wed, 06 Feb 2019 19:05:32 +0000 with message-id <E1grSVo-000CMC-9w@fasolo.debian.org> and subject line Bug#854147: fixed in coq 8.9.0-1 has caused the Debian Bug report #854147, regarding coq: ERROR: coq is broken - called emacs-package-install as a new-style add-on, but has no compat file. to be marked as done. This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact owner@bugs.debian.org immediately.) -- 854147: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=854147 Debian Bug Tracking System Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: Debian Bug Tracking System <submit@bugs.debian.org>
- Subject: coq: ERROR: coq is broken - called emacs-package-install as a new-style add-on, but has no compat file.
- From: Andreas Beckmann <anbe@debian.org>
- Date: Sat, 04 Feb 2017 14:50:10 +0100
- Message-id: <20170204135010.966.8973.reportbug@zam581.zam.kfa-juelich.de>
Package: coq Version: 8.6-4 Severity: important User: debian-qa@lists.debian.org Usertags: piuparts Hi, during a test with piuparts I noticed your package produced an error message during installation, but did not fail. >From the attached log (scroll to the bottom...): Setting up coq (8.6-4) ... ERROR: coq is broken - called emacs-package-install as a new-style add-on, but has no compat file. Install coq for emacs cheers, AndreasAttachment: coq_8.6-4.log.gz
Description: application/gzip
--- End Message ---
--- Begin Message ---
- To: 854147-close@bugs.debian.org
- Subject: Bug#854147: fixed in coq 8.9.0-1
- From: Benjamin Barenblat <bbaren@debian.org>
- Date: Wed, 06 Feb 2019 19:05:32 +0000
- Message-id: <E1grSVo-000CMC-9w@fasolo.debian.org>
Source: coq Source-Version: 8.9.0-1 We believe that the bug you reported is fixed in the latest version of coq, which is due to be installed in the Debian FTP archive. A summary of the changes between this version and the previous one is attached. Thank you for reporting the bug, which will now be closed. If you have further comments please address them to 854147@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Benjamin Barenblat <bbaren@debian.org> (supplier of updated coq package) (This message was generated automatically at their request; if you believe that there is a problem with it please contact the archive administrators by mailing ftpmaster@ftp-master.debian.org) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 06 Feb 2019 12:41:09 -0500 Source: coq Binary: coq coq-dbgsym coq-theories coq-theories-dbgsym libcoq-ocaml libcoq-ocaml-dbgsym libcoq-ocaml-dev Architecture: source amd64 Version: 8.9.0-1 Distribution: unstable Urgency: high Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Benjamin Barenblat <bbaren@debian.org> Description: coq - proof assistant for higher-order logic (toplevel and compiler) coq-theories - proof assistant for higher-order logic (theories) libcoq-ocaml - runtime libraries for Coq libcoq-ocaml-dev - development libraries and tools for Coq Closes: 736761 854147 877938 919462 Changes: coq (8.9.0-1) unstable; urgency=high . * New upstream release * Set CAML_LD_LIBRARY_PATH and COQLIB correctly during building (Closes: #919462) * Coq no longer ships an Emacs mode; users should migrate to Proof General (Closes: #736761, #854147, #877938) Checksums-Sha1: 9bbd3854ecbfb64f66724d1f84ffbf94da076416 2417 coq_8.9.0-1.dsc 3c87729e8528f060bf77994386faafb30180ec76 5395769 coq_8.9.0.orig.tar.gz 14194604881ad111d1cb61d48d6bfb0a8dfa3f6a 27816 coq_8.9.0-1.debian.tar.xz 6d94e4a8b95d18300479e85a88aba3ddf8b8c990 3736676 coq-dbgsym_8.9.0-1_amd64.deb e89f1bc50b17201c8b433ea73a258c11dce56cf7 773124 coq-theories-dbgsym_8.9.0-1_amd64.deb 6ccb1474dfa447143d8d639e722b9a0e3121a23d 29737672 coq-theories_8.9.0-1_amd64.deb 987692ef011f0d65c694bde4bbe66b710feeffc1 14840 coq_8.9.0-1_amd64.buildinfo 7cec356e8f21970af83002cd224e90fe7cea66b7 58990560 coq_8.9.0-1_amd64.deb ac7f216c33ff1cf53ff0239da632274774a7522d 534608 libcoq-ocaml-dbgsym_8.9.0-1_amd64.deb 4e5ad529c09eb21295ce0a479b6d1c4ee71c56c0 13703936 libcoq-ocaml-dev_8.9.0-1_amd64.deb 946676d495835202c8096f47a11333fa78c07248 5463112 libcoq-ocaml_8.9.0-1_amd64.deb Checksums-Sha256: a58269491c02821e38e3bcdf27a706679313b566443118320e3e352019f35a0e 2417 coq_8.9.0-1.dsc 6468ba1b0e5f0168dcd03b29de573be2198e1a2e0311a99f8d418f4d08458908 5395769 coq_8.9.0.orig.tar.gz a8f122b61740f994bcdb3cc5e96cd82e31ec9e8f3d163b7afe546a590230acbd 27816 coq_8.9.0-1.debian.tar.xz 078f00688810975ad8cc3f6fc21524470873396df08fab0d0df0443b9de4d6ee 3736676 coq-dbgsym_8.9.0-1_amd64.deb d1e8749133414ca9e8f94c773d6c1915c30d93a74633635377605f549c79b143 773124 coq-theories-dbgsym_8.9.0-1_amd64.deb b08ab391ee8385f82d4f25c0edcd2e974ddc4385497afb39c027202be4fefcad 29737672 coq-theories_8.9.0-1_amd64.deb 16f3bad4dc04e2740e937dadc20d351130c6fd17ad101194abf9b859986c0da7 14840 coq_8.9.0-1_amd64.buildinfo cfa6621744062e4c39a9da4d4beaa15e7af8bcb571f75da71c67040f51ce02c8 58990560 coq_8.9.0-1_amd64.deb 1ec5e056d451f08b6e77b3fea84f66bc7b4647ffe339907ccd7613ceab3b68f2 534608 libcoq-ocaml-dbgsym_8.9.0-1_amd64.deb 380b71f424d119587d5387055ae272fe33cf187f4c84fc5131af659fb659e474 13703936 libcoq-ocaml-dev_8.9.0-1_amd64.deb 589531afe8e00fd3f711d2c4d5eed9003f9c4f5db197132f0160e8f24ff43d59 5463112 libcoq-ocaml_8.9.0-1_amd64.deb Files: 77c6f5e9b407b3e50e0d82c9138225c4 2417 math optional coq_8.9.0-1.dsc 63e06c572a4503e22c651ce8b0237efa 5395769 math optional coq_8.9.0.orig.tar.gz d5d3dccd2c2f9cbe26c960d237c7c86f 27816 math optional coq_8.9.0-1.debian.tar.xz f4227aba29c9739f9160f3c796cbbaf7 3736676 debug optional coq-dbgsym_8.9.0-1_amd64.deb b76f44b05cad6c8ae1a5b8e26f67d401 773124 debug optional coq-theories-dbgsym_8.9.0-1_amd64.deb 4d964a8bd41293ed31a8786ed3704545 29737672 math optional coq-theories_8.9.0-1_amd64.deb 0a768225c05178bd5d840be593f93c79 14840 math optional coq_8.9.0-1_amd64.buildinfo ae022e4a30565deffd948b4362b51aa9 58990560 math optional coq_8.9.0-1_amd64.deb fbba6c58805cce2457f28a746d818d9d 534608 debug optional libcoq-ocaml-dbgsym_8.9.0-1_amd64.deb bef748649db0e9238b454381879e938b 13703936 ocaml optional libcoq-ocaml-dev_8.9.0-1_amd64.deb b9c6266293f7dacfea80127efec10960 5463112 ocaml optional libcoq-ocaml_8.9.0-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEQbf+q7LkywHKVTMA5ZUVm53A7cMFAlxbKOIACgkQ5ZUVm53A 7cMM5w//fIbbLlZigMgzjtmnZbKASwIyT+6lVgj3pWwH4OH2bz71TxHIO+/rT779 oL1CpD3VrwyvIykhwXxe2g4mDfmeJkCRyUFea5OvxdwfrCwxX3NZAee06KVdwfX7 8Jyur/wXr59TgqK3/M+laZJNbeADhBQ1RGyHSp1YgGf/EutGqIL6thv2kJnPW7zW ednbFhcXH9pu0S8r59nXAhxZ30PPoDY5IWOoycakx98I+NALqicedlO4ynlgnX6G nYJygYi8k9TLzNi1z3FC5tKx3uqoFfMWimni7leyxP5RrPS5HExPCH5fjNBMzAby ZX8h8K7618iK9T5lgNrsobj+RBZi8+wuqCm3XECNxvNH61riyRWc4tenaMb6ahch 2lwt19j32/G31mI22mhW1/RWEiJeAJljZRbL6vbFIrKsOcHVPFSCf7owghNDzsMh xkMJ4Xq1HamhPYE5zM5lhs0JWkQx91Cxzdbo6suEZeo1dBc4RTIqdTZKs9MTBAKX IZXNQLswHbM/+LGNaHZAcXvXrOEWCGd7amdwGXL+UmEWxaeWye4N0SiKY9Z7Hl/H GOk89VsH/LTonK/3vKFjMR+hYKQUaKdxSUWMpU2OyV7oxMtQOA1RkRwORn0l0zV6 CTxR33/oN4/RbMKpJLRAGqfxEJY87U9/6snewoZnX+jw6G/YpqA= =bjE1 -----END PGP SIGNATURE-----
--- End Message ---