Fedora 15 Update: coccinelle-1.0.0-0.rc4.2.fc15

updates at fedoraproject.org updates at fedoraproject.org
Thu Aug 11 23:27:42 UTC 2011


--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2011-10239
2011-08-03 01:59:26
--------------------------------------------------------------------------------

Name        : coccinelle
Product     : Fedora 15
Version     : 1.0.0
Release     : 0.rc4.2.fc15
URL         : http://coccinelle.lip6.fr/
Summary     : Semantic patching for Linux (spatch)
Description :
Coccinelle is a tool to utilize semantic patches for manipulating C
code.  It was originally designed to ease maintenance of device
drivers in the Linux kernel.

--------------------------------------------------------------------------------
Update Information:

Update to 1.0.0-rc4.
--------------------------------------------------------------------------------
ChangeLog:

* Mon Jul 25 2011 Richard W.M. Jones <rjones at redhat.com> - 1.0.0-0.rc4.2
- Update to 1.0.0-rc4.
- Requires ocaml-findlib (RHBZ#725415).
- Non-upstream patch to remove use of a couple of functions from the
  forked ocaml sexpr project, so we can use the Fedora one instead.
  See: http://lists.diku.dk/pipermail/cocci/2011-January/001439.html
- Include a new manpage in section 3.
--------------------------------------------------------------------------------
References:

  [ 1 ] Bug #725415 - missing coccinelle dependence: ocaml-findlib
        https://bugzilla.redhat.com/show_bug.cgi?id=725415
  [ 2 ] Bug #727396 - coccinelle should depend on ocaml-findlib
        https://bugzilla.redhat.com/show_bug.cgi?id=727396
--------------------------------------------------------------------------------

This update can be installed with the "yum" update program.  Use 
su -c 'yum update coccinelle' at the command line.
For more information, refer to "Managing Software with yum",
available at http://docs.fedoraproject.org/yum/.

All packages are signed with the Fedora Project GPG key.  More details on the
GPG keys used by the Fedora Project can be found at
https://fedoraproject.org/keys
--------------------------------------------------------------------------------


More information about the package-announce mailing list