Accepted proofgeneral 4.4.1~pre170114-1 (source all) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Mon, 16 Jan 2017 17:30:55 +0100
Source: proofgeneral
Binary: proofgeneral proofgeneral-doc
Architecture: source all
Version: 4.4.1~pre170114-1
Distribution: unstable
Urgency: medium
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: 758968
Changes:
proofgeneral (4.4.1~pre170114-1) unstable; urgency=medium
.
* Imported Upstream version 4.4.1~pre170114
git hash 6d1f608c6e7c39eff89b9461a2f4ea7ff1b19899
* fix lintian copyright issue
* add patch fix-coqtags and install coqtags
* add emacsen compat file (Closes: #758968)
* add patch desktop-keyword-entry for desktop-entry-lacks-keywords-entry
lintian warning
* disable StartupWMClass towards a solution of #746466
* fix emacs warning inside emacsen-install
Checksums-Sha1:
16681a401f74e3857f0d5e18df3ce3729afbb043 1989 proofgeneral_4.4.1~pre170114-1.dsc
e0fec0c4d6c6203c8a6325100073911e0db30d74 9299752 proofgeneral_4.4.1~pre170114.orig.tar.xz
78df69da42751ef834c9ec5af06bf644d755619a 19736 proofgeneral_4.4.1~pre170114-1.debian.tar.xz
83533e7052276ea19e6c7703de7a4cbe1df3ed1b 682170 proofgeneral-doc_4.4.1~pre170114-1_all.deb
16fcf349a6da89676d6529fb705fa6bad4639379 603216 proofgeneral_4.4.1~pre170114-1_all.deb
18ba262302ebb1b03586b53528b053f5a5e98cd1 10531 proofgeneral_4.4.1~pre170114-1_amd64.buildinfo
Checksums-Sha256:
29e9c41f3fabf0a0c2f7e4249fccb6c8222a67ce8c8738d3f9172badf290fcd2 1989 proofgeneral_4.4.1~pre170114-1.dsc
bdfa34555199aa70fda60906aa7d087d176bf11d3b9f1a60740c37fc3148e50d 9299752 proofgeneral_4.4.1~pre170114.orig.tar.xz
babfc1232f9a7bdbf295173a3446a3d06ec74ec05dd05c230b5b5e3f08587db8 19736 proofgeneral_4.4.1~pre170114-1.debian.tar.xz
aad339223831dbc608f5e172592daf135e8cb6c04a94e016398b1497bfd7d9fd 682170 proofgeneral-doc_4.4.1~pre170114-1_all.deb
7b5b5a563fb4a0bb5cb02ec0b5be98796b48523878c523881a084e5f0291aa57 603216 proofgeneral_4.4.1~pre170114-1_all.deb
8f668b76d8ebce3a7576dd8a26202b4ecf0590bfb0f319190d7b33fe75f76eae 10531 proofgeneral_4.4.1~pre170114-1_amd64.buildinfo
Files:
95ce9cc0fb5be757fcee7fc479ddbb44 1989 editors optional proofgeneral_4.4.1~pre170114-1.dsc
56ff3a7d19e7062598664674aa890332 9299752 editors optional proofgeneral_4.4.1~pre170114.orig.tar.xz
00ecaa67c5c812bfa5c6243e9ab3c0fb 19736 editors optional proofgeneral_4.4.1~pre170114-1.debian.tar.xz
7691ccce2475d1851315d81cf6929c57 682170 doc optional proofgeneral-doc_4.4.1~pre170114-1_all.deb
5cdefda2973dea8206ae1b93c61e87e7 603216 editors optional proofgeneral_4.4.1~pre170114-1_all.deb
6d73ed8e8691c70a6ad3fccd60cceca7 10531 editors optional proofgeneral_4.4.1~pre170114-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEELxwEo2l/3m4i/s6V8EC9TJPIWtIFAlh9PAwACgkQ8EC9TJPI
WtLAig/+Pd0q1Umgh93k1/g9K9fvNs540QfK3GdS5mFU6vKi7vACo+3z5JkTyq1c
yRDq7gi7sitEPggLxOYDF/E4XUNyql+irBZbHZyWqu9lNH1Ac8s/0vBZLzH4dxDc
9E7y/G/pCaovyvhX1isJ80CEVVkiVGyN5kCO6r2alD3pbOZxPbqAZFP/+7X5sQcc
mtMO1dLV5q4/qkOmFRJDYNSKv/IzPUHHOSs9e61HNFDWgnckXS+C44rLWHjEq3Cm
3LUEggX9y4htVo01AI4Yhf8QyHQvrTYua0wYv+rvKqpJ5g1mM/4ewvGAKkUw2wgb
1O92h92QaEG79vPggGxCxhQ5OuC4vittp3jvoclgFV5eFIWn+M18JvCjpZd/ySQ1
B+acew1bySN2IpH0bNJliXRViPJErbizOTPViULpTivszNi44TzQ0IapBe2owRvc
OTdbYJ3l8bpaqqLmVYai+vfPIoeQicDJQCgaaL7avBM9OLRghWynWp67LHT5q8pc
yQYhvDDoUFG4x6yW1gJQocuEpklDBmrqTj2ndTj2pz4U97jNCv99FFpAf904xZRw
k6fBlGLKEMhju2bakrmpIS4e3YnAycaLdlid+dVFLzjBCMnZos9N0wT8VdtMBqIZ
dSH98qrPiBgM6evnNupa9D3u7g7h0YcsXitXIKQOUbult6j4lTw=
=irL+
-----END PGP SIGNATURE-----