-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sun, 25 Nov 2012 15:43:40 +0100 Source: coccinelle Binary: coccinelle coccinelle-doc Architecture: source amd64 all Version: 1.0.0~rc15.deb-2 Distribution: experimental Urgency: low Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Євгеній Мещеряков <eugen@debian.org> Description: coccinelle - semantic patching tool for C coccinelle-doc - documentation for coccinelle Closes: 694269 Changes: coccinelle (1.0.0~rc15.deb-2) experimental; urgency=low . * Add Breaks/Replaces coccinelle (<< 1.0.0~rc7.deb-4) to coccinelle-doc, this fixes package upgrades. Thanks to Andreas Beckmann (closes: #694269) Checksums-Sha1: 7ee88cf300b12032d13e1350b9d98f909b92deb1 1810 coccinelle_1.0.0~rc15.deb-2.dsc 06366bbf00c6e9b16cce307f9b119ae2f1915df5 8809 coccinelle_1.0.0~rc15.deb-2.debian.tar.gz b28388d504320d3fc88e939e2c03ec2fd056c178 572446 coccinelle_1.0.0~rc15.deb-2_amd64.deb 25dcb6b065850648f506e6d376e063b79e83a0e0 788896 coccinelle-doc_1.0.0~rc15.deb-2_all.deb Checksums-Sha256: 0f61d87c76cffdda90cfa21c879093ddc18c1b1b1a910e6eecec09f70389f903 1810 coccinelle_1.0.0~rc15.deb-2.dsc fafcd20d008b5070b86be13aa816f0d251f2dc1081866bd13e4046022951a58f 8809 coccinelle_1.0.0~rc15.deb-2.debian.tar.gz ff938c7633b8898e4b8931f0801f65a16053bcba2287babdc1cc7316703ea1f4 572446 coccinelle_1.0.0~rc15.deb-2_amd64.deb 3985dc2c693fadd0a9eac972720e3362f2d2f6776e29b3c948aa838da457cf83 788896 coccinelle-doc_1.0.0~rc15.deb-2_all.deb Files: 4dc805bb77e89e598d6aeb39233a6ffe 1810 devel optional coccinelle_1.0.0~rc15.deb-2.dsc 552f16a497c3eca9c312b167f5f7f2ec 8809 devel optional coccinelle_1.0.0~rc15.deb-2.debian.tar.gz 23c891105305776b744e2ea8542aafd3 572446 devel optional coccinelle_1.0.0~rc15.deb-2_amd64.deb d8a43ed3ae4b4f5064f9656a983d12f8 788896 doc optional coccinelle-doc_1.0.0~rc15.deb-2_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iEYEARECAAYFAlCyL2YACgkQKaC6+zmozOKvqwCfYugCQToBPbSlnuGVfMTcjtzM JE4AoIH87UsoyhKdMWyDBlbas0omIUFX =rwc5 -----END PGP SIGNATURE-----
