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