Back to proofgeneral PTS page

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