Accepted proofgeneral 4.2~pre120206-1 (source all)
-----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