coccinelle packages

75 package(s) known

Alpine Linux Edge
^testing

coccinelle

1.0.8 (1.0.8-r1)

Summary:
SmPL (Semantic Patch Language) implementation
Maintainer:
- marian.buschsieweke@ovgu.de
License:
- GPL-2.0-only
Package-related links:
- Package details
Homepage:
- http://coccinelle.lip6.fr/⁴⁶

Alpine Linux Edge
^testing

coccinelle-bash-completion

1.0.8 (1.0.8-r1)

Summary:
Bash completions for coccinelle
Maintainer:
- marian.buschsieweke@ovgu.de
License:
- GPL-2.0-only
Package-related links:
- Package details
Homepage:
- http://coccinelle.lip6.fr/⁴⁶

Alpine Linux Edge
^testing

coccinelle-doc

1.0.8 (1.0.8-r1)

Summary:
SmPL (Semantic Patch Language) implementation (documentation)
Maintainer:
- marian.buschsieweke@ovgu.de
License:
- GPL-2.0-only
Package-related links:
- Package details
Homepage:
- http://coccinelle.lip6.fr/⁴⁶

ALT Linux p9

coccinelle

1.0.8 (1.0.8-alt7)

Summary:
Semantic patching for Linux (spatch)
Maintainer:
- andy@altlinux.org
Category:
- Development/C
Package-related links:
- Package details
- Spec file

ALT Sisyphus

coccinelle

1.0.8 (1.0.8-alt8)

Summary:
Semantic patching for Linux (spatch)
Maintainer:
- rider@altlinux.org
Category:
- Development/C
Package-related links:
- Package details
- Spec file

AUR

coccinelle

1.0.8 (1.0.8-1)

Summary:
Provides spatch program used to apply semantic patches
Maintainer:
- osandov@aur
License:
- GPL2
Package-related links:
Homepage:
- http://coccinelle.lip6.fr/⁴⁶

AUR

coccinelle-git

1.0.8.r209.0e1f2b1f (1.0.8.r209.0e1f2b1f-1)

Summary:
Provides spatch program used to apply semantic patches
Maintainer:
- osandov@aur
License:
- GPL2
Package-related links:
Homepage:
- http://coccinelle.lip6.fr/⁴⁶

Debian Oldstable
^{oldstable/main}

coccinelle

1.0.4.deb (1.0.4.deb-3)

Maintainers:
- debian-ocaml-maint@lists.debian.org
- eugen@debian.org
Category:
- devel
Package-related links:
Homepage:
- http://coccinelle.lip6.fr/⁴⁶

Debian Stable
^stable/main

coccinelle

1.0.4.deb (1.0.4.deb-4)

Maintainers:
- debian-ocaml-maint@lists.debian.org
- eugen@debian.org
Category:
- devel
Package-related links:
Homepage:
- http://coccinelle.lip6.fr/⁴⁶

Debian Testing
^testing/main

coccinelle

1.0.8.deb (1.0.8.deb-5)

Maintainers:
Category:
- devel
Package-related links:
Homepage:
- http://coccinelle.lip6.fr/⁴⁶

Debian Unstable
^main

coccinelle

1.0.8.deb (1.0.8.deb-5)

Maintainers:
Category:
- devel
Package-related links:
Homepage:
- http://coccinelle.lip6.fr/⁴⁶

Deepin
^main

coccinelle

1.0.4.deb (1.0.4.deb-4)

Maintainers:
- debian-ocaml-maint@lists.debian.org
- eugen@debian.org
Category:
- devel
Homepage:
- http://coccinelle.lip6.fr/⁴⁶

Devuan 1.0 (Jessie)
^jessie/main

coccinelle

1.0.0rc22 (1.0.0~rc22.deb-1)

Maintainers:
- debian-ocaml-maint@lists.debian.org
- eugen@debian.org
Category:
- devel
Homepage:
- http://coccinelle.lip6.fr/⁴⁶

Devuan 2.0 (ASCII)
^ascii/main

coccinelle

1.0.4.deb (1.0.4.deb-3)

Maintainers:
- debian-ocaml-maint@lists.debian.org
- eugen@debian.org
Category:
- devel
Homepage:
- http://coccinelle.lip6.fr/⁴⁶

Devuan 3.0 (Beowulf)
^beowulf/main

coccinelle

1.0.4.deb (1.0.4.deb-4)

Maintainers:
- debian-ocaml-maint@lists.debian.org
- eugen@debian.org
Category:
- devel
Homepage:
- http://coccinelle.lip6.fr/⁴⁶

Devuan 4.0 (Chimaera)
^{chimaera/main}

coccinelle

1.0.8.deb (1.0.8.deb-5)

Maintainers:
Category:
- devel
Homepage:
- http://coccinelle.lip6.fr/⁴⁶

Devuan Unstable
^{unstable/main}

coccinelle

1.0.8.deb (1.0.8.deb-5)

Maintainers:
Category:
- devel
Homepage:
- http://coccinelle.lip6.fr/⁴⁶

DPorts

devel/coccinelle

1.0.7 (1.0.7_1)

Summary:
Program matching and transformation engine
Maintainer:
- ports@freebsd.org
Category:
- devel
Package-related links:
Homepage:
- http://coccinelle.lip6.fr/⁴⁶

EPEL 7

coccinelle

1.0.7 (1.0.7-4.el7)

Summary:
Semantic patching for Linux (spatch)
Category:
- Development/Libraries
License:
- GPLv2
Package-related links:
- Package details on Fedora Pagure
Homepage:
- http://coccinelle.lip6.fr/⁴⁶

EPEL 8

coccinelle

1.0.7 (1.0.7-8.el8)

Summary:
Semantic patching for Linux (spatch)
Category:
- Unspecified
License:
- GPLv2
Package-related links:
- Package details on Fedora Pagure
Homepage:
- http://coccinelle.lip6.fr/⁴⁶

Exherbo
^exony

dev-util/coccinelle

1.0.4

Summary:
Semantic patch program
Maintainer:
- fallback-mnt-exherbo@repology
Category:
- dev-util
Package-related links:
Homepage:
- http://coccinelle.lip6.fr/⁴⁶
Download(s):
- http://coccinelle.lip6.fr/distrib/coccinelle-1.0.4.tgz⁴⁶

Fedora 26
^release

coccinelle

1.0.6 (1.0.6-7.fc26)

Summary:
Semantic patching for Linux (spatch)
Category:
- Development/Libraries
License:
- GPLv2
Package-related links:
- Package details on Fedora Pagure
- Package details on Fedora Packages
Homepage:
- http://coccinelle.lip6.fr/⁴⁶

Fedora 27
^release

coccinelle

1.0.6 (1.0.6-14.fc27)

Summary:
Semantic patching for Linux (spatch)
Category:
- Development/Libraries
License:
- GPLv2
Package-related links:
- Package details on Fedora Pagure
- Package details on Fedora Packages
Homepage:
- http://coccinelle.lip6.fr/⁴⁶

Fedora 28
^updates

coccinelle

1.0.7 (1.0.7-4.fc28)

Summary:
Semantic patching for Linux (spatch)
Category:
- Development/Libraries
License:
- GPLv2
Package-related links:
- Package details on Fedora Pagure
- Package details on Fedora Packages
Homepage:
- http://coccinelle.lip6.fr/⁴⁶

Fedora 28
^release

coccinelle

1.0.6 (1.0.6-16.fc28)

Summary:
Semantic patching for Linux (spatch)
Category:
- Development/Libraries
License:
- GPLv2
Package-related links:
- Package details on Fedora Pagure
- Package details on Fedora Packages
Homepage:
- http://coccinelle.lip6.fr/⁴⁶

Fedora 29
^updates

coccinelle

1.0.7 (1.0.7-4.fc29)

Summary:
Semantic patching for Linux (spatch)
Category:
- Development/Libraries
License:
- GPLv2
Package-related links:
- Package details on Fedora Pagure
- Package details on Fedora Packages
Homepage:
- http://coccinelle.lip6.fr/⁴⁶

Fedora 29
^release

coccinelle

1.0.6 (1.0.6-20.fc29)

Summary:
Semantic patching for Linux (spatch)
Category:
- Development/Libraries
License:
- GPLv2
Package-related links:
- Package details on Fedora Pagure
- Package details on Fedora Packages
Homepage:
- http://coccinelle.lip6.fr/⁴⁶

Fedora 30
^release

coccinelle

1.0.7 (1.0.7-5.fc30)

Summary:
Semantic patching for Linux (spatch)
Category:
- Unspecified
License:
- GPLv2
Package-related links:
- Package details on Fedora Pagure
- Package details on Fedora Packages
Homepage:
- http://coccinelle.lip6.fr/⁴⁶

Fedora 30
^updates

coccinelle

1.0.7 (1.0.7-6.fc30)

Summary:
Semantic patching for Linux (spatch)
Category:
- Unspecified
License:
- GPLv2
Package-related links:
- Package details on Fedora Pagure
- Package details on Fedora Packages
Homepage:
- http://coccinelle.lip6.fr/⁴⁶

Fedora 31
^release

coccinelle

1.0.8 (1.0.8-0.1.fc31)

Summary:
Semantic patching for Linux (spatch)
Category:
- Unspecified
License:
- GPLv2
Package-related links:
- Package details on Fedora Pagure
- Package details on Fedora Packages
Homepage:
- http://coccinelle.lip6.fr/⁴⁶

Fedora 32
^release

coccinelle

1.0.9 (1.0.9-0.2.111d328fee1303f14a5b9def835301d849e41331.fc32)

Summary:
Semantic patching for Linux (spatch)
Category:
- Unspecified
License:
- GPLv2
Package-related links:
- Package details on Fedora Pagure
- Package details on Fedora Packages
Homepage:
- http://coccinelle.lip6.fr/⁴⁶

Fedora 33
^release

coccinelle

1.0.9 (1.0.9-0.14.gitd0fd4c7d.fc33.1)

Summary:
Semantic patching for Linux (spatch)
Category:
- Unspecified
License:
- GPLv2
Package-related links:
- Package details on Fedora Pagure
- Package details on Fedora Packages
Homepage:
- http://coccinelle.lip6.fr/⁴⁶

Fedora Rawhide

coccinelle

1.0.9 (1.0.9-0.17.gitd0fd4c7d.fc34)

Summary:
Semantic patching for Linux (spatch)
Category:
- Unspecified
License:
- GPLv2
Package-related links:
- Package details on Fedora Pagure
- Package details on Fedora Packages
Homepage:
- http://coccinelle.lip6.fr/⁴⁶

FreeBSD Ports

devel/coccinelle

1.0.7 (1.0.7_1)

Summary:
Program matching and transformation engine
Maintainer:
- ports@freebsd.org
Category:
- devel
Package-related links:
Homepage:
- http://coccinelle.lip6.fr/⁴⁶

Funtoo 1.4
^dev-kit

dev-util/coccinelle

1.0.6

Summary:
Program matching and transformation engine
Maintainers:
- radhermit@gentoo.org
- ml@gentoo.org
Category:
- dev-util
License:
- GPL-2
Homepage:
- http://coccinelle.lip6.fr/⁴⁶
Download(s):
- http://coccinelle.lip6.fr/distrib/coccinelle-1.0.6.tgz⁴⁶

Funtoo 1.4
^dev-kit

dev-util/coccinelle

1.0.5

Summary:
Program matching and transformation engine
Maintainers:
- radhermit@gentoo.org
- ml@gentoo.org
Category:
- dev-util
License:
- GPL-2
Homepage:
- http://coccinelle.lip6.fr/⁴⁶
Download(s):
- http://coccinelle.lip6.fr/distrib/coccinelle-1.0.5.tgz⁴⁶

Homebrew

coccinelle

1.0.8

Summary:
Program matching and transformation engine for C code
Package-related links:
- Formula page
- Formula code on GitHub
Homepage:
- http://coccinelle.lip6.fr/⁴⁶

Kali Linux Rolling
^main

coccinelle

1.0.8.deb (1.0.8.deb-5)

Maintainers:
Category:
- devel
Package-related links:
- Git repository
Homepage:
- http://coccinelle.lip6.fr/⁴⁶

Linuxbrew

coccinelle

1.0.8

Summary:
Program matching and transformation engine for C code
Package-related links:
- Formula page
- Formula code on GitHub
Homepage:
- http://coccinelle.lip6.fr/⁴⁶

MacPorts

coccinelle

1.0.6

Summary:
coccinelle is a semantic diff.
Maintainers:
- g5pw@macports
- g5pw@github
Category:
- devel
License:
- GPL-2
Package-related links:
- Port page on MacPorts.org
- Port directory in GitHub repository
Homepage:
- http://coccinelle.lip6.fr/⁴⁶

Mageia 6
^core/release

coccinelle

1.0.4 (1.0.4-3.mga6)

Summary:
Semantic patching for Linux (spatch)
Category:
- Development/C
License:
- GPLv2
Package-related links:
- Package details on madb.mageia.org
Homepage:
- http://coccinelle.lip6.fr/⁴⁶

Mageia 7
^core/release

coccinelle

1.0.7 (1.0.7-2.mga7)

Summary:
Semantic patching for Linux (spatch)
Category:
- Development/C
License:
- GPLv2
Package-related links:
- Package details on madb.mageia.org
Homepage:
- http://coccinelle.lip6.fr/⁴⁶

Mageia Cauldron
^core/release

coccinelle

1.0.8 (1.0.8-7.mga8)

Summary:
Semantic patching for Linux (spatch)
Category:
- Development/C
License:
- GPLv2
Package-related links:
- Package details on madb.mageia.org
Homepage:
- http://coccinelle.lip6.fr/⁴⁶

nixpkgs stable

coccinelle

1.0.6

Summary:
Program to apply semantic patches to C code
Maintainer:
- aseipp@pobox.com
License:
- GPL-2.0-only
Package-related links:
- Package source (release branch)
- Package source (master branch, imprecise link)
Homepage:
- http://coccinelle.lip6.fr/⁴⁶

nixpkgs unstable

coccinelle

1.0.6

Summary:
Program to apply semantic patches to C code
Maintainer:
- aseipp@pobox.com
License:
- GPL-2.0
Package-related links:
- Package source
Homepage:
- http://coccinelle.lip6.fr/⁴⁶

OpenBSD Ports

devel/coccinelle

1.0.6 (1.0.6p2)

Summary:
program matching and transformation engine
Maintainer:
- ports@openbsd.org
Category:
- devel
Package-related links:
Homepage:
- http://coccinelle.lip6.fr/⁴⁶
Download(s):
- http://coccinelle.lip6.fr/distrib/coccinelle-1.0.6.tgz⁴⁶

OpenIndiana packages
^hipster

coccinelle

1.0.8

Summary:
coccinelle - program matching and transformation engine which provides the language SmPL
Category:
- Development/C
Package-related links:
- GitHub search in the source repository
Homepage:
- http://coccinelle.lip6.fr/⁴⁶
Download(s):
- https://github.com/coccinelle/coccinelle/archive/1.0.8.tar.gz⁴⁶

openSUSE Leap 42.3
^main/oss

coccinelle

1.0.4 (1.0.4-3.2)

Summary:
Semantic patch utility
Category:
- Productivity/Text/Utilities
License:
- GPL-2.0
Package-related links:
- Package in openSUSE Build Service
- Package details on software.opensuse.org
Homepage:
- http://coccinelle.lip6.fr/⁴⁶

openSUSE Leap 15.0
^main/oss

coccinelle

1.0.6 (1.0.6-lp150.2.8)

Summary:
Semantic patch utility
Category:
- Productivity/Text/Utilities
License:
- GPL-2.0
Package-related links:
- Package in openSUSE Build Service
- Package details on software.opensuse.org
Homepage:
- http://coccinelle.lip6.fr/⁴⁶

openSUSE Leap 15.1
^main/oss

coccinelle

1.0.6 (1.0.6-lp151.3.3)

Summary:
Semantic patch utility
Category:
- Productivity/Text/Utilities
License:
- GPL-2.0
Package-related links:
- Package in openSUSE Build Service
- Package details on software.opensuse.org
Homepage:
- http://coccinelle.lip6.fr/⁴⁶

openSUSE Leap 15.2
^main/oss

coccinelle

1.0.8 (1.0.8-lp152.1.3)

Summary:
Semantic patch utility
Category:
- Productivity/Text/Utilities
License:
- GPL-2.0-only
Package-related links:
- Package in openSUSE Build Service
- Package details on software.opensuse.org
Homepage:
- http://coccinelle.lip6.fr/⁴⁶

openSUSE Tumbleweed

coccinelle

1.0.8 (1.0.8-3.6)

Summary:
Semantic patch utility
Category:
- Productivity/Text/Utilities
License:
- GPL-2.0-only
Package-related links:
- Package in openSUSE Build Service
- Package details on software.opensuse.org
Homepage:
- http://coccinelle.lip6.fr/⁴⁶