Your message dated Sat, 04 Aug 2012 12:32:16 +0000 with message-id <[email protected]> and subject line Bug#668688: fixed in cvc3 2.4.1-3 has caused the Debian Bug report #668688, regarding cvc3-el: auto-mode-alist when --remove but not --purge 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 [email protected] immediately.) -- 668688: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=668688 Debian Bug Tracking System Contact [email protected] with problems
--- Begin Message ---Package: cvc3-el Version: 2.4.1-2 Severity: minor File: /etc/emacs/site-start.d/50cvc3-el.el After dpkg --remove cvc3-el visiting a .cvc file emacs23 -q /tmp/foo.cvc gives an error File mode specification error: (file-error "Cannot open load file" "cvc-mode") I believe dpkg --remove leaves behind conf files like 50cvc3-el.el. Usually any auto-mode-alist should be under the package-dir existence test so as not to make a setup which won't work. The autoload can be under the test too, so as not to define a function which won't load, though that doesn't matter as much as auto-mode-alist. -- System Information: Debian Release: wheezy/sid APT prefers unstable APT policy: (990, 'unstable') Architecture: i386 (i686) Kernel: Linux 2.6.32-5-486 Locale: LANG=en_AU, LC_CTYPE=en_AU (charmap=ISO-8859-1) Shell: /bin/sh linked to /bin/dash Versions of packages cvc3-el depends on: ii emacs21 [emacsen] 21.4a+1-5.7 ii emacs22-gtk [emacsen] 22.3+1-1.2 ii emacs23 [emacsen] 23.3+1-1 ii xemacs21-mule [emacsen] 21.4.22-3.2 Versions of packages cvc3-el recommends: pn cvc3 <none> cvc3-el suggests no packages.
--- End Message ---
--- Begin Message ---Source: cvc3 Source-Version: 2.4.1-3 We believe that the bug you reported is fixed in the latest version of cvc3, 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 [email protected], and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Christopher L. Conway <[email protected]> (supplier of updated cvc3 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 [email protected]) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Mon, 16 Apr 2012 22:23:39 -0400 Source: cvc3 Binary: cvc3 libcvc3-5 libcvc3-dev libcvc3-5-java libcvc3-5-jni cvc3-el Architecture: source all amd64 Version: 2.4.1-3 Distribution: unstable Urgency: low Maintainer: Christopher L. Conway <[email protected]> Changed-By: Christopher L. Conway <[email protected]> Description: cvc3 - Automatic theorem prover for SMT problems cvc3-el - Emacs mode for CVC3 libcvc3-5 - Automatic theorem prover library for SMT problems libcvc3-5-java - Java bindings for CVC3 (bytecode library) libcvc3-5-jni - Java bindings for CVC3 (native library) libcvc3-dev - Automatic theorem prover library for SMT problems (development fi Closes: 662198 662200 665319 668685 668688 Changes: cvc3 (2.4.1-3) unstable; urgency=low . * Create new package libcvc3-dev to replace libcvc3-5-dev and libcvc3-2-dev (Closes: #662198) * Add Replaces/Conflicts to libcvc3-5-jni for libcvc3-2-jni (Closes: #662200) * Leave .el files in site-lisp directory when installing cvc3-el to enable source lookup (Closes: #665319) * Remove cvc-mode autoload from site-start.d on cvc3-el removal (Closes: #668688) * Bring cvc3-el.emacsen-startup in line with Debian policy (Closes: #668685) Checksums-Sha1: ed977560be32da7fb99fdc47e4c5f77cc550da45 2110 cvc3_2.4.1-3.dsc 216abd30fe9a1f1cf38cabb20f9e10620e1f0e8c 9092 cvc3_2.4.1-3.debian.tar.gz 6daadaa76f974fcfce9182d946699eb646bc8d53 71382 libcvc3-5-java_2.4.1-3_all.deb e748d54a4f8beb480638e562d946138c3313a4e6 14454 cvc3-el_2.4.1-3_all.deb 96ba9aa79462663cf41007b8901046b1f2d202a8 23352 cvc3_2.4.1-3_amd64.deb 8c34005d9e6b24ff8c388b6dbc91e77b2a5bfea2 2414182 libcvc3-5_2.4.1-3_amd64.deb ba9783c63e6064486be44ab621f9b7e5ab0150b1 193118 libcvc3-dev_2.4.1-3_amd64.deb 6ba29472d51078bed5379153759b2bc5e98663fb 81258 libcvc3-5-jni_2.4.1-3_amd64.deb Checksums-Sha256: 8beb0a54449fb72721606d986770fe76ce35a8a7d943bf0535747cabc09dd624 2110 cvc3_2.4.1-3.dsc 2e81c79cf1526b65f4a6cf565601afbe97650e8cffb67c475db17c47d0ef1641 9092 cvc3_2.4.1-3.debian.tar.gz 3e1cbb8aa8ab033e5c91d76e794d66f1a6e83bd26bc3b30dc7852daba686d3a7 71382 libcvc3-5-java_2.4.1-3_all.deb 6cf8c1353fd6302ffd0170e1a4ea1fcf3b0311c4486aa37b768e8a0559308ba6 14454 cvc3-el_2.4.1-3_all.deb ecef069750564711a0a2cb9321eac0e74bebae7d3933e21b653db160299532c1 23352 cvc3_2.4.1-3_amd64.deb 5b0334bf3a83d8302fade3bda0bbde8ffcefcae9860557c3a0eaae7b1463870f 2414182 libcvc3-5_2.4.1-3_amd64.deb c3663640a76f1a10c3ac574ad4b818d743a9f8df30b42bf4d67dcb35fd86e5ab 193118 libcvc3-dev_2.4.1-3_amd64.deb f9fe7c5de0081a47a0322e1367989eb2449b207cddea2c25fc8348b8c452f039 81258 libcvc3-5-jni_2.4.1-3_amd64.deb Files: d25ec160f2c0dbe8d92745c26da31139 2110 math extra cvc3_2.4.1-3.dsc abb264f4f3f1fdadb68dbc668e775c95 9092 math extra cvc3_2.4.1-3.debian.tar.gz 3c97397d6aa0970a355b5b0f1d357428 71382 java extra libcvc3-5-java_2.4.1-3_all.deb 89d991aa08c06658ba1d11f662911e0a 14454 math extra cvc3-el_2.4.1-3_all.deb a5d6a2bb02b62c6cb2ec72fcf7fd7bf5 23352 math extra cvc3_2.4.1-3_amd64.deb 9a6263356318a13d036dcf967c47445d 2414182 libs extra libcvc3-5_2.4.1-3_amd64.deb cba325cfa74f86dfa466e83583a40fba 193118 libdevel extra libcvc3-dev_2.4.1-3_amd64.deb 53af728d275def6c53a8a62f372936af 81258 java extra libcvc3-5-jni_2.4.1-3_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCAAGBQJQHODLAAoJEDEBgAUJBeQMO1UQANQsZZUIk1qcokE5/d0I0vjR JUkB60qp6eiNUs+rxZTsaNLBVS9yvws/5qzMP7phFgPiNy1V1+Wh9oigocEQUUV3 /lHW0LihfHfQ1Sc/DgayzyBYHY+EIYLsnxN8xxZ77ZZedygQWiO7M13m6hYbl9R1 1ThKkWQFFKf3ycPjzp/TPjc69hkEHBp+UxL86fjHoFCyezs3ERztRM4DzCa3DFqd EoRnQ9d2CJgqgNcpmzVMWFCgq0ErBrK+bXDM5kL0cxf/VFagq7cL/4NcaY+jVMq/ 6sLuOAgHWXKuGeMono7iOcpi4b+djeihy/mhQt1ctpAsmPcAvkSg2mnwq2qUiy+M 60cNv8Hm2Z3RTVS5oMyUST0fN62qayrXrDIEKNu1dIA4rLPzpEDhzKu/CQo3Ore6 aH92ibWYTLJ61y3m3NDuB/2zhYZ6jwAPyFF89heMVJKojrGMdmKYVPGTQxF4zNoB TzRynvZJGe9Gg8eijnSdDpi3SJopIYbynUS8g8AagYo9iqQik3010XSgqRvJQLs3 22+wTVKIZDi/t6vyYfddIcaf8ol0tKqm+yZ1KE2XwtiG7mAgbqQezXmwAq2oo3MM w3aZdAuHylVq4Q3mQ2VdeSjTCkhK3AKVj97id4RN4FVaiMArMVW23JbjGLnZR5mL +0hv68TlgsVMcDNPMn4l =4U4f -----END PGP SIGNATURE-----
--- End Message ---
