-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 25 Apr 2012 22:57:47 +0200 Source: proofgeneral Binary: proofgeneral proofgeneral-doc Architecture: source all Version: 4.2~pre120411-2 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: 670341 Changes: proofgeneral (4.2~pre120411-2) unstable; urgency=low . * link el files into ELCDIR (Closes: #670341) * link image files in emacsen-install * fix flavor in emacsen-startup (see #662163) Checksums-Sha1: d48ac05c8de02be828e1a8a61b40b3768959009d 1962 proofgeneral_4.2~pre120411-2.dsc 6e7398cd8489848e7782b1be5cae58ddc197749a 18578 proofgeneral_4.2~pre120411-2.debian.tar.gz c6a0e6afd17b49a33a09fb4e5c6d5998564f3592 430262 proofgeneral_4.2~pre120411-2_all.deb 2c4c1e9a9bd05ec3b9f7b30b53fc7703fb22a31b 670884 proofgeneral-doc_4.2~pre120411-2_all.deb Checksums-Sha256: ab956450f480015a1592bffb8a68a14863d160745f7bb1ca751a89f2e13f1186 1962 proofgeneral_4.2~pre120411-2.dsc 805f1a483d0e94fb58cb896313c70184710b294ca9117c0adc736554774da612 18578 proofgeneral_4.2~pre120411-2.debian.tar.gz cd35948448d4349efcba5bb2a59fa271feb54f9a8eae9074688efd5786fb5c09 430262 proofgeneral_4.2~pre120411-2_all.deb f28ff9a0e7489ce579529c5e21e790b92b4e8ea78052ec4df71356af1a78edc3 670884 proofgeneral-doc_4.2~pre120411-2_all.deb Files: 9114d285c11799454f1d89cb576823d3 1962 editors optional proofgeneral_4.2~pre120411-2.dsc 737ee1bb7b24676d0bf171568705d988 18578 editors optional proofgeneral_4.2~pre120411-2.debian.tar.gz 0977fceb0fb61d41c4e77f100b43b10f 430262 editors optional proofgeneral_4.2~pre120411-2_all.deb f0e2954fe8dbfcc38cb16eab2e809bfe 670884 doc optional proofgeneral-doc_4.2~pre120411-2_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJPmYgbAAoJEHhT2k1JiBrTFKoQAKFyLBjVpjE7e7mlB//bipfr NBXKgQzju8u5j5rprpOhsgSuvKZMPeDXkt3iwPeYgPNd0u64fkLQeLLxpSbfL/cK iw+RcWWYj5y3T0QiTkxHSInuHNd+3YRD1rSFWeTIz46wwiLhw7eqlrirqpZ0JDMU YDOoY6wXiqcHVR8ttMsU+A+Y/811BLPvv8RRZGSP/TbY0n04LNJCmq1fsI0YrPbx gknUDE9iiGgBX1zytG5/1J080mAqucVEtBjmSyUo3uohCyAjUw0KoDavTpvcHhGU 39cgEhj8ePSV/n23Vqjjol9Do3dL4P029d601bhn38w1Sc3B0JA39lg32gTrN4+T W5hDFKfLx62fSGpA27HW6AjL3y1F8w/+yEdC40kCTjXyeKxBclTKJTzMwJ49nbes 1Lg1SO8PL1Fp77qElpcabu5rcYGyWPKzKDj731Kx84bxbHgIwtK6SftvFwcsGIr0 vbRlIEjX+fd1+RKJulSAFiDn1rL3YOxw0aHF5samDNe49cS8074fCLANXFTlPz0a p6S82AY+Kzsp1cyPexiwfzr0XPQ4O5JJBVI1suUmIuj5FOmYFfFkPUecANdfFDZa B/HksYvg8gHP3p8HszUi1FkAM8+rIqQ8v7sOZSqA7/EzclM3qHRPRvsFBF6aZ6rV chaSCcHcwGIDMBqq5Tlr =z68y -----END PGP SIGNATURE----- Accepted: proofgeneral-doc_4.2~pre120411-2_all.deb to main/p/proofgeneral/proofgeneral-doc_4.2~pre120411-2_all.deb proofgeneral_4.2~pre120411-2.debian.tar.gz to main/p/proofgeneral/proofgeneral_4.2~pre120411-2.debian.tar.gz proofgeneral_4.2~pre120411-2.dsc to main/p/proofgeneral/proofgeneral_4.2~pre120411-2.dsc proofgeneral_4.2~pre120411-2_all.deb to main/p/proofgeneral/proofgeneral_4.2~pre120411-2_all.deb