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 <ow...@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 <bubu...@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 > <bubu...@debian.org> by > replying to this email. > > > -- > 554263: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=554263 > Debian Bug Tracking System > Contact ow...@bugs.debian.org with problems > > > ---------- Forwarded message ---------- > From: Christian Perrier <bubu...@debian.org> > To: 554263-cl...@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 554...@bugs.debian.org, > and the maintainer will reopen the bug report if appropriate. > > Debian distribution maintenance software > pp. > Christian Perrier <bubu...@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 ftpmas...@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 <packa...@qa.debian.org> > Changed-By: Christian Perrier <bubu...@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 <mo...@debian.org> > To: sub...@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 > <schi...@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 <schi...@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 <schi...@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 <schi...@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 <schi...@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 <schi...@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 <schi...@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 <schi...@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 <schi...@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 <schi...@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 <schi...@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 <schi...@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 <schi...@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 <schi...@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 <schi...@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 <schi...@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 <schi...@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 <schi...@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 <schi...@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 <schi...@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 <schi...@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 <schi...@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 <schi...@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 -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/aanlktinwachzgnydak1ndopa1dsymcajlq+u_7qwz...@mail.gmail.com
