-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 28 Feb 2012 12:53:12 +0100 Source: proofgeneral Binary: proofgeneral proofgeneral-doc Architecture: source all Version: 4.2~pre120206-1 Distribution: unstable Urgency: low 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: 544436 642048 660353 Changes: proofgeneral (4.2~pre120206-1) unstable; urgency=low . * new upstream prerelease (Closes: #642048) * moved to section editors * standards version 3.9.3 * fix compilation with emacs-nox (Closes: #660353) * don't support broken PhoX anymore (Closes: #544436) Checksums-Sha1: f72783cec06eac9585cfc4cf91d0468455acca51 1959 proofgeneral_4.2~pre120206-1.dsc fea22b7bed1dda39eda84aa687b79bd32731c30e 952848 proofgeneral_4.2~pre120206.orig.tar.gz db395e481fd6cc75e0ca828616d29a1ec3abc12d 19341 proofgeneral_4.2~pre120206-1.debian.tar.gz f10c00836a8323dc59fb81961e7cd3279d8299bd 430074 proofgeneral_4.2~pre120206-1_all.deb 692e963daa7d45a09f89dfe0ab89b8e15807c60e 676030 proofgeneral-doc_4.2~pre120206-1_all.deb Checksums-Sha256: 2522708aab2edab2a876dfc4f69d964aa94b31c76d6527f16ff3edc483e143f2 1959 proofgeneral_4.2~pre120206-1.dsc cc6d4b0a83d9459d516541653839fd9873f6a96a3c574879780d06b2022482d5 952848 proofgeneral_4.2~pre120206.orig.tar.gz 83505c9ab40bcccfa6f6cb0f988c11e5b7f80e13d2ac97bf792a6654c139b7d5 19341 proofgeneral_4.2~pre120206-1.debian.tar.gz 612caa6886f6ea8ba430fc2a331bfcf18b69bc944e1d111b206472da521697b8 430074 proofgeneral_4.2~pre120206-1_all.deb f38f3884854ab5f246e1dd1ff282d7f8238d016842303f71384553a2e4917622 676030 proofgeneral-doc_4.2~pre120206-1_all.deb Files: b0c76e5489275e6783a7a48eb4b531db 1959 editors optional proofgeneral_4.2~pre120206-1.dsc 6d582b949f37b6a65ed3e656450f7021 952848 editors optional proofgeneral_4.2~pre120206.orig.tar.gz 0839232ed8e1326a73dbcc6eaca24f52 19341 editors optional proofgeneral_4.2~pre120206-1.debian.tar.gz 0468f57e747f765a2b2b0d283704a4d1 430074 editors optional proofgeneral_4.2~pre120206-1_all.deb b6dd6a7744d94bf7b3238725bb85d9ef 676030 doc optional proofgeneral-doc_4.2~pre120206-1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iQIcBAEBCgAGBQJPTTKzAAoJEHhT2k1JiBrT59wQAIwoX6wO4rqhhUenOO9X51n1 DUeL6LBU/TuW8LcNPULUHQkqXWd73Zd71bRiI015ehM1kz/7kGwfruusDGwQupLy 88AnzbCEOFiDFzagfd+clMBasZVm/5jV4hGi5KsSM57gcEwAlMnEcJGQ6LI3MpOr Vnr3dVvlE7mrF/zBW37Bs6G/h6qX30lZboNiplVkXg/81BvBl01dR/91FgZGgFlA LHQ4Ja64u9BUbMAsbjf/EqFx1hMcnWfUvARTSDkZFOr6z4FHWtvh+ChcSrUeKLlV cRZzmZsVywjJAGI/1W4PA6YpdS1N+eVjIaefnoZVG6r1MI2jeDerxu78uJV/j8LD dfsDrRipCCqmRQqN7zcCTuMb/rpfp2Oqlt6rAYxZlTGEs5LktsGVdhLa/dFS84Sj 29+GGm+RNROu3zCzV3x3wUZB7/f0xnnssBmvLNlcVN5c7VlebCcOHG/sRXvqCycU O0IOprD4aioKmgjg6KLuph5/MeC1quA2WStWivw+oq4BD/bVpGCXFDbup7MoCFKe 19YlL7S6QrDI7exbKHMs+ULAzvABcxG3XSWEMr1vxWjCcZ0ElNatOA6qkBKHOGL5 3ony28U7MlnuMlCye7C8rtMfgMNzfoumtXPAQq8K1FocVzDZfTai+8scTOq92cfm 8t7PmcWS8uOKJCxNvrCg =fOV1 -----END PGP SIGNATURE----- Accepted: proofgeneral-doc_4.2~pre120206-1_all.deb to main/p/proofgeneral/proofgeneral-doc_4.2~pre120206-1_all.deb proofgeneral_4.2~pre120206-1.debian.tar.gz to main/p/proofgeneral/proofgeneral_4.2~pre120206-1.debian.tar.gz proofgeneral_4.2~pre120206-1.dsc to main/p/proofgeneral/proofgeneral_4.2~pre120206-1.dsc proofgeneral_4.2~pre120206-1_all.deb to main/p/proofgeneral/proofgeneral_4.2~pre120206-1_all.deb proofgeneral_4.2~pre120206.orig.tar.gz to main/p/proofgeneral/proofgeneral_4.2~pre120206.orig.tar.gz