Your message dated Fri, 13 Jan 2012 08:54:09 +0000 with message-id <E1Rlctl-0003uS-E6@franck.debian.org> and subject line Bug#452824: fixed in proofgeneral 4.2~pre120112-1 has caused the Debian Bug report #452824, regarding proofgeneral: Please reconsider quering user during install 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.) -- 452824: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=452824 Debian Bug Tracking System Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: submit@bugs.debian.org
- Subject: proofgeneral: Please reconsider quering user during install
- From: Helge Kreutzmann <debian@helgefjell.de>
- Date: Sun, 25 Nov 2007 14:51:39 +0100
- Message-id: <20071125135139.GA11951@ipxXXXXX>
Package: proofgeneral Version: 3.5-7 Severity: wishlist Currently you are quering users using debconf whether they would like Proof General globally installed. This type of question arises for several other packages as well (think about global shell settings, extensions for various editors, browsers, ...), however usually it is well understood (and hence not queried) that those programms could be enabled gloablly or locally. Therefor the maintainers usually add a note in README.Debian or similar documents, describing the (dis)advantages of each method and give hints how to proceed. But there is no question during installation. Please reconsider if your install time question is necessary. I don't know proof general (this issue arose during the German debconf translation of your template) so if proof general is indeed special, then simply close this bug (preferably with a brief explanation). Remember that Debian is used at large sites as well, where "dispensable" install time questions can be a real hassle. -- Dr. Helge Kreutzmann debian@helgefjell.de Dipl.-Phys. http://www.helgefjell.de/debian.php 64bit GNU powered gpg signed mail preferred Help keep free software "libre": http://www.ffii.de/Attachment: signature.asc
Description: Digital signature
--- End Message ---
--- Begin Message ---
- To: 452824-close@bugs.debian.org
- Subject: Bug#452824: fixed in proofgeneral 4.2~pre120112-1
- From: Hendrik Tews <hendrik@askra.de>
- Date: Fri, 13 Jan 2012 08:54:09 +0000
- Message-id: <E1Rlctl-0003uS-E6@franck.debian.org>
Source: proofgeneral Source-Version: 4.2~pre120112-1 We believe that the bug you reported is fixed in the latest version of proofgeneral, which is due to be installed in the Debian FTP archive: proofgeneral-doc_4.2~pre120112-1_all.deb to main/p/proofgeneral/proofgeneral-doc_4.2~pre120112-1_all.deb proofgeneral_4.2~pre120112-1.debian.tar.gz to main/p/proofgeneral/proofgeneral_4.2~pre120112-1.debian.tar.gz proofgeneral_4.2~pre120112-1.dsc to main/p/proofgeneral/proofgeneral_4.2~pre120112-1.dsc proofgeneral_4.2~pre120112-1_all.deb to main/p/proofgeneral/proofgeneral_4.2~pre120112-1_all.deb proofgeneral_4.2~pre120112.orig.tar.gz to main/p/proofgeneral/proofgeneral_4.2~pre120112.orig.tar.gz 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 452824@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Hendrik Tews <hendrik@askra.de> (supplier of updated proofgeneral 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@debian.org) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 12 Jan 2012 21:15:51 +0100 Source: proofgeneral Binary: proofgeneral proofgeneral-doc Architecture: source all Version: 4.2~pre120112-1 Distribution: unstable Urgency: low Maintainer: Hendrik Tews <hendrik@askra.de> Changed-By: Hendrik Tews <hendrik@askra.de> Description: proofgeneral - generic frontend for proof assistants proofgeneral-doc - generic frontend for proof assistants - documentation Closes: 252721 452824 520566 554263 613779 626589 Changes: proofgeneral (4.2~pre120112-1) unstable; urgency=low . * adopting proofgeneral (Closes: #554263) * restart packaging from scratch (Closes: #626589) This new Proof General package has not much in common with the old one: - source package format 3.0 (quilt) - only two binary packages: proofgeneral and proofgeneral-doc - no support for Isabelle/Hol or Isar, because Isabelle is packaged with its own custom version of Proof General (Closes: #252721) - no support for minlog because it is not present upstream (Closes: #613779) - support only Coq and PhoX - no debconf, proofgeneral is always installed site-wide (Closes: #452824) - only support emacs23, because upstream only supports emacs23 (Closes: #520566) The old changelog file is appended below. Checksums-Sha1: 4e21c2363c6a2f8fbc1e1ae186446e225f702b67 1959 proofgeneral_4.2~pre120112-1.dsc db08bd955247dbe2375c8c45008b9248f9c88e0c 942334 proofgeneral_4.2~pre120112.orig.tar.gz 2261d2ad51460fe101d302dfac9fb34a92e46241 18685 proofgeneral_4.2~pre120112-1.debian.tar.gz bc16f4d7ccece0de53add1e117dfab22ecea3414 446116 proofgeneral_4.2~pre120112-1_all.deb 2b5ea2476e75dd46325c74cb3cdc6a28c215b72b 675826 proofgeneral-doc_4.2~pre120112-1_all.deb Checksums-Sha256: 0bd78c12990414b6457f88b9fc73ed396028e92edb2fb3fec9ce3a945fdff07d 1959 proofgeneral_4.2~pre120112-1.dsc 33774795c586bf5df8308e46400d19713aeb03fef9e8d26f2b7a22e4a16fda8e 942334 proofgeneral_4.2~pre120112.orig.tar.gz 32bf850a473f88f97e35e1e305bb2e34816e686de4685246efd3819bf18b9fb1 18685 proofgeneral_4.2~pre120112-1.debian.tar.gz 612dc5585545f89b88a8ca83efab694240a9c8ebbc1578f0b6c1c7aeaff76c51 446116 proofgeneral_4.2~pre120112-1_all.deb 0ddb23a2c172f2a10df34b5f0417ec02e47a6ce4ed28259061d2c87f15d8b764 675826 proofgeneral-doc_4.2~pre120112-1_all.deb Files: 5a5fe5c8b0f1abb72f816dc65db4ff43 1959 science optional proofgeneral_4.2~pre120112-1.dsc dd01a5c2b1c53dc4ee099c01a018c188 942334 science optional proofgeneral_4.2~pre120112.orig.tar.gz 0cb4cfa7fa9982e43c892a235c075a8d 18685 science optional proofgeneral_4.2~pre120112-1.debian.tar.gz 5b767a119e85ffdac5e5763892630bba 446116 science optional proofgeneral_4.2~pre120112-1_all.deb f0ee4c616a9f4e24f2d1f76bc975c338 675826 doc optional proofgeneral-doc_4.2~pre120112-1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iQIcBAEBCgAGBQJPD+amAAoJEHhT2k1JiBrTlP8P/RC5ImjNB1WJhs1SuiXzkMz3 +/6sqxNGntql8DOekacMdwPbFHi9Fr1FKVNgAKUL0OLyGeBRRmJSdxkoUpWHFvnC mwTvmCGr9gzsiSTUQeILd4pCEM6/uZdeLBLGwJqpP04IUZv+RkkP8CJYTSQWZ4g1 16czWJmUB/W6GyJqpzS7iZGucTtRjIRrCqI4CxOzH9eOf82PAYypoaAsjyRxpkU5 PQgFeRVzBxcxZPNVeXPyUN/HVt0Vr8CXSgoTCWq4U9RJYJa2Nao+VxdBjj/pGtXa qfp8LKn9gnGaHKlb3L5NHCn/8AlxiSs5oHWvkDPAj5cYevU4hXSjxNrjDFUKTmvU aJTnDksLt1TbB+aWFj+/CrXh0DfZTEozh3F7BzzbbpJG+oAzb8SXe6URG1+6Gici eXH7SZ9JfEnKTpy2ZJE2Nz7r8D507R+/HRV3a68spX1D/TS3H4/HmN5IHfZ7G1gg 1Gt0S08d59rYnUn9ABjdACA6LgpSdGt+zI4oHN/L1pFSWkcTGEnTaHN+nQq+OdWp rfGNyA52EmrqZei+MQThQ6Zp1EVKFE7eZXEf7a6bu8Md3PL4k17yWqvtRzs77swr 4J1ciaMAWT51Wmyrmx+lEuuY0SDNAenWcIEwVqqacgW9jW7cNhcRrC23gdZ7WG7s bWrTDaQLXV6udgXfQHlO =dDS+ -----END PGP SIGNATURE-----
--- End Message ---