-----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-----