-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sun, 25 Jul 2010 01:10:07 +0200 Source: coccinelle Binary: coccinelle Architecture: source amd64 Version: 0.2.3.deb-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Євгеній Мещеряков <eugen@debian.org> Description: coccinelle - semantic patching tool for C Changes: coccinelle (0.2.3.deb-1) unstable; urgency=low . * New upstream release * Removed patches: - system-{pycaml,menhir,ocamlsexp}.diff - upstream build system can handle this - documentation-paths.diff - the manpage is generated using correct paths - documentation-build.diff - build documentation, authors clarified that it does not contain Front/Back Covers and Invariant Sections * New patches: - syslibs-depend.diff - fix depend targets when system libraries are used * Override clean directories in debian/rules: upstream makefile tries to clean directories removed in Debian package * Build and install pdf docs - build-depend on texlive-latex-base, texlive-latex-recommended, texlive-latex-extra, texlive-fonts-recommended, texlive-fonts-extra * Do not compress .pdf .cocci and .c files * Add information about manual license (GFDL-1.3+) into debian/copyright * Standards-Version 3.9.0 — no changes required * Install the bash completion file Checksums-Sha1: 168977b00f673e785632ab9c89bb3ee31417f3cf 1667 coccinelle_0.2.3.deb-1.dsc 8ad39f37ed44e73cc371152d94c1a8bbfcb3304a 1372341 coccinelle_0.2.3.deb.orig.tar.gz 9ff690ed314c269b7e472c157481814a5808105c 7586 coccinelle_0.2.3.deb-1.debian.tar.gz d2d50b5a32e184f851cefa1d81f43e2259434c8d 2594648 coccinelle_0.2.3.deb-1_amd64.deb Checksums-Sha256: a459b7d4cff27ee3ce5435a43a6e01121ef22fac4bd65cdb0bdfd326cafad57f 1667 coccinelle_0.2.3.deb-1.dsc df1921a28a2f91c1dfe781434765576877feff379e704ba80a4a57b378735867 1372341 coccinelle_0.2.3.deb.orig.tar.gz 8e243fbad626b3d69e74e838b390833e15a45b84c7d9229a1fcceec140bd4585 7586 coccinelle_0.2.3.deb-1.debian.tar.gz 742c38a9176bab36e7dc09fdd5bd355150900bb22e2578cfcfc71094333e52f1 2594648 coccinelle_0.2.3.deb-1_amd64.deb Files: 0d2199afc4045e0826b924e1d90d33f4 1667 devel optional coccinelle_0.2.3.deb-1.dsc 8cdd3c87e8cb1e261dec20c314d1b857 1372341 devel optional coccinelle_0.2.3.deb.orig.tar.gz 5b17118f897d62a610ff0ec35dec135f 7586 devel optional coccinelle_0.2.3.deb-1.debian.tar.gz ee19f731f08144cd7a73e84560475826 2594648 devel optional coccinelle_0.2.3.deb-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAkxMWkgACgkQKaC6+zmozOLPMwCeJcFS3zV+W5QOvijSu0LuyLuX 4LsAn2v4tBP3lG9SPUG2VWXwe2G0KBtD =er8L -----END PGP SIGNATURE----- Accepted: coccinelle_0.2.3.deb-1.debian.tar.gz to main/c/coccinelle/coccinelle_0.2.3.deb-1.debian.tar.gz coccinelle_0.2.3.deb-1.dsc to main/c/coccinelle/coccinelle_0.2.3.deb-1.dsc coccinelle_0.2.3.deb-1_amd64.deb to main/c/coccinelle/coccinelle_0.2.3.deb-1_amd64.deb coccinelle_0.2.3.deb.orig.tar.gz to main/c/coccinelle/coccinelle_0.2.3.deb.orig.tar.gz