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