-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Fri, 30 Dec 2016 22:22:22 +0100 Source: proofgeneral Binary: proofgeneral proofgeneral-doc Architecture: source all Version: 4.4.1~pre161230-0.1 Distribution: unstable Urgency: medium Maintainer: Hendrik Tews <hendrik@askra.de> Changed-By: Richard B. Kreckel <kreckel@debian.org> Description: proofgeneral - generic frontend for proof assistants proofgeneral-doc - generic frontend for proof assistants - documentation Closes: 846990 Changes: proofgeneral (4.4.1~pre161230-0.1) unstable; urgency=medium . * Non-maintainer upload. * New upstream release. * Make package work with emacs24 or emacs25 (Closes: #846990). * debian/control: Remove ${shlib:Depends} for package proofgeneral. * Drop debian/menu, following tech-ctte decision on #741573. * debian/README.Debian: Remove special note about prooftree, which is now a proper Debian package, and added HOL Light as prover. * debian/*: Adapt to new upstream home at github. * debian/patches/: - drop smartly-enable-prooftree - restrict-installed-provers.patch: added hol-light as prover - refresh all others Checksums-Sha1: 3de569e36cc9865943fb0401af33e2a908dd464f 2029 proofgeneral_4.4.1~pre161230-0.1.dsc 38819a626b2e1ac3a59164812d685007bf513bae 11671804 proofgeneral_4.4.1~pre161230.orig.tar.xz 9d25b5d06633fe56dbfa44d3dee05440bbcb24cf 19180 proofgeneral_4.4.1~pre161230-0.1.debian.tar.xz 0b4cceddd430e6d80bf5cf46c65f718fd0148e04 682020 proofgeneral-doc_4.4.1~pre161230-0.1_all.deb 16cd7de51b4b0e5c8519dce64a9b7ac9d4930ae3 600576 proofgeneral_4.4.1~pre161230-0.1_all.deb 59b5987a3faec8c90cb5e9580ac070ce761db8c9 10550 proofgeneral_4.4.1~pre161230-0.1_amd64.buildinfo Checksums-Sha256: d3dfcafbc90af553475d55496614535836fc121b6db2b25e1b72d63d837cf129 2029 proofgeneral_4.4.1~pre161230-0.1.dsc ab32f8039c920cf409151fec5cff6ef0c6eddda3740726d2acf2479383631f34 11671804 proofgeneral_4.4.1~pre161230.orig.tar.xz d7e23953e33d9f0203f0aea416fd9fd4a900db39ac6e6f6d04fccedf26f17dde 19180 proofgeneral_4.4.1~pre161230-0.1.debian.tar.xz 0de271ee93464556c3a38c126ea83aed0d480bd0e7bc17fc2ef6d8aa64f21186 682020 proofgeneral-doc_4.4.1~pre161230-0.1_all.deb 626a7845e3630ac6017406df7472a4529ddebdcf1e9ff67772f722bc936c43c4 600576 proofgeneral_4.4.1~pre161230-0.1_all.deb bf8c8b486859aa223ddda22c38ab995a9739582a8c10b6212043f33dc1d701ec 10550 proofgeneral_4.4.1~pre161230-0.1_amd64.buildinfo Files: ecb314dd0498c9827933a6b0d7eebddd 2029 editors optional proofgeneral_4.4.1~pre161230-0.1.dsc 6388afb0c63faa5a2c011cb10b081fa4 11671804 editors optional proofgeneral_4.4.1~pre161230.orig.tar.xz 53c4a1b5e87cb8f3f1b01ae48a07acfe 19180 editors optional proofgeneral_4.4.1~pre161230-0.1.debian.tar.xz 9114d06e911b8c2ada45187ce5152304 682020 doc optional proofgeneral-doc_4.4.1~pre161230-0.1_all.deb 79766fef42f6cd6d61d0138479a0e501 600576 editors optional proofgeneral_4.4.1~pre161230-0.1_all.deb 9647b3d010ba06fb42f3c530faecc7fa 10550 editors optional proofgeneral_4.4.1~pre161230-0.1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJHBAEBCAAxFiEELxwEo2l/3m4i/s6V8EC9TJPIWtIFAlhnzasTHGtyZWNrZWxA ZGViaWFuLm9yZwAKCRDwQL1Mk8ha0uTED/9Rh2o7bkaKrDmAgDyqDTmY1r5uUssr zkr8TJXObYgHCsPALcmlgMTpKWvPJGo0w0R+LzpryIDKAWxfOuRGxml8afAsr01H ilU4jBgzChT1VoEOqQ0KrSYgSEp2Ocl7PAyFUWx9+JZYxSeQKYZ1BEiIyW/59aI0 /MyboOgfgJJugjW3qvCXwnNW3m7aBZXb3nxlvob/OQzV6YJFy35jqEigpvTqzM9H Ou5etwW5VyJSCoHIg2sukhFp1KlUyKwUZiqSK6YGFwmazcTrFZCVcN3WIh9IE6bI gnGm3EmuZ4rKImQd3QcNidOHhIL79sUOdeJkJuI7G7CUTMqsQ3Sj8EmQ+u4QSZMM AzycSyB/VPynpVi5D3WnhhqxdxOWufqZaeuLRhwvhHl5Xx3h/GcPuRCUP5FAOlxY e048p3iXaad57be87TF9nKuMYrZyvDJLFqAOf7N5MIWGHPGwxCx2f+C80/br1KhO qQNXQqN+w4MLYlLPjo5J8KVA1MnNsP8kIhEjy+QS57ZQJPgug4x7T0isbck9BvRv ES68AgFZhPrHCDnrGZ6Ia/yLzzBFXgTT8xsnZUepDpHwuHXe89t6/HSefGBkqxDN jm3VC2nS8fkkFp6TmIEPudbLgERjAkKYLApcUROcJIa2sx/2Kx/D562JB2e97Azn bOMPSI2Sbtl/Tw== =Szqz -----END PGP SIGNATURE-----
