Accepted proofgeneral 4.3~pre130510-1.1 (source all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 15 Feb 2014 19:57:15 +0900
Source: proofgeneral
Binary: proofgeneral proofgeneral-doc
Architecture: source all
Version: 4.3~pre130510-1.1
Distribution: unstable
Urgency: medium
Maintainer: Hendrik Tews <hendrik@askra.de>
Changed-By: Hideki Yamane <henrich@debian.org>
Description:
proofgeneral - generic frontend for proof assistants
proofgeneral-doc - generic frontend for proof assistants - documentation
Closes: 738392
Changes:
proofgeneral (4.3~pre130510-1.1) unstable; urgency=medium
.
* Non-maintainer upload.
* debian/control
- add "Build-Depends: texlive-fonts-recommended" to fix FTBFS
(Closes: #738392)
- remove unnecessary "Build-Depends: texi2html" due to transtion
(see https://wiki.debian.org/Texi2htmlTransition)
* debian/patches
- add transition_to_makeinfo.patch to use makeinfo, instead of texi2html
* also update debian/proofgeneral-doc.doc-base to deal with changes with
above
Checksums-Sha1:
351ad43af4ae3dfd6656d61088f2bc9b2abdfe13 2016 proofgeneral_4.3~pre130510-1.1.dsc
b8ed0a2cc0d9765301253cbd51b7eef6aa4e05ba 19108 proofgeneral_4.3~pre130510-1.1.debian.tar.xz
cc2cc16492dbd9c76cc7c9ca405fe5d497df2317 370950 proofgeneral_4.3~pre130510-1.1_all.deb
864619e3d20a81a6014924f4f4651c23febc3d57 665738 proofgeneral-doc_4.3~pre130510-1.1_all.deb
Checksums-Sha256:
c041d9f1a3fb4f3c0557bc7aadeca9f6fa806c0cac6909d5f4c70f852b42a47c 2016 proofgeneral_4.3~pre130510-1.1.dsc
a111996fea125027cb347af14cc5ba609c5d754c5c37e671b96634df70045f6b 19108 proofgeneral_4.3~pre130510-1.1.debian.tar.xz
67fc3f8420d1ca31b2bfdb078d260f6e381cbb8a3ef01bfd59b71d1e43c3408b 370950 proofgeneral_4.3~pre130510-1.1_all.deb
3ae14377601dcde87c5103d3bad5c310a15a3849b7a2b6b8658cde08a0a35232 665738 proofgeneral-doc_4.3~pre130510-1.1_all.deb
Files:
05d39343263bd46632957e8eaa8af45f 2016 editors optional proofgeneral_4.3~pre130510-1.1.dsc
b6ff14e5269671e0028d95fb73c82011 19108 editors optional proofgeneral_4.3~pre130510-1.1.debian.tar.xz
e5bf3c39e52229d15be76566af8e9ab5 370950 editors optional proofgeneral_4.3~pre130510-1.1_all.deb
1e073e55e1a8515d3085348bd6b1866b 665738 doc optional proofgeneral-doc_4.3~pre130510-1.1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCgAGBQJTAGs8AAoJEF0yjQgqqrFAxTgP/36a8NJnB5dNu1B6coaBSzGS
k4a6taOvSSHRXSExgWatKrGUEGyZq+TWiHD/VQxMH65X6jxDgpeBwh4isRruAxjN
QijkegOBEXCE2fGmll1CgvZFxikI571m+Pzi6MtMo0Ml8PxYgaxUXsMytdwFwULv
lMXC859oWaCISgMf68PewJjbRAwuNeAVUMpG/TnZtCPZnBczZx7wjbjeLlzgvCp2
9zcJVyxC8CD+Ni4ini3t5dChL7n87tfb8RCnomlGXSVgtyI0s/JJJmjb4VxicSvU
id99FWXv+YEJUmq+m1bl4sQAYfs6ctowOqgZgesWvhY2chPUwkmODhywuY4Jfrwk
2dEIhl3/5t2PH+nZplfqJLtR9Tiat6FcLAtdJTs6ARiI5VxpukatNOFkO8ZPyLbC
Bg4t7U07xGhL0vmOPIfMYWJO9ys08qlF/mJFGTqqu2hgPb+hi1X89RCxpX0QEcbh
ofCEG2dwRPnfboJFOEWseibmoU6MZynPfE0emp6j+TukvUkwN3h1x2pwsGtBSWxH
VtslGGlKH8AGhQZI9GdM8kgR4+JI8q+msGoUnUGtGinEHLknf4jM0ghs5D55JyD4
u2nOXzgAIyGMuCuE8qAzoLZwR1ASeUHKymo/tpnfFPgByuhVXrfyXZnwlr6qSWVY
7lww9dayQZcbq2UpuN7u
=2jRE
-----END PGP SIGNATURE-----