[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#554263: marked as done (ITA: proofgeneral -- generic interface for proof assistants - common package)



Your message dated Fri, 13 Jan 2012 08:54:09 +0000
with message-id <E1Rlctl-0003uc-GB@franck.debian.org>
and subject line Bug#554263: fixed in proofgeneral 4.2~pre120112-1
has caused the Debian Bug report #554263,
regarding ITA: proofgeneral -- generic interface for proof assistants - common package
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.)


-- 
554263: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=554263
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
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




--- End Message ---
--- Begin Message ---
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 554263@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 ---

Reply to: