Your message dated Fri, 26 Nov 2010 10:17:09 +0000 with message-id <e1plvmb-0007ks...@franck.debian.org> and subject line Bug#604970: fixed in coccinelle 0.2.4.deb-2 has caused the Debian Bug report #604970, regarding coccinelle: Missing ocaml-findlib in Depends: to be marked as done.
This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 604970: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=604970 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
--- Begin Message ---Package: coccinelle Version: 0.2.4.deb-1 Severity: serious Justification: Renders package unusable Hi, it looks like you're missing ocaml-findlib in Depends: | $ spatch -sp_file ioctl_multiple_rules.cocci ioctl_multiple_rules.c | /bin/sh: ocamlfind: command not found | Fatal error: exception Prepare_ocamlcocci.CompileFailure("ocamlfind printconf stdlib has failed") Works fine after having installed it. Thanks for packaging coccinelle, that's really a nice tool. Mraw, KiBi. -- System Information: Debian Release: sid APT prefers unstable APT policy: (500, 'unstable'), (500, 'testing'), (1, 'experimental') Architecture: amd64 (x86_64) Kernel: Linux 2.6.32-5-amd64 (SMP w/2 CPU cores) Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/bash Versions of packages coccinelle depends on: ii libc6 2.11.2-7 Embedded GNU C Library: Shared lib ii libpython2.6 2.6.6-6 Shared Python runtime library (ver ii ocaml-base-nox [ocaml 3.11.2-2 Runtime system for OCaml bytecode ii python 2.6.6-3+squeeze1 interactive high-level object-orie ii python-glade2 2.17.0-4 GTK+ bindings: Glade support ii python-gobject 2.21.4+is.2.21.3-1 Python bindings for the GObject li ii python-gtk2 2.17.0-4 Python bindings for the GTK+ widge ii python-support 1.0.11 automated rebuilding support for P coccinelle recommends no packages. Versions of packages coccinelle suggests: ii vim-addon-manager 0.4.3 manager of addons for the Vim edit -- no debconf information
--- End Message ---
--- Begin Message ---Source: coccinelle Source-Version: 0.2.4.deb-2 We believe that the bug you reported is fixed in the latest version of coccinelle, which is due to be installed in the Debian FTP archive: coccinelle_0.2.4.deb-2.debian.tar.gz to main/c/coccinelle/coccinelle_0.2.4.deb-2.debian.tar.gz coccinelle_0.2.4.deb-2.dsc to main/c/coccinelle/coccinelle_0.2.4.deb-2.dsc coccinelle_0.2.4.deb-2_amd64.deb to main/c/coccinelle/coccinelle_0.2.4.deb-2_amd64.deb A summary of the changes between this version and the previous one is attached. Thank you for reporting the bug, which will now be closed. If you have further comments please address them to 604...@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Євгеній Мещеряков <eu...@debian.org> (supplier of updated coccinelle package) (This message was generated automatically at their request; if you believe that there is a problem with it please contact the archive administrators by mailing ftpmas...@debian.org) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Fri, 26 Nov 2010 09:52:48 +0100 Source: coccinelle Binary: coccinelle Architecture: source amd64 Version: 0.2.4.deb-2 Distribution: experimental Urgency: low Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Євгеній Мещеряков <eu...@debian.org> Description: coccinelle - semantic patching tool for C Closes: 604970 Changes: coccinelle (0.2.4.deb-2) experimental; urgency=low . * Depend on ocaml-findlib, thanks to Cyril Brulebois for noticing (closes: #604970) Checksums-Sha1: b7f84b1ed3cdf6e81601e051cc582cd2190898bb 1667 coccinelle_0.2.4.deb-2.dsc 8c9117fd4b4220a1678b7462889588b0853afe13 7494 coccinelle_0.2.4.deb-2.debian.tar.gz 4d203e9cf895264b255edaccb1580d60ef98e004 2921988 coccinelle_0.2.4.deb-2_amd64.deb Checksums-Sha256: d5be8fa52bc6b5003e642015c37935e74a334c4ef48f889141a0f86881391d80 1667 coccinelle_0.2.4.deb-2.dsc 25ab7d190d0ae6491f8b0eecc5eb8b8097ae402a4e3e826aed5be329ae88a390 7494 coccinelle_0.2.4.deb-2.debian.tar.gz fac0403806f9e231caa108dc94971177b71a4685dfedabcd17df7f99756905da 2921988 coccinelle_0.2.4.deb-2_amd64.deb Files: 99afdcce7fb9ac2a7018519bfab585ea 1667 devel optional coccinelle_0.2.4.deb-2.dsc 79c9313325735a8a410c254337f26ec3 7494 devel optional coccinelle_0.2.4.deb-2.debian.tar.gz 038cac4be1d65a9d857ec4fa17efd208 2921988 devel optional coccinelle_0.2.4.deb-2_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAkzvg+AACgkQKaC6+zmozOJIxACfbbLob1/g20Aq7LKl9G/yPXFm MJcAnRE7eN2mATy7Mjop/HxXUnjwEtWY =Si1r -----END PGP SIGNATURE-----
--- End Message ---
