Bug#736761: marked as done (coq and Emacs 2x)
Your message dated Wed, 06 Feb 2019 19:05:32 +0000
with message-id <E1grSVo-000CM6-8b@fasolo.debian.org>
and subject line Bug#736761: fixed in coq 8.9.0-1
has caused the Debian Bug report #736761,
regarding coq and Emacs 2x
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.)
--
736761: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=736761
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: Debian Bug Tracking System <submit@bugs.debian.org>
- Subject: coq and Emacs 2x
- From: Nicolas Patrois <nicolas.patrois@gmail.com>
- Date: Sun, 26 Jan 2014 16:12:12 +0100
- Message-id: <20140126151212.30011.52826.reportbug@new-host-2.home>
Package: coq
Version: 8.4pl3dfsg-1
Severity: minor
Dear Maintainer,
The last coq update showed these messages in aptitude:
Preparing to unpack .../coq_8.4pl3dfsg-1_i386.deb ...
ERROR: coq is broken - called emacs-package-remove as a new-style add-on, but has no compat file.
Remove coq for emacs22
remove/coq: purging byte-compiled files for emacs22
Remove coq for emacs23
remove/coq: purging byte-compiled files for emacs23
ERROR: coq is broken - called emacs-package-install as a new-style add-on, but has no compat file.
Unpacking coq (8.4pl3dfsg-1) over (8.4pl2dfsg-4) ...
I don’t run Emacs but Emacs users may be bothered.
-- System Information:
Debian Release: jessie/sid
APT prefers testing
APT policy: (500, 'testing')
Architecture: i386 (i686)
Kernel: Linux 3.9-1-686-pae (SMP w/3 CPU cores)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash
Versions of packages coq depends on:
iu coq-theories 8.4pl3dfsg-1
ii emacsen-common 2.0.7
ii libc6 2.17-97
iu libcoq-ocaml [libcoq-ocaml-ajad9] 8.4pl3dfsg-1
ii ocaml-base-nox [ocaml-base-nox-4.01.0] 4.01.0-3
Versions of packages coq recommends:
iu coqide 8.4pl3dfsg-1
ii proofgeneral 4.3~pre130510-1
Versions of packages coq suggests:
pn coq-doc <none>
pn libcoq-ocaml-dev <none>
ii ocaml-nox 4.01.0-3
ii proofgeneral 4.3~pre130510-1
ii rlwrap [readline-editor] 0.37-4
pn why <none>
-- no debconf information
--- End Message ---
--- Begin Message ---
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 736761@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 ---
Reply to: