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 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
