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