Accepted proofgeneral 4.2~pre120605-2 (source all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 04 Dec 2012 14:50:27 +0100
Source: proofgeneral
Binary: proofgeneral proofgeneral-doc
Architecture: source all
Version: 4.2~pre120605-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: 694285
Changes:
proofgeneral (4.2~pre120605-2) unstable; urgency=low
.
* add Breaks and Replaces dependencies for proofgeneral-doc (Closes: #694285)
* delete wrong info in README.Debian
Checksums-Sha1:
68f674074d6b05c7e5074420a1d1e807a84f0b13 1962 proofgeneral_4.2~pre120605-2.dsc
1cfdca77f29e2520d66ded6d453a4c613d496830 19826 proofgeneral_4.2~pre120605-2.debian.tar.gz
03f51cd1bcae83ee6ad5a65a6613c780180cd8da 432172 proofgeneral_4.2~pre120605-2_all.deb
314ceab4635b9db1f081f24962d8edb8110c2f5d 671274 proofgeneral-doc_4.2~pre120605-2_all.deb
Checksums-Sha256:
1904543a6a7e6f42fe02760e8faa420b83770fb8cb4b629da73723effa50c84e 1962 proofgeneral_4.2~pre120605-2.dsc
b79a0779352575a028f0304c16a3ea3cc9a1b2567b3c9f44b5f7331d229dce42 19826 proofgeneral_4.2~pre120605-2.debian.tar.gz
c89d049c382e09cce47a9b1c8e8cfd73f23f66e5b5c4982b2c090f4ae118fc95 432172 proofgeneral_4.2~pre120605-2_all.deb
986a6b3cc36b6e1b09f7432386a57ba8ce466d43fd534ba789ec354bd4a5f128 671274 proofgeneral-doc_4.2~pre120605-2_all.deb
Files:
cc8da877a0224ea53c6df50ae20ce0c8 1962 editors optional proofgeneral_4.2~pre120605-2.dsc
832397e59bdde78ba9e6695f47e65f19 19826 editors optional proofgeneral_4.2~pre120605-2.debian.tar.gz
e4c4d3de8c5c61736d727b54889acd4f 432172 editors optional proofgeneral_4.2~pre120605-2_all.deb
0be5c68bb364b774ceaf9da52f91dd4a 671274 doc optional proofgeneral-doc_4.2~pre120605-2_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCgAGBQJQvx3wAAoJEHhT2k1JiBrTyFwP/j3a1E1/llVUrIj8QZvehehs
HXv7dJpVG/8Kk1+0G3sCaTuKHoqlfJG7qSqJ60cQDgSKRTv3NxssB9c9pkMDj4sn
tMdROVg2816/1bK3yqEwaDzI2bk8K40q97pgiiQk/l5cDFLvf8uBrp6UWrA02lvb
ljUJVHNlYhVXMWNwCRL3Bj2eqJNhXD99da3AHeYP2tFWHcYZKTXITVawtYDvl+QY
bu4PWRXJVz1K8MEcNEwXjKwg3jVmyZzQWLTYTcgGtcpsAS3A1bo8b/4Kyuu+UkMj
bGJYUqcpkqnWGD3WrYbbAlTCxIRDUkEVghfqSum0akyxqQmOd/9AnLZLezL1rRMW
E0lUx+uftavoi3ES9ACjUc0kcUUFPrjMsHS1D7EniRXjTT44eCuUkMxSw6Wbnjgd
2OlgHuAOwBBRGcSOh5RwxWlkLCIoE6y9AkJ94dbf+5XUNX2hDN3Np4e0D7+y2U5B
19QsEh5947OSKQwjR5mu6uK7pmLQEXHfo5K9fz6xAva4Ow/mSxcZjVl7J7eU9Skw
llWehA7OA/aBqhhulNDsOFgtAO79qKSsBc/xk5fTojFVTsUClXpMGBcaqYASbNKU
1cr7rCJhkKpn0S8O9tMOf4o3YVVfw6xgVPTNyQsZPgteLGTgOeZCDdFNNHpJXcLZ
PSPN2dNpwmZ5GXH7weFI
=XrCi
-----END PGP SIGNATURE-----