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