Accepted proofgeneral 4.3~pre131011-0.2 (source all) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 16 Nov 2014 17:46:59 +0100
Source: proofgeneral
Binary: proofgeneral proofgeneral-doc
Architecture: source all
Version: 4.3~pre131011-0.2
Distribution: unstable
Urgency: medium
Maintainer: Hendrik Tews <hendrik@askra.de>
Changed-By: intrigeri <intrigeri@debian.org>
Description:
proofgeneral - generic frontend for proof assistants
proofgeneral-doc - generic frontend for proof assistants - documentation
Closes: 768619
Changes:
proofgeneral (4.3~pre131011-0.2) unstable; urgency=medium
.
* Non-maintainer upload.
* Remove {build,runtime} alternative dependencies on emacs23*:
Emacs 23 is not in testing/sid anymore, and sbuild always picks
the first alternative, which made the package FTBFS (Closes: #768619).
Checksums-Sha1:
03f99dbcb6d41a8f2f62b8692f6aa4df00cea2a5 1975 proofgeneral_4.3~pre131011-0.2.dsc
24827e3c4bbaec6164ea943372f078b399c5ce98 19412 proofgeneral_4.3~pre131011-0.2.debian.tar.xz
df6985875fcbc306239a71713702090151ac677a 375316 proofgeneral_4.3~pre131011-0.2_all.deb
a2f307d85a3279341f152b8050affcccf6149195 687198 proofgeneral-doc_4.3~pre131011-0.2_all.deb
Checksums-Sha256:
2513cfb94a9ab53e39caa6ea2f9772f10a6024398a4b938353162b2806a0f394 1975 proofgeneral_4.3~pre131011-0.2.dsc
80a6c72d5966c261065e9732aa2b649284ccc71ffd26ae01cab4d5991196f2ba 19412 proofgeneral_4.3~pre131011-0.2.debian.tar.xz
74341c40658b0b50fb457c20481f7571ff66dc1ba90352f8c8c2975cd2ba6155 375316 proofgeneral_4.3~pre131011-0.2_all.deb
27078e60d8adf183b5ffc22fd24381d55c132cef8083da582fa4f21f40e5ab42 687198 proofgeneral-doc_4.3~pre131011-0.2_all.deb
Files:
15cccb1b5689a52265b51f6d008f7271 1975 editors optional proofgeneral_4.3~pre131011-0.2.dsc
29de48e6198c2199b9ec0add421be13c 19412 editors optional proofgeneral_4.3~pre131011-0.2.debian.tar.xz
60af668aa4f9bd6243eb34af468cbdc9 375316 editors optional proofgeneral_4.3~pre131011-0.2_all.deb
df0342d1fd7f484da10b0453456bf5b9 687198 doc optional proofgeneral-doc_4.3~pre131011-0.2_all.deb
-----BEGIN PGP SIGNATURE-----
iQIcBAEBCgAGBQJUaNXrAAoJELrOFdKldJj/iTwQANMcs7wzEebOd7xxTVnBVLcC
qmMJjYELjrU07bsZsKPYPPOD6WnRCoCaO8pf55t1OlQXWvqX0bYkeGrsBQ/Pp5JN
mMT2Ec83bNneVth54ZKsNYs1Qqu0fIURc4NnnjX8X8We4rOJG7bGHeL8DYt5egl1
C7ObHnhwuPgytYHaqEzadqESbPqiXPv7ys9LCv4BzHCnVxI7yteAcC94K+pluopB
Er/GxmmxRc/JUWlKJv/mkOxon3IV3zD/uoFOUZltqCvG+J71U0ABKqeJUc4sxGzp
P8Gb9/V40fJWmIRCQ0zWX4fcXaUVvSsy6wxoQeZxDgTx3KAvP16MF08suh4ANDGm
5epyrXUp4VVbCvG2stQOozD3zlCuVCOvnWJWF4o30TrexPz8dANljpXqnmuZbspa
dCJ0G+cNs8TosADW3wgXseuGKUsKv5XzMM0PVJVjTPZU/jn//+miXViVxkJbLPFV
qqLzITpUDkvfj4ZFKIhusbZi4wybUbpHbQIjyyV9NnTVgpVMZbnfN71y1BPqvczZ
2rv685AMsD8psknpKh2Gk44lNeJ9Wm5N3O3YMOoAmU5zS6/KzSALLtpO4qEEfe9j
q6G9ra+d1OKFJzvevJ46TbQx1JzslF/ig33MWLvig0936XH4pUSIAZV4nlAri7zc
iC6v/VUM+nc/oqUMB/FO
=wLyC
-----END PGP SIGNATURE-----