Toggle navigation
Projects
Maintainers
Repositories
Tools
News
Docs
Versions
Packages
Information
History
Badges
Report
Packages for
coccinelle
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/
4
6
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/
4
6
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/
4
6
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:
AUR package details
View PKGBUILD
ArchWiki search
Homepage:
http://coccinelle.lip6.fr/
4
6
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:
AUR package details
View PKGBUILD
ArchWiki search
Homepage:
http://coccinelle.lip6.fr/
4
6
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:
Package details on packages.debian.org
Package on Debian Sources
Related bugs in Debian bug tracker
Package auto-building status
Popularity contest statistics
Homepage:
http://coccinelle.lip6.fr/
4
6
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:
Package details on packages.debian.org
Package on Debian Sources
Related bugs in Debian bug tracker
Package auto-building status
Popularity contest statistics
Homepage:
http://coccinelle.lip6.fr/
4
6
Debian Testing
testing/main
coccinelle
1.0.8.deb (1.0.8.deb-5)
Maintainers:
debian-ocaml-maint@lists.debian.org
emmanuelarias30@gmail.com
treinen@debian.org
Category:
devel
Package-related links:
Package details on packages.debian.org
Package on Debian Sources
Related bugs in Debian bug tracker
Package auto-building status
Popularity contest statistics
Homepage:
http://coccinelle.lip6.fr/
4
6
Debian Unstable
main
coccinelle
1.0.8.deb (1.0.8.deb-5)
Maintainers:
debian-ocaml-maint@lists.debian.org
emmanuelarias30@gmail.com
treinen@debian.org
Category:
devel
Package-related links:
Package details on packages.debian.org
Package on Debian Sources
Related bugs in Debian bug tracker
Package auto-building status
Popularity contest statistics
Homepage:
http://coccinelle.lip6.fr/
4
6
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/
4
6
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/
4
6
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/
4
6
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/
4
6
Devuan 4.0 (Chimaera)
chimaera/main
coccinelle
1.0.8.deb (1.0.8.deb-5)
Maintainers:
debian-ocaml-maint@lists.debian.org
emmanuelarias30@gmail.com
treinen@debian.org
Category:
devel
Homepage:
http://coccinelle.lip6.fr/
4
6
Devuan Unstable
unstable/main
coccinelle
1.0.8.deb (1.0.8.deb-5)
Maintainers:
debian-ocaml-maint@lists.debian.org
emmanuelarias30@gmail.com
treinen@debian.org
Category:
devel
Homepage:
http://coccinelle.lip6.fr/
4
6
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:
DPorts git
DPorts Makefile
Synth build log
FreeBSD FreshPorts page
FreeBSD SVNWeb
FreeBSD Port's Makefile
FreeBSD PortsMon
Related bugs in FreeBSD bugzilla
Homepage:
http://coccinelle.lip6.fr/
4
6
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/
4
6
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/
4
6
Exherbo
exony
dev-util/coccinelle
1.0.4
Summary:
Semantic patch program
Maintainer:
fallback-mnt-exherbo@repology
Category:
dev-util
Package-related links:
Package details
Package repository
Exheres file
Homepage:
http://coccinelle.lip6.fr/
4
6
Download(s):
http://coccinelle.lip6.fr/distrib/coccinelle-1.0.4.tgz
4
6
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/
4
6
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/
4
6
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/
4
6
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/
4
6
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/
4
6
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/
4
6
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/
4
6
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/
4
6
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/
4
6
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/
4
6
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/
4
6
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/
4
6
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:
FreshPorts page
SVNWeb
Port's Makefile
PortsMon
Related bugs in FreeBSD bugzilla
Homepage:
http://coccinelle.lip6.fr/
4
6
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/
4
6
Download(s):
http://coccinelle.lip6.fr/distrib/coccinelle-1.0.6.tgz
4
6
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/
4
6
Download(s):
http://coccinelle.lip6.fr/distrib/coccinelle-1.0.5.tgz
4
6
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/
4
6
Kali Linux Rolling
main
coccinelle
1.0.8.deb (1.0.8.deb-5)
Maintainers:
debian-ocaml-maint@lists.debian.org
emmanuelarias30@gmail.com
treinen@debian.org
Category:
devel
Package-related links:
Git repository
Homepage:
http://coccinelle.lip6.fr/
4
6
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/
4
6
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/
4
6
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/
4
6
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/
4
6
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/
4
6
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/
4
6
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/
4
6
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:
OpenPorts.se page
Port CVS directory
Port directory on GitHub mirror
Homepage:
http://coccinelle.lip6.fr/
4
6
Download(s):
http://coccinelle.lip6.fr/distrib/coccinelle-1.0.6.tgz
4
6
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/
4
6
Download(s):
https://github.com/coccinelle/coccinelle/archive/1.0.8.tar.gz
4
6
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/
4
6
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/
4
6
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/
4
6
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/
4
6
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/
4
6
Pardus 17
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/
4
6
Pardus 19
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/
4
6
Parrot
main
coccinelle
1.0.8.deb (1.0.8.deb-5)
Maintainers:
debian-ocaml-maint@lists.debian.org
emmanuelarias30@gmail.com
treinen@debian.org
Category:
devel
Homepage:
http://coccinelle.lip6.fr/
4
6
pkgsrc current
devel/coccinelle
1.0.0rc17 (1.0.0rc17nb17)
Summary:
Tool for writing and applying semantic patches
Maintainer:
pkgsrc-users@netbsd.org
Category:
devel
Package-related links:
pkgsrc.se page
Port CVS directory
Port Makefile
Homepage:
http://coccinelle.lip6.fr/
4
6
PureOS Amber
coccinelle
1.0.4.deb (1.0.4.deb-4)
Maintainers:
debian-ocaml-maint@lists.debian.org
eugen@debian.org
Category:
misc
Homepage:
http://coccinelle.lip6.fr/
4
6
PureOS landing
coccinelle
1.0.8.deb (1.0.8.deb-5)
Maintainers:
debian-ocaml-maint@lists.debian.org
emmanuelarias30@gmail.com
treinen@debian.org
Category:
misc
Homepage:
http://coccinelle.lip6.fr/
4
6
Raspbian Oldstable
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/
4
6
Raspbian Stable
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/
4
6
Raspbian Testing
main
coccinelle
1.0.8.deb (1.0.8.deb-5)
Maintainers:
debian-ocaml-maint@lists.debian.org
emmanuelarias30@gmail.com
treinen@debian.org
Category:
devel
Homepage:
http://coccinelle.lip6.fr/
4
6
Rosa 2014.1
contrib/release
coccinelle
1.0.0.rc7rc7
License:
GPLv2
Package-related links:
Package on abf.io
Homepage:
http://coccinelle.lip6.fr/
4
6
Rosa 2016.1
contrib/release
coccinelle
1.0.0.rc7rc7
License:
GPLv2
Package-related links:
Package on abf.io
Homepage:
http://coccinelle.lip6.fr/
4
6
SlackBuilds
development/coccinelle
1.0.6
Maintainer:
d.zlatanidis@gmail.com
Category:
development
Package-related links:
SlackBuilds.org page
Homepage:
http://coccinelle.lip6.fr/
4
6
Download(s):
http://coccinelle.lip6.fr/distrib/coccinelle-1.0.6.tgz
4
6
Trisquel 6.0
toutatis/main
coccinelle
1.0.0rc10 (1.0.0~rc10.deb-1ubuntu1)
Maintainers:
ubuntu-devel-discuss@lists.ubuntu.com
eugen@debian.org
Category:
universe/devel
Homepage:
http://coccinelle.lip6.fr/
4
6
Trisquel 7.0
belenos/main
coccinelle
1.0.0rc19 (1.0.0~rc19.deb-3)
Maintainers:
debian-ocaml-maint@lists.debian.org
eugen@debian.org
Category:
universe/devel
Homepage:
http://coccinelle.lip6.fr/
4
6
Trisquel 8.0
flidas/main
coccinelle
1.0.4.deb (1.0.4.deb-2)
Maintainers:
debian-ocaml-maint@lists.debian.org
eugen@debian.org
Category:
universe/devel
Homepage:
http://coccinelle.lip6.fr/
4
6
Trisquel 9.0
etiona/main
coccinelle
1.0.4.deb (1.0.4.deb-3build4)
Maintainers:
ubuntu-devel-discuss@lists.ubuntu.com
eugen@debian.org
Category:
universe/devel
Homepage:
http://coccinelle.lip6.fr/
4
6
Ubuntu 12.04
precise/universe
coccinelle
1.0.0rc10 (1.0.0~rc10.deb-1ubuntu1)
Maintainers:
ubuntu-devel-discuss@lists.ubuntu.com
eugen@debian.org
Category:
universe/devel
Package-related links:
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
Homepage:
http://coccinelle.lip6.fr/
4
6
Ubuntu 14.04
trusty/universe
coccinelle
1.0.0rc19 (1.0.0~rc19.deb-3)
Maintainers:
debian-ocaml-maint@lists.debian.org
eugen@debian.org
Category:
universe/devel
Package-related links:
Package details on packages.ubuntu.com
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
Homepage:
http://coccinelle.lip6.fr/
4
6
Ubuntu 16.04
xenial/universe
coccinelle
1.0.4.deb (1.0.4.deb-2)
Maintainers:
debian-ocaml-maint@lists.debian.org
eugen@debian.org
Category:
universe/devel
Package-related links:
Package details on packages.ubuntu.com
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
Homepage:
http://coccinelle.lip6.fr/
4
6
Ubuntu 18.04
bionic/universe
coccinelle
1.0.4.deb (1.0.4.deb-3build4)
Maintainers:
ubuntu-devel-discuss@lists.ubuntu.com
eugen@debian.org
Category:
universe/devel
Package-related links:
Package details on packages.ubuntu.com
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
Homepage:
http://coccinelle.lip6.fr/
4
6
Ubuntu 20.10
groovy/universe
coccinelle
1.0.8.deb (1.0.8.deb-4)
Maintainers:
debian-ocaml-maint@lists.debian.org
emmanuelarias30@gmail.com
treinen@debian.org
Category:
universe/devel
Package-related links:
Package details on packages.ubuntu.com
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
Homepage:
http://coccinelle.lip6.fr/
4
6
Void Linux x86_64
x86_64
coccinelle
1.0.8 (1.0.8_5)
Summary:
Program matching and transformation engine
Maintainer:
orphan@voidlinux.org
License:
GPL-2.0-only
Package-related links:
Port directory in git repo
Template file
Homepage:
http://coccinelle.lip6.fr/
4
6
Wikidata
Coccinelle
1.0.8
Summary:
free software tool
License:
GNU General Public License
Package-related links:
Wikidata item
Homepage:
http://coccinelle.lip6.fr/
4
6