Package coccinelle: Information

    Source package: coccinelle
    Version: 1.3.1-alt1
    Latest version according to Repology
    Build time:  Nov 23, 2025, 02:11 AM in the task #400835
    Category: Development/C
    Report package bug
    License: GPL-2.0-only
    Summary: Match and transform C code using semantic patches
    Description: 
    Coccinelle is a program matching and transformation engine which provides
    the language SmPL (Semantic Patch Language) for specifying desired matches
    and transformations in C code. Coccinelle was initially targeted towards
    performing collateral evolutions in Linux. Such evolutions comprise
    the changes that are needed in client code in response to evolutions in
    library APIs, and may include modifications such as renaming a function,
    adding a function argument whose value is somehow context-dependent, and
    reorganizing a data structure. Beyond collateral evolutions, Coccinelle
    is successfully used (by us and others) for finding and fixing bugs in
    systems code.

    List of RPM packages built from this SRPM:
    coccinelle (x86_64, i586, aarch64)
    coccinelle-checkinstall (noarch)
    coccinelle-debuginfo (x86_64, i586, aarch64)
    coccinelle-demos (noarch)

    Maintainer: Vitaly Chikunov



      1. ocaml >= 3.12.1
      2. ocaml-findlib
      3. ocaml-menhir
      4. ocaml-num-devel
      5. ocaml-ocamldoc
      6. ocaml-parmap-devel
      7. ocaml-pcre-devel
      8. ocaml-stdcompat-devel
      9. python3-dev
      10. rpm-build-ocaml
      11. rpm-build-python3

    Last changed


    Nov. 22, 2025 Vitaly Chikunov 1.3.1-alt1
    - Update to 1.3.1 (2025-11-18).
    Oct. 14, 2025 Vitaly Chikunov 1.3.0-alt3
    - Apply pyml fix for Python 3.13 (_PyObject_NextNotImplemented.)
    - Fix debuginfo on aarch64.
    - Update Url and Vcs tags to new locations.
    Dec. 16, 2024 Vitaly Chikunov 1.3.0-alt2
    - Disable optimization on x86_64 (as it is already on other architectures).
    - spec: Disable parallel build as it causing failures.
    - spec: Workaround FTBFS in p10 (due to version dependence of rpm-build-ocaml).
    - spec: Clean up and brp improvements.