Bug#604970: marked as done (coccinelle: Missing ocaml-findlib in Depends:)
Your message dated Fri, 26 Nov 2010 10:17:09 +0000
with message-id <E1PLvMb-0007kS-GM@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 owner@bugs.debian.org
immediately.)
--
604970: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=604970
Debian Bug Tracking System
Contact owner@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 604970@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Євгеній Мещеряков <eugen@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 ftpmaster@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-maint@lists.debian.org>
Changed-By: Євгеній Мещеряков <eugen@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 ---
Reply to: