Accepted proofgeneral 4.4.1~pre170114-1.1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 25 Jul 2019 10:15:05 +0200
Source: proofgeneral
Binary: proofgeneral proofgeneral-doc
Architecture: source
Version: 4.4.1~pre170114-1.1
Distribution: unstable
Urgency: medium
Maintainer: Hendrik Tews <hendrik@askra.de>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
proofgeneral - generic frontend for proof assistants
proofgeneral-doc - generic frontend for proof assistants - documentation
Closes: 880285
Changes:
proofgeneral (4.4.1~pre170114-1.1) unstable; urgency=medium
.
* Non-maintainer upload
* Switch to unversioned emacs-gtk package (Closes: #880285)
Checksums-Sha1:
d7ceb57ad1abd42429b25ab40cce2c0734188345 1989 proofgeneral_4.4.1~pre170114-1.1.dsc
bfe218c8b98f187a2582bf1c5ddae6e8374d2df0 19808 proofgeneral_4.4.1~pre170114-1.1.debian.tar.xz
032f0c9f46228be109b88d35f9b49162a40e7873 10256 proofgeneral_4.4.1~pre170114-1.1_source.buildinfo
Checksums-Sha256:
f031bc83bcf7eee4694960d04eb56e69d5a0f5a7effafdd6abb15ece18586621 1989 proofgeneral_4.4.1~pre170114-1.1.dsc
7392f5100931811fecd760fda816df2366998ba99c1566fd15b947e972f65dce 19808 proofgeneral_4.4.1~pre170114-1.1.debian.tar.xz
dbfc0a927e9b01aeded85fc9e76e1dda1e2e251112043e1bb469f5b10df50b7d 10256 proofgeneral_4.4.1~pre170114-1.1_source.buildinfo
Files:
b2ca440673e5dcefbcc17882c6974b9a 1989 editors optional proofgeneral_4.4.1~pre170114-1.1.dsc
6c22be8420d5e143313d443aafe4cc2e 19808 editors optional proofgeneral_4.4.1~pre170114-1.1.debian.tar.xz
89d09459aa84238c511c5e8b0d270b10 10256 editors optional proofgeneral_4.4.1~pre170114-1.1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl05Zb8ACgkQ808JdE6f
XdkINQ//WwdKeT/ls+uYMCo3B6EzIMWr5jKIKodAPPurkTWvKNhBKwyBv9JYyVd0
HlvtA2QIWDUu9azHMal/I7RA+4HnLPx9s3ii8VBEeU4x+lExq5rI/gFA/kXXrJNX
Q8OAguatwFhq7VkUdvI+YfDaFhpKjJfeyfBirCNIYTPZsdpChd4UvyqP9YPae7wM
v17rYCOMTbr513C8nZP6PBTxnytL6/yS4oj34Bwbz1B+34AuQRS49pyDt6wj86Ax
1gcBR9p+XZVDZVyEcjKTInHWFWHoPRR75Vz8fLXhbZPwEk4uqroayflKwToowcIj
SnWw6AXA65ic+1b8R2VJVw0PBu0X4gh9YCPRdDn6N0/+ZRRBs4GY7IkWrgJXh86q
qIKQDuExGgotnRewA3JdyxHNAMOqsN6HDhSMF/bnrS7Inv3kUQrdZx5r/taPpuKk
ZoukChR+k3gdMsKZG7ACxD+6XgZFdhOKLYlFI5DWh1CPtO5zAKnK49EoubgTYwJC
gxUHUUc8SiIxA9iMRD7HtghHCK6R0Keg9DK4pbhESXHtEcyLvN2A4DCvClB26KCv
McQ50QjH19VpW50JKofYJikUalY26CXItK8KWimLpdA2n8ABXBf4l91/y26TXzfg
1QGu35zQ4TUof9ytjo3d9cLbG7c7QG+nuybPsUltuQxEBBVnTAg=
=a0q3
-----END PGP SIGNATURE-----