-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 12 Aug 2014 22:03:50 +0900
Source: proofgeneral
Binary: proofgeneral proofgeneral-doc
Architecture: source all
Version: 4.3~pre131011-0.1
Distribution: unstable
Urgency: low
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
Changes:
proofgeneral (4.3~pre131011-0.1) unstable; urgency=low
.
* Non-maintainer upload.
* New upstream release
* debian/patches
- drop fix-texinfo-5-1-bug.patch: unnecessary anymore
- drop pg-image-bug.patch: unnecessary (cause FTBFS)
Checksums-Sha1:
62387ce11223901c2010cab44bc9d7b3e2b09727 2033 proofgeneral_4.3~pre131011-0.1.dsc
0a297cecc267b5e8a52168aa09f1c82a2adb68f9 11592524 proofgeneral_4.3~pre131011.orig.tar.xz
3974df683a751679d29bd6961fe6f18e442f0a36 19320 proofgeneral_4.3~pre131011-0.1.debian.tar.xz
7a09c846850e9be9c897c15a4b3e8ca299810571 375028 proofgeneral_4.3~pre131011-0.1_all.deb
7aee60118ec6f2d070ef4f0b249c6763f3645f8f 688902 proofgeneral-doc_4.3~pre131011-0.1_all.deb
Checksums-Sha256:
d84e1f303e1f3695421582a3bcb7f628a25090e741e01899bf536596bc24a054 2033 proofgeneral_4.3~pre131011-0.1.dsc
def0e120d99b4409fc95e6fa75afdf22475ebc65934ea89e0902819353748897 11592524 proofgeneral_4.3~pre131011.orig.tar.xz
48c82bd6be9023fbfe04f6b1cdf82ba782b2bca45b1402a7a8941b07ee026a6f 19320 proofgeneral_4.3~pre131011-0.1.debian.tar.xz
4f3a6fb4f34f451b3f5c31988d620b0c3f688bee9d6f98bf80eea41d2e375f0d 375028 proofgeneral_4.3~pre131011-0.1_all.deb
5720ffd75e6d07b856c2049f0a41d2179fd77327c2f3b46e67bcb6f54789c3a4 688902 proofgeneral-doc_4.3~pre131011-0.1_all.deb
Files:
dadf3dcb901da209ed5da8e4ea7d79b5 375028 editors optional proofgeneral_4.3~pre131011-0.1_all.deb
da7bed0ae7c12a239e39eef56a319829 688902 doc optional proofgeneral-doc_4.3~pre131011-0.1_all.deb
95c12e4b589a30ce285beeaa573607c3 2033 editors optional proofgeneral_4.3~pre131011-0.1.dsc
0edc02ed2ce1a0dbd002b0150f42c7fc 11592524 editors optional proofgeneral_4.3~pre131011.orig.tar.xz
de0a500b01d1cdae4fd51c89ff0a6ed6 19320 editors optional proofgeneral_4.3~pre131011-0.1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCgAGBQJT6hXsAAoJEF0yjQgqqrFAG0oP/2dFAl1t5mLsychD78SEGDzO
BmaZDJCqgLZLXw1vHXDxXALyfmOowCymQcqU+qfa6fenvX7AwEb83OWIoNaiarTh
yezJlVf54KDf04PJSovrckvcEY0bjKDgri+f3jGHDdv9sfPtiN9H9cWzIyfxDSPm
kuewc2GmCBSwt/OlZ3I+S23vZnNmtxRqyHorGNt1mnjCrQ4MzKFIWbyH0hVNmEC6
a0f2snHW+ZSZvPnXtu6p9y0a/X5SnO4LF4HEsTXb/xEvAGppImtcJwoIjP0/IC7g
YfwrHtPawSmhWE3FHvidU/DuxmBgu7lEsZhlEIlaMImgtyN9qyq1Rv3Gu95PzdH6
KJFxUXSk8bt4GJyniqpbh8pNwKYRJsSXEUqmBzp1ZKyUqUj87fNxA2HD8SQSwtkf
jaJh7nLXvPnVXcc8scHDqbe6uRy0z5yFvvSq83/yK/COE9pXy7qD9n40LNw8WLHH
gtRMJB/QLN043COxN5+fi6zUl2U79wZ1i8WFm958//rcd+RshGGM8BRR0dHCAQ3T
q8uHLr0oM1n0OmS9J3EAv4tXrnYi9VDABQzhOknmIEm1aEIop/hR9x+ggijPL7vH
FuIiwJCP9oZTBT+ebvftiPR0IhP3VVmmhintl9v/eHpo8kPFQ3FWqKRBkbuvFbT/
lHfix+xY3vY+WttcnLbL
=9EGi
-----END PGP SIGNATURE-----
