Bug#554263: closed by Christian Perrier <bubulle@debian.org> (Bug#554263: fixed in proofgeneral 3.7-4)
Hi Christian,
why a QA upload closes the Orphan bug associated with that package?
The wnpp O bug should be there until someone (not QA team) adopts the
package. Or am I missing something?
Cheers,
Sandro
On Mon, Oct 11, 2010 at 22:58, Debian Bug Tracking System
<owner@bugs.debian.org> wrote:
> This is an automatic notification regarding your Bug report
> which was filed against the wnpp package:
>
> #554263: O: proofgeneral -- generic interface for proof assistants - common package
>
> It has been closed by Christian Perrier <bubulle@debian.org>.
>
> Their explanation is attached below along with your original report.
> If this explanation is unsatisfactory and you have not received a
> better one in a separate message then please contact Christian Perrier <bubulle@debian.org> by
> replying to this email.
>
>
> --
> 554263: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=554263
> Debian Bug Tracking System
> Contact owner@bugs.debian.org with problems
>
>
> ---------- Forwarded message ----------
> From: Christian Perrier <bubulle@debian.org>
> To: 554263-close@bugs.debian.org
> Date: Mon, 11 Oct 2010 20:48:16 +0000
> Subject: Bug#554263: fixed in proofgeneral 3.7-4
> Source: proofgeneral
> Source-Version: 3.7-4
>
> 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-coq_3.7-4_all.deb
> to main/p/proofgeneral/proofgeneral-coq_3.7-4_all.deb
> proofgeneral-doc_3.7-4_all.deb
> to main/p/proofgeneral/proofgeneral-doc_3.7-4_all.deb
> proofgeneral-minlog_3.7-4_all.deb
> to main/p/proofgeneral/proofgeneral-minlog_3.7-4_all.deb
> proofgeneral-misc_3.7-4_all.deb
> to main/p/proofgeneral/proofgeneral-misc_3.7-4_all.deb
> proofgeneral_3.7-4.diff.gz
> to main/p/proofgeneral/proofgeneral_3.7-4.diff.gz
> proofgeneral_3.7-4.dsc
> to main/p/proofgeneral/proofgeneral_3.7-4.dsc
> proofgeneral_3.7-4_all.deb
> to main/p/proofgeneral/proofgeneral_3.7-4_all.deb
>
>
>
> 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 554263@bugs.debian.org,
> and the maintainer will reopen the bug report if appropriate.
>
> Debian distribution maintenance software
> pp.
> Christian Perrier <bubulle@debian.org> (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: SHA1
>
> Format: 1.8
> Date: Mon, 11 Oct 2010 21:47:36 +0200
> Source: proofgeneral
> Binary: proofgeneral proofgeneral-coq proofgeneral-minlog proofgeneral-misc proofgeneral-doc
> Architecture: source all
> Version: 3.7-4
> Distribution: unstable
> Urgency: low
> Maintainer: Debian QA Group <packages@qa.debian.org>
> Changed-By: Christian Perrier <bubulle@debian.org>
> Description:
> proofgeneral - generic interface for proof assistants - common package
> proofgeneral-coq - generic interface for proof assistants - coq support
> proofgeneral-doc - generic interface for proof assistants - documentation
> proofgeneral-minlog - generic interface for proof assistants - Minlog support
> proofgeneral-misc - generic interface for proof assistants - theorem provers support
> Closes: 554263 592274
> Changes:
> proofgeneral (3.7-4) unstable; urgency=low
> .
> * QA upload
> * Use Debian QQA as maintainer. Closes: #554263
> * Danish debconf translation update. Closes: #592274
> Checksums-Sha1:
> 073d18bd02f5a8962dce0238bef80966f96ae28b 1742 proofgeneral_3.7-4.dsc
> fb702e7009a309d111e60e51403c1d972b203f8e 24613 proofgeneral_3.7-4.diff.gz
> abe3f15de4b1602f06642cf1ba4bf323e1e04326 482392 proofgeneral_3.7-4_all.deb
> dc2872f8441c563ec9e266a3e291bf65f66d1820 72482 proofgeneral-coq_3.7-4_all.deb
> b49dbaf92fa75b7890d6a53c2fb5a94b3c603a65 20122 proofgeneral-minlog_3.7-4_all.deb
> b581e1c0da22a628071eee8348114b11e8afb5f2 142188 proofgeneral-misc_3.7-4_all.deb
> dc2b1ecbcd9d7c12b25939e1d2f7f24d40609e6e 90200 proofgeneral-doc_3.7-4_all.deb
> Checksums-Sha256:
> f5c128a5d655d294f912d59a7791e380bd8257b2fa680cf7a5c4ffb4a0208c0f 1742 proofgeneral_3.7-4.dsc
> 02b389763914fca1ee2058ab9084512a1fa328ea3acacd656c36835df9d22943 24613 proofgeneral_3.7-4.diff.gz
> 92e9fee4f80cb69a67f322472970826b02c911a1875caeec05ecd55f0dbe6151 482392 proofgeneral_3.7-4_all.deb
> 3b7a081be4518887abcffe178efcc9dbc67463689057a783b7e0eda906115cf1 72482 proofgeneral-coq_3.7-4_all.deb
> ad0cb48348408781ce65e1fbd06a348fe1d3cdaa29c333b402249dcaba070dcd 20122 proofgeneral-minlog_3.7-4_all.deb
> ac412f9eaba8c1f18246723463fa4c75c2df820d41b29f5db917593b48008a81 142188 proofgeneral-misc_3.7-4_all.deb
> 203cc75e4b16878473fc32d7ccab4f8e90bbccc6403529e6a707c1da355d6737 90200 proofgeneral-doc_3.7-4_all.deb
> Files:
> de8affaf3c478625914ae5e5b63eb0f3 1742 science optional proofgeneral_3.7-4.dsc
> 0648fa3f0e88a89230a4ba91de44cbc3 24613 science optional proofgeneral_3.7-4.diff.gz
> 500111cc51f82258395c87fdb5fa85b0 482392 science optional proofgeneral_3.7-4_all.deb
> 6066746bbd4448501542e4f4b407155a 72482 science optional proofgeneral-coq_3.7-4_all.deb
> cf850ba83815a31efe36bd086b955b0e 20122 science optional proofgeneral-minlog_3.7-4_all.deb
> 5bab1b5d42583ffe9f198dc00e959dd9 142188 science optional proofgeneral-misc_3.7-4_all.deb
> 1ce32176e4d2d304e7d932f41109177c 90200 doc optional proofgeneral-doc_3.7-4_all.deb
>
> -----BEGIN PGP SIGNATURE-----
> Version: GnuPG v1.4.10 (GNU/Linux)
>
> iQIVAwUBTLNrb4cvcCxNbiWoAQL46BAAg0DiKjpvGNUWIPwpP7L/VjApJxm8yZHW
> H7rn/+famI+iEkffbPVRyGtK16NB0w8On6XJc54XPzjEmZbVPQX/qWsnBQSpxASD
> w4S1xihg7Cy5LaCf/yaElpc8c6HVqFu7FWVLM5ElvikKm5/e9Z67+j/epInsK7Vh
> lHIZ7V5AXOry3M5AU06uJ8awwd4ALpGq1k42DVsoYyACwzJhgC5TyGRu+3pzu/rj
> 3zBfNmm03KbtBVmrrFy1d7jcV1NgpoerzGY3aK8U5Zkt/m/0WzCAebQI1Fh8P3E7
> akAkFaw4xzETkXB/XDHutKj+/FhzEQXdJGU5nPujjg8c1If7TS37ITYkcZPCzfGI
> f2EsxkbNyRWWAZYammTk1QNg2xn6WsMYDzs8poenIrFaYihrC5EUijYZS1ySqDO6
> MDkwUyU8L4b6MmE9uZruJmE0vWfzRnO/2Jv03OnFF+XZR7hW23ofUG52hlH/BfAe
> cwjAS99kfO93naN4ycb7Z6zjxbGpdAt/Ydj5t8P273LJQmKhtNyogDbU64C1nBqV
> qI6DNSEX3H2/5kRdc558naOEKP2PaYZuR5XcJbcAPX/Q9ZBu8J8ThTogIvwe8RdP
> xlDbr+b6A6jrgYhDi9wFaY6W2GtxEDbncFO4D8Qe2TWq4TR2ALfbBPtkjGOyBh+g
> 5S5waqeFNSs=
> =bhVm
> -----END PGP SIGNATURE-----
>
>
>
>
> ---------- Forwarded message ----------
> From: Sandro Tosi <morph@debian.org>
> To: submit@bugs.debian.org
> Date: Tue, 3 Nov 2009 22:38:26 +0100
> Subject: O: proofgeneral -- generic interface for proof assistants - common package
> Package: wnpp
> Severity: normal
>
> The current maintainer of proofgeneral, Stefan Schimanski <schimmi@debian.org>,
> is apparently not active anymore. Therefore, I orphan this package now.
>
> Maintaining a package requires time and skills. Please only adopt this
> package if you will have enough time and attention to work on it.
>
> If you want to be the new maintainer, please see
> http://www.debian.org/devel/wnpp/index.html#howto-o for detailed
> instructions how to adopt a package properly.
>
> Some information about this package:
>
> Package: proofgeneral
> Binary: proofgeneral, proofgeneral-coq, proofgeneral-minlog, proofgeneral-misc, proofgeneral-doc
> Version: 3.7-3.1
> Priority: optional
> Section: editors
> Maintainer: Stefan Schimanski <schimmi@debian.org>
> Build-Depends: debhelper (>= 7), po-debconf
> Architecture: all
> Standards-Version: 3.7.3
> Format: 1.0
> Directory: pool/main/p/proofgeneral
> Files:
> cddba93feaf57bbb1a31358a8f4ccdcd 1109 proofgeneral_3.7-3.1.dsc
> c922c2d591812ce417b72c13259ef4ad 1982146 proofgeneral_3.7.orig.tar.gz
> 99f4faa905d6b4abc2cf0bcf056a0410 23726 proofgeneral_3.7-3.1.diff.gz
> Homepage: http://proofgeneral.inf.ed.ac.uk
> Checksums-Sha1:
> 06c17f8fe9a3541407fdc92c2c627b224e6829d5 1982146 proofgeneral_3.7.orig.tar.gz
> a54ef1f2cab4359c51750b6693909c06ada52d69 23726 proofgeneral_3.7-3.1.diff.gz
> Checksums-Sha256:
> 9415bf850723a021963dccd7c9c2e5079dd74f48aad50a88e5470f82656d9059 1982146 proofgeneral_3.7.orig.tar.gz
> 82bbaa1bc48c9b982b36256d746d9fd470c472d2ef58694384d8a39230ff8b7f 23726 proofgeneral_3.7-3.1.diff.gz
>
> Package: proofgeneral
> Binary: proofgeneral, proofgeneral-coq, proofgeneral-minlog, proofgeneral-misc, proofgeneral-doc
> Version: 3.7-3.1
> Priority: optional
> Section: editors
> Maintainer: Stefan Schimanski <schimmi@debian.org>
> Build-Depends: debhelper (>= 7), po-debconf
> Architecture: all
> Standards-Version: 3.7.3
> Format: 1.0
> Directory: pool/main/p/proofgeneral
> Files:
> cddba93feaf57bbb1a31358a8f4ccdcd 1109 proofgeneral_3.7-3.1.dsc
> c922c2d591812ce417b72c13259ef4ad 1982146 proofgeneral_3.7.orig.tar.gz
> 99f4faa905d6b4abc2cf0bcf056a0410 23726 proofgeneral_3.7-3.1.diff.gz
> Homepage: http://proofgeneral.inf.ed.ac.uk
> Checksums-Sha1:
> 06c17f8fe9a3541407fdc92c2c627b224e6829d5 1982146 proofgeneral_3.7.orig.tar.gz
> a54ef1f2cab4359c51750b6693909c06ada52d69 23726 proofgeneral_3.7-3.1.diff.gz
> Checksums-Sha256:
> 9415bf850723a021963dccd7c9c2e5079dd74f48aad50a88e5470f82656d9059 1982146 proofgeneral_3.7.orig.tar.gz
> 82bbaa1bc48c9b982b36256d746d9fd470c472d2ef58694384d8a39230ff8b7f 23726 proofgeneral_3.7-3.1.diff.gz
>
> Package: proofgeneral
> Priority: optional
> Section: editors
> Installed-Size: 1696
> Maintainer: Stefan Schimanski <schimmi@debian.org>
> Architecture: all
> Version: 3.7-3.1
> Depends: debconf (>= 0.5) | debconf-2.0, emacs22 | emacsen, dpkg (>= 1.15.4) | install-info
> Recommends: proofgeneral-misc | proofgeneral-coq
> Suggests: x-symbol
> Filename: pool/main/p/proofgeneral/proofgeneral_3.7-3.1_all.deb
> Size: 482460
> MD5sum: 613486cb58febb8c7715cc913281e1c2
> SHA1: a79277bf211e50a155cef7a5e21df01b0f63657c
> SHA256: 1291574d1d9c279c9391c11a37428f3e724d0cd9a29005425d4ef892565214b8
> Description: generic interface for proof assistants - common package
> Proof General is a major mode to turn Emacs into an interactive proof
> assistant to write formal mathematical proofs using a variety of
> theorem provers. It works with either XEmacs or GNU Emacs.
> Homepage: http://proofgeneral.inf.ed.ac.uk
> Tag: field::mathematics, interface::commandline, role::plugin, suite::emacs, use::checking
>
> Package: proofgeneral
> Priority: optional
> Section: editors
> Installed-Size: 1696
> Maintainer: Stefan Schimanski <schimmi@debian.org>
> Architecture: all
> Version: 3.7-3
> Depends: debconf | debconf-2.0, emacs22 | emacsen
> Recommends: proofgeneral-misc | proofgeneral-coq
> Suggests: x-symbol
> Filename: pool/main/p/proofgeneral/proofgeneral_3.7-3_all.deb
> Size: 483224
> MD5sum: 49a2e10a446833ed61ce41beec5cb5a0
> SHA1: 9f4c78221c54a9c438bcf764b495ca216e2a844d
> SHA256: 34725ef0d98367b953bf9af56f5373b826c566e7d80683e73060384415c67571
> Description: generic interface for proof assistants - common package
> Proof General is a major mode to turn Emacs into an interactive proof
> assistant to write formal mathematical proofs using a variety of
> theorem provers. It works with either XEmacs or GNU Emacs.
> Homepage: http://proofgeneral.inf.ed.ac.uk
> Tag: field::mathematics, interface::commandline, role::plugin, suite::emacs, use::checking
>
> Package: proofgeneral-coq
> Priority: optional
> Section: editors
> Installed-Size: 336
> Maintainer: Stefan Schimanski <schimmi@debian.org>
> Architecture: all
> Source: proofgeneral
> Version: 3.7-3.1
> Depends: proofgeneral
> Recommends: coq
> Filename: pool/main/p/proofgeneral/proofgeneral-coq_3.7-3.1_all.deb
> Size: 72356
> MD5sum: 0527e42537c1cb4378f9dfaff00a1d5c
> SHA1: 43d7bec4feee4b3a968379ed9aee1f657697df69
> SHA256: 804e325b01786208affe0e72113e319a51567ab5f286ee5937ebd7fe1ac1e6b2
> Description: generic interface for proof assistants - coq support
> Proof General is a major mode to turn Emacs into an interactive proof
> assistant to write formal mathematical proofs using a variety of
> theorem provers. It works with either XEmacs or GNU Emacs.
> .
> This package provides the Proof General support for the Coq
> theorem prover which is available as another package. The
> package is however not required to just edit Coq files.
> Homepage: http://proofgeneral.inf.ed.ac.uk
> Tag: field::mathematics, interface::commandline, role::plugin, suite::emacs, use::checking
>
> Package: proofgeneral-coq
> Priority: optional
> Section: editors
> Installed-Size: 336
> Maintainer: Stefan Schimanski <schimmi@debian.org>
> Architecture: all
> Source: proofgeneral
> Version: 3.7-3
> Depends: proofgeneral
> Recommends: coq
> Filename: pool/main/p/proofgeneral/proofgeneral-coq_3.7-3_all.deb
> Size: 71722
> MD5sum: 00f974465c7337fd8c5bdfb832ef6bb6
> SHA1: 2478b6ab1f3e75beec7998822239e450b1cdbc3b
> SHA256: 7e9a4e50f93314f50dcc199ca55c85475d7f8a1f8c1dd96c0e707dc02124dd81
> Description: generic interface for proof assistants - coq support
> Proof General is a major mode to turn Emacs into an interactive proof
> assistant to write formal mathematical proofs using a variety of
> theorem provers. It works with either XEmacs or GNU Emacs.
> .
> This package provides the Proof General support for the Coq
> theorem prover which is available as another package. The
> package is however not required to just edit Coq files.
> Homepage: http://proofgeneral.inf.ed.ac.uk
> Tag: field::mathematics, interface::commandline, role::plugin, suite::emacs, use::checking
>
> Package: proofgeneral-minlog
> Priority: optional
> Section: editors
> Installed-Size: 96
> Maintainer: Stefan Schimanski <schimmi@debian.org>
> Architecture: all
> Source: proofgeneral
> Version: 3.7-3.1
> Depends: proofgeneral, mzscheme (>= 300) | guile-1.8 | guile
> Recommends: minlog
> Filename: pool/main/p/proofgeneral/proofgeneral-minlog_3.7-3.1_all.deb
> Size: 20116
> MD5sum: d70892c341bf9bae2f2690a3ccd93bf9
> SHA1: ba73be6fd294fb2a5f51b8e5059786d9b8fa8965
> SHA256: 1d6087c37f553b4855cd6b9253d57dbda7aaa9abfa080929de340a7b417de15b
> Description: generic interface for proof assistants - Minlog support
> Proof General is a major mode to turn Emacs into an interactive proof
> assistant to write formal mathematical proofs using a variety of
> theorem provers. It works with either XEmacs or GNU Emacs.
> .
> This package provides the Proof General support for the Minlog
> theorem prover which is available as another package. The
> package is however not required to just edit Minlog files.
> Homepage: http://proofgeneral.inf.ed.ac.uk
>
> Package: proofgeneral-minlog
> Priority: optional
> Section: editors
> Installed-Size: 96
> Maintainer: Stefan Schimanski <schimmi@debian.org>
> Architecture: all
> Source: proofgeneral
> Version: 3.7-3
> Depends: mzscheme (>= 300) | guile-1.8 | guile, proofgeneral
> Recommends: minlog
> Filename: pool/main/p/proofgeneral/proofgeneral-minlog_3.7-3_all.deb
> Size: 19598
> MD5sum: da72effe1c91be608aa71f9b61decef0
> SHA1: 7385987d2b1b23ba10d3d204b6fca7f6589620fb
> SHA256: 356814e791110c74d13d7d1123bd15a91e14772e38ed1295c599070e1fc1b73d
> Description: generic interface for proof assistants - Minlog support
> Proof General is a major mode to turn Emacs into an interactive proof
> assistant to write formal mathematical proofs using a variety of
> theorem provers. It works with either XEmacs or GNU Emacs.
> .
> This package provides the Proof General support for the Minlog
> theorem prover which is available as another package. The
> package is however not required to just edit Minlog files.
> Homepage: http://proofgeneral.inf.ed.ac.uk
>
> Package: proofgeneral-misc
> Priority: optional
> Section: editors
> Installed-Size: 732
> Maintainer: Stefan Schimanski <schimmi@debian.org>
> Architecture: all
> Source: proofgeneral
> Version: 3.7-3.1
> Depends: proofgeneral
> Filename: pool/main/p/proofgeneral/proofgeneral-misc_3.7-3.1_all.deb
> Size: 141744
> MD5sum: c585df910aef6b9c8f8e8eaf45654b8f
> SHA1: 8a18b45f4926a5c6752d9676e9b2b8c8d1035158
> SHA256: 9ec73f96f55315e4268dae05ab1370c3141bee92c38460875cf88392633da915
> Description: generic interface for proof assistants - theorem provers support
> Proof General is a major mode to turn Emacs into an interactive proof
> assistant to write formal mathematical proofs using a variety of
> theorem provers. It works with either XEmacs or GNU Emacs.
> .
> This package provides the Proof General support for several
> theorem provers which are not available as packages yet.
> Phox, Plastic, Twelf.
> Homepage: http://proofgeneral.inf.ed.ac.uk
> Tag: field::mathematics, interface::commandline, role::plugin, suite::emacs, use::checking
>
> Package: proofgeneral-misc
> Priority: optional
> Section: editors
> Installed-Size: 732
> Maintainer: Stefan Schimanski <schimmi@debian.org>
> Architecture: all
> Source: proofgeneral
> Version: 3.7-3
> Depends: proofgeneral
> Filename: pool/main/p/proofgeneral/proofgeneral-misc_3.7-3_all.deb
> Size: 141588
> MD5sum: 46e0b8972f93c78a94f4908e76210fe2
> SHA1: 5352ae9ec81fba7e94f31a0422bf09ec5d13ba59
> SHA256: dc4d431ecaa7e71c357d2a856f15dd9a17bb1287c34a3acbabd2d343be613bf0
> Description: generic interface for proof assistants - theorem provers support
> Proof General is a major mode to turn Emacs into an interactive proof
> assistant to write formal mathematical proofs using a variety of
> theorem provers. It works with either XEmacs or GNU Emacs.
> .
> This package provides the Proof General support for several
> theorem provers which are not available as packages yet.
> Phox, Plastic, Twelf.
> Homepage: http://proofgeneral.inf.ed.ac.uk
> Tag: field::mathematics, interface::commandline, role::plugin, suite::emacs, use::checking
>
> Package: proofgeneral-doc
> Priority: optional
> Section: doc
> Installed-Size: 560
> Maintainer: Stefan Schimanski <schimmi@debian.org>
> Architecture: all
> Source: proofgeneral
> Version: 3.7-3.1
> Filename: pool/main/p/proofgeneral/proofgeneral-doc_3.7-3.1_all.deb
> Size: 90776
> MD5sum: 0d58904c78bdcfd540094e59599e7c80
> SHA1: fc3eb68796114132ae6197ef3ee19c1105ad74df
> SHA256: 57fa3f13308600ff4639232744cd846a59feaf4f6ad7f92e41b63a20a7dc15d3
> Description: generic interface for proof assistants - documentation
> Proof General is a major mode to turn Emacs into an interactive proof
> assistant to write formal mathematical proofs using a variety of
> theorem provers. It works with either XEmacs or GNU Emacs.
> .
> This package provides the HTML documentation for Proof General.
> It was created from the same sources as the info documentation
> which is included in the proofgeneral package.
> Homepage: http://proofgeneral.inf.ed.ac.uk
> Tag: field::mathematics, made-of::html, role::documentation, suite::emacs, use::checking
>
> Package: proofgeneral-doc
> Priority: optional
> Section: doc
> Installed-Size: 568
> Maintainer: Stefan Schimanski <schimmi@debian.org>
> Architecture: all
> Source: proofgeneral
> Version: 3.7-3
> Filename: pool/main/p/proofgeneral/proofgeneral-doc_3.7-3_all.deb
> Size: 90102
> MD5sum: 1d0af303efb9c26502548e94a5a82f26
> SHA1: 032d1b394fd4d58f7b416c03e1680d28f6e47992
> SHA256: 8553d4303cdfcef9de953a79dbe034e70e212522df2a0b8784ae659461aa8b0e
> Description: generic interface for proof assistants - documentation
> Proof General is a major mode to turn Emacs into an interactive proof
> assistant to write formal mathematical proofs using a variety of
> theorem provers. It works with either XEmacs or GNU Emacs.
> .
> This package provides the HTML documentation for Proof General.
> It was created from the same sources as the info documentation
> which is included in the proofgeneral package.
> Homepage: http://proofgeneral.inf.ed.ac.uk
> Tag: field::mathematics, made-of::html, role::documentation, suite::emacs, use::checking
>
> Package: proofgeneral
> Priority: optional
> Section: editors
> Installed-Size: 1696
> Maintainer: Stefan Schimanski <schimmi@debian.org>
> Architecture: all
> Version: 3.7-3.1
> Depends: debconf (>= 0.5) | debconf-2.0, emacs22 | emacsen, dpkg (>= 1.15.4) | install-info
> Recommends: proofgeneral-misc | proofgeneral-coq
> Suggests: x-symbol
> Filename: pool/main/p/proofgeneral/proofgeneral_3.7-3.1_all.deb
> Size: 482460
> MD5sum: 613486cb58febb8c7715cc913281e1c2
> SHA1: a79277bf211e50a155cef7a5e21df01b0f63657c
> SHA256: 1291574d1d9c279c9391c11a37428f3e724d0cd9a29005425d4ef892565214b8
> Description: generic interface for proof assistants - common package
> Proof General is a major mode to turn Emacs into an interactive proof
> assistant to write formal mathematical proofs using a variety of
> theorem provers. It works with either XEmacs or GNU Emacs.
> Homepage: http://proofgeneral.inf.ed.ac.uk
> Tag: field::mathematics, interface::commandline, role::plugin, suite::emacs, use::checking
>
> Package: proofgeneral
> Priority: optional
> Section: editors
> Installed-Size: 1696
> Maintainer: Stefan Schimanski <schimmi@debian.org>
> Architecture: all
> Version: 3.7-3
> Depends: debconf | debconf-2.0, emacs22 | emacsen
> Recommends: proofgeneral-misc | proofgeneral-coq
> Suggests: x-symbol
> Filename: pool/main/p/proofgeneral/proofgeneral_3.7-3_all.deb
> Size: 483224
> MD5sum: 49a2e10a446833ed61ce41beec5cb5a0
> SHA1: 9f4c78221c54a9c438bcf764b495ca216e2a844d
> SHA256: 34725ef0d98367b953bf9af56f5373b826c566e7d80683e73060384415c67571
> Description: generic interface for proof assistants - common package
> Proof General is a major mode to turn Emacs into an interactive proof
> assistant to write formal mathematical proofs using a variety of
> theorem provers. It works with either XEmacs or GNU Emacs.
> Homepage: http://proofgeneral.inf.ed.ac.uk
> Tag: field::mathematics, interface::commandline, role::plugin, suite::emacs, use::checking
>
> Package: proofgeneral-coq
> Priority: optional
> Section: editors
> Installed-Size: 336
> Maintainer: Stefan Schimanski <schimmi@debian.org>
> Architecture: all
> Source: proofgeneral
> Version: 3.7-3.1
> Depends: proofgeneral
> Recommends: coq
> Filename: pool/main/p/proofgeneral/proofgeneral-coq_3.7-3.1_all.deb
> Size: 72356
> MD5sum: 0527e42537c1cb4378f9dfaff00a1d5c
> SHA1: 43d7bec4feee4b3a968379ed9aee1f657697df69
> SHA256: 804e325b01786208affe0e72113e319a51567ab5f286ee5937ebd7fe1ac1e6b2
> Description: generic interface for proof assistants - coq support
> Proof General is a major mode to turn Emacs into an interactive proof
> assistant to write formal mathematical proofs using a variety of
> theorem provers. It works with either XEmacs or GNU Emacs.
> .
> This package provides the Proof General support for the Coq
> theorem prover which is available as another package. The
> package is however not required to just edit Coq files.
> Homepage: http://proofgeneral.inf.ed.ac.uk
> Tag: field::mathematics, interface::commandline, role::plugin, suite::emacs, use::checking
>
> Package: proofgeneral-coq
> Priority: optional
> Section: editors
> Installed-Size: 336
> Maintainer: Stefan Schimanski <schimmi@debian.org>
> Architecture: all
> Source: proofgeneral
> Version: 3.7-3
> Depends: proofgeneral
> Recommends: coq
> Filename: pool/main/p/proofgeneral/proofgeneral-coq_3.7-3_all.deb
> Size: 71722
> MD5sum: 00f974465c7337fd8c5bdfb832ef6bb6
> SHA1: 2478b6ab1f3e75beec7998822239e450b1cdbc3b
> SHA256: 7e9a4e50f93314f50dcc199ca55c85475d7f8a1f8c1dd96c0e707dc02124dd81
> Description: generic interface for proof assistants - coq support
> Proof General is a major mode to turn Emacs into an interactive proof
> assistant to write formal mathematical proofs using a variety of
> theorem provers. It works with either XEmacs or GNU Emacs.
> .
> This package provides the Proof General support for the Coq
> theorem prover which is available as another package. The
> package is however not required to just edit Coq files.
> Homepage: http://proofgeneral.inf.ed.ac.uk
> Tag: field::mathematics, interface::commandline, role::plugin, suite::emacs, use::checking
>
> Package: proofgeneral-minlog
> Priority: optional
> Section: editors
> Installed-Size: 96
> Maintainer: Stefan Schimanski <schimmi@debian.org>
> Architecture: all
> Source: proofgeneral
> Version: 3.7-3.1
> Depends: proofgeneral, mzscheme (>= 300) | guile-1.8 | guile
> Recommends: minlog
> Filename: pool/main/p/proofgeneral/proofgeneral-minlog_3.7-3.1_all.deb
> Size: 20116
> MD5sum: d70892c341bf9bae2f2690a3ccd93bf9
> SHA1: ba73be6fd294fb2a5f51b8e5059786d9b8fa8965
> SHA256: 1d6087c37f553b4855cd6b9253d57dbda7aaa9abfa080929de340a7b417de15b
> Description: generic interface for proof assistants - Minlog support
> Proof General is a major mode to turn Emacs into an interactive proof
> assistant to write formal mathematical proofs using a variety of
> theorem provers. It works with either XEmacs or GNU Emacs.
> .
> This package provides the Proof General support for the Minlog
> theorem prover which is available as another package. The
> package is however not required to just edit Minlog files.
> Homepage: http://proofgeneral.inf.ed.ac.uk
>
> Package: proofgeneral-minlog
> Priority: optional
> Section: editors
> Installed-Size: 96
> Maintainer: Stefan Schimanski <schimmi@debian.org>
> Architecture: all
> Source: proofgeneral
> Version: 3.7-3
> Depends: mzscheme (>= 300) | guile-1.8 | guile, proofgeneral
> Recommends: minlog
> Filename: pool/main/p/proofgeneral/proofgeneral-minlog_3.7-3_all.deb
> Size: 19598
> MD5sum: da72effe1c91be608aa71f9b61decef0
> SHA1: 7385987d2b1b23ba10d3d204b6fca7f6589620fb
> SHA256: 356814e791110c74d13d7d1123bd15a91e14772e38ed1295c599070e1fc1b73d
> Description: generic interface for proof assistants - Minlog support
> Proof General is a major mode to turn Emacs into an interactive proof
> assistant to write formal mathematical proofs using a variety of
> theorem provers. It works with either XEmacs or GNU Emacs.
> .
> This package provides the Proof General support for the Minlog
> theorem prover which is available as another package. The
> package is however not required to just edit Minlog files.
> Homepage: http://proofgeneral.inf.ed.ac.uk
>
> Package: proofgeneral-misc
> Priority: optional
> Section: editors
> Installed-Size: 732
> Maintainer: Stefan Schimanski <schimmi@debian.org>
> Architecture: all
> Source: proofgeneral
> Version: 3.7-3.1
> Depends: proofgeneral
> Filename: pool/main/p/proofgeneral/proofgeneral-misc_3.7-3.1_all.deb
> Size: 141744
> MD5sum: c585df910aef6b9c8f8e8eaf45654b8f
> SHA1: 8a18b45f4926a5c6752d9676e9b2b8c8d1035158
> SHA256: 9ec73f96f55315e4268dae05ab1370c3141bee92c38460875cf88392633da915
> Description: generic interface for proof assistants - theorem provers support
> Proof General is a major mode to turn Emacs into an interactive proof
> assistant to write formal mathematical proofs using a variety of
> theorem provers. It works with either XEmacs or GNU Emacs.
> .
> This package provides the Proof General support for several
> theorem provers which are not available as packages yet.
> Phox, Plastic, Twelf.
> Homepage: http://proofgeneral.inf.ed.ac.uk
> Tag: field::mathematics, interface::commandline, role::plugin, suite::emacs, use::checking
>
> Package: proofgeneral-misc
> Priority: optional
> Section: editors
> Installed-Size: 732
> Maintainer: Stefan Schimanski <schimmi@debian.org>
> Architecture: all
> Source: proofgeneral
> Version: 3.7-3
> Depends: proofgeneral
> Filename: pool/main/p/proofgeneral/proofgeneral-misc_3.7-3_all.deb
> Size: 141588
> MD5sum: 46e0b8972f93c78a94f4908e76210fe2
> SHA1: 5352ae9ec81fba7e94f31a0422bf09ec5d13ba59
> SHA256: dc4d431ecaa7e71c357d2a856f15dd9a17bb1287c34a3acbabd2d343be613bf0
> Description: generic interface for proof assistants - theorem provers support
> Proof General is a major mode to turn Emacs into an interactive proof
> assistant to write formal mathematical proofs using a variety of
> theorem provers. It works with either XEmacs or GNU Emacs.
> .
> This package provides the Proof General support for several
> theorem provers which are not available as packages yet.
> Phox, Plastic, Twelf.
> Homepage: http://proofgeneral.inf.ed.ac.uk
> Tag: field::mathematics, interface::commandline, role::plugin, suite::emacs, use::checking
>
> Package: proofgeneral-doc
> Priority: optional
> Section: doc
> Installed-Size: 560
> Maintainer: Stefan Schimanski <schimmi@debian.org>
> Architecture: all
> Source: proofgeneral
> Version: 3.7-3.1
> Filename: pool/main/p/proofgeneral/proofgeneral-doc_3.7-3.1_all.deb
> Size: 90776
> MD5sum: 0d58904c78bdcfd540094e59599e7c80
> SHA1: fc3eb68796114132ae6197ef3ee19c1105ad74df
> SHA256: 57fa3f13308600ff4639232744cd846a59feaf4f6ad7f92e41b63a20a7dc15d3
> Description: generic interface for proof assistants - documentation
> Proof General is a major mode to turn Emacs into an interactive proof
> assistant to write formal mathematical proofs using a variety of
> theorem provers. It works with either XEmacs or GNU Emacs.
> .
> This package provides the HTML documentation for Proof General.
> It was created from the same sources as the info documentation
> which is included in the proofgeneral package.
> Homepage: http://proofgeneral.inf.ed.ac.uk
> Tag: field::mathematics, made-of::html, role::documentation, suite::emacs, use::checking
>
> Package: proofgeneral-doc
> Priority: optional
> Section: doc
> Installed-Size: 568
> Maintainer: Stefan Schimanski <schimmi@debian.org>
> Architecture: all
> Source: proofgeneral
> Version: 3.7-3
> Filename: pool/main/p/proofgeneral/proofgeneral-doc_3.7-3_all.deb
> Size: 90102
> MD5sum: 1d0af303efb9c26502548e94a5a82f26
> SHA1: 032d1b394fd4d58f7b416c03e1680d28f6e47992
> SHA256: 8553d4303cdfcef9de953a79dbe034e70e212522df2a0b8784ae659461aa8b0e
> Description: generic interface for proof assistants - documentation
> Proof General is a major mode to turn Emacs into an interactive proof
> assistant to write formal mathematical proofs using a variety of
> theorem provers. It works with either XEmacs or GNU Emacs.
> .
> This package provides the HTML documentation for Proof General.
> It was created from the same sources as the info documentation
> which is included in the proofgeneral package.
> Homepage: http://proofgeneral.inf.ed.ac.uk
> Tag: field::mathematics, made-of::html, role::documentation, suite::emacs, use::checking
>
>
>
>
>
--
Sandro Tosi (aka morph, morpheus, matrixhasu)
My website: http://matrixhasu.altervista.org/
Me at Debian: http://wiki.debian.org/SandroTosi
Reply to: