Toggle navigation
Projects
Maintainers
Repositories
Tools
Security
News
Docs
Versions
Packages
Information
History
Badges
Report
Packages for
coccinelle
87
package(s) known
Alpine Linux Edge
testing
coccinelle
1.1.1
(1.1.1-r1)
Summary:
provides the spatch matching and transformation engine implementing semantic patch language
Maintainer:
marian.buschsieweke@ovgu.de
License:
GPL-2.0-only
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Alpine Linux Edge
testing
coccinelle-bash-completion
1.1.1
(1.1.1-r1)
Summary:
Bash completions for coccinelle
Maintainer:
marian.buschsieweke@ovgu.de
License:
GPL-2.0-only
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Alpine Linux Edge
testing
coccinelle-doc
1.1.1
(1.1.1-r1)
Summary:
provides the spatch matching and transformation engine implementing semantic patch language (documentation)
Maintainer:
marian.buschsieweke@ovgu.de
License:
GPL-2.0-only
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
ALT Linux p9
coccinelle
1.0.8
(1.0.8-alt7)
Summary:
Semantic patching for Linux (spatch)
Maintainer:
andy@altlinux.org
Category:
Development/C
License:
GPL-2.0-only
Link(s):
Upstream homepage
ok
,
no IPv6
Package page
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Package issue tracker
ok
,
no IPv6
ALT Linux p10
coccinelle
1.1.1
(1.1.1-alt1)
Summary:
Semantic patching for Linux (spatch)
Maintainer:
vt@altlinux.org
Category:
Development/C
License:
GPL-2.0-only
Link(s):
Upstream homepage
ok
,
no IPv6
Package page
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Package issue tracker
ok
,
no IPv6
ALT Sisyphus
coccinelle
1.1.1
(1.1.1-alt2)
Summary:
Semantic patching for Linux (spatch)
Maintainer:
vt@altlinux.org
Category:
Development/C
License:
GPL-2.0-only
Link(s):
Upstream homepage
ok
,
no IPv6
Package page
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Package issue tracker
ok
,
no IPv6
AUR
coccinelle
1.1.1
(1.1.1-2)
Summary:
Provides spatch program used to apply semantic patches
Maintainer:
osandov@aur
License:
GPL2
Link(s):
Package page
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream homepage
ok
,
no IPv6
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
Link(s):
Package page
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream homepage
ok
,
no IPv6
Debian 10
buster/main
coccinelle
1.0.4.deb
(1.0.4.deb-4)
Maintainers:
debian-ocaml-maint@lists.debian.org
eugen@debian.org
Category:
devel
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
ok
,
no IPv6
Debian 11
bullseye/main
coccinelle
1.1.0.deb
(1.1.0.deb-1.1)
Maintainers:
debian-ocaml-maint@lists.debian.org
eamanu@yaerobi.com
treinen@debian.org
Category:
devel
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
ok
,
no IPv6
Debian 12
bookworm/main
coccinelle
1.1.1.deb
(1.1.1.deb-2)
Maintainers:
debian-ocaml-maint@lists.debian.org
eamanu@yaerobi.com
treinen@debian.org
Category:
devel
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
ok
,
no IPv6
Debian 13
trixie/main
coccinelle
1.1.1.deb
(1.1.1.deb-5)
Maintainers:
debian-ocaml-maint@lists.debian.org
eamanu@yaerobi.com
treinen@debian.org
Category:
devel
Link(s):
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
ok
,
no IPv6
Debian Unstable
sid/main
coccinelle
1.1.1.deb
(1.1.1.deb-5)
Maintainers:
debian-ocaml-maint@lists.debian.org
eamanu@yaerobi.com
treinen@debian.org
Category:
devel
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
ok
,
no IPv6
Deepin
main
coccinelle
1.0.4.deb
(1.0.4.deb-4)
Maintainers:
debian-ocaml-maint@lists.debian.org
eugen@debian.org
Link(s):
Upstream homepage
ok
,
no IPv6
Devuan 3.0
beowulf/main
coccinelle
1.0.4.deb
(1.0.4.deb-4)
Maintainers:
debian-ocaml-maint@lists.debian.org
eugen@debian.org
Category:
devel
Link(s):
Upstream homepage
ok
,
no IPv6
Devuan 4.0
chimaera/main
coccinelle
1.1.0.deb
(1.1.0.deb-1.1)
Maintainers:
debian-ocaml-maint@lists.debian.org
eamanu@yaerobi.com
treinen@debian.org
Category:
devel
Link(s):
Upstream homepage
ok
,
no IPv6
Devuan Unstable
unstable/main
coccinelle
1.1.1.deb
(1.1.1.deb-5)
Maintainers:
debian-ocaml-maint@lists.debian.org
eamanu@yaerobi.com
treinen@debian.org
Category:
devel
Link(s):
Upstream homepage
ok
,
no IPv6
EPEL 7
coccinelle
1.0.7
(1.0.7-4.el7)
Summary:
Semantic patching for Linux (spatch)
Category:
Development/Libraries
License:
GPLv2
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
EPEL 8
coccinelle
1.0.7
(1.0.7-8.el8)
Summary:
Semantic patching for Linux (spatch)
Category:
Unspecified
License:
GPLv2
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Fedora 26
release
coccinelle
1.0.6
(1.0.6-7.fc26)
Summary:
Semantic patching for Linux (spatch)
Category:
Development/Libraries
License:
GPLv2
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Fedora 27
release
coccinelle
1.0.6
(1.0.6-14.fc27)
Summary:
Semantic patching for Linux (spatch)
Category:
Development/Libraries
License:
GPLv2
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Fedora 28
updates
coccinelle
1.0.7
(1.0.7-4.fc28)
Summary:
Semantic patching for Linux (spatch)
Category:
Development/Libraries
License:
GPLv2
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Fedora 28
release
coccinelle
1.0.6
(1.0.6-16.fc28)
Summary:
Semantic patching for Linux (spatch)
Category:
Development/Libraries
License:
GPLv2
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Fedora 29
updates
coccinelle
1.0.7
(1.0.7-4.fc29)
Summary:
Semantic patching for Linux (spatch)
Category:
Development/Libraries
License:
GPLv2
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Fedora 29
release
coccinelle
1.0.6
(1.0.6-20.fc29)
Summary:
Semantic patching for Linux (spatch)
Category:
Development/Libraries
License:
GPLv2
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Fedora 30
updates
coccinelle
1.0.7
(1.0.7-6.fc30)
Summary:
Semantic patching for Linux (spatch)
Category:
Unspecified
License:
GPLv2
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Fedora 30
release
coccinelle
1.0.7
(1.0.7-5.fc30)
Summary:
Semantic patching for Linux (spatch)
Category:
Unspecified
License:
GPLv2
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Fedora 31
release
coccinelle
1.0.8
(1.0.8-0.1.fc31)
Summary:
Semantic patching for Linux (spatch)
Category:
Unspecified
License:
GPLv2
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Fedora 32
release
coccinelle
1.0.9
(1.0.9-0.2.111d328fee1303f14a5b9def835301d849e41331.fc32)
Summary:
Semantic patching for Linux (spatch)
Category:
Unspecified
License:
GPLv2
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
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
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Fedora 34
release
coccinelle
1.0.9
(1.0.9-0.17.gitd0fd4c7d.fc34)
Summary:
Semantic patching for Linux (spatch)
Category:
Unspecified
License:
GPLv2
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Fedora 35
release
coccinelle
1.1.0
(1.1.0-5.fc35)
Summary:
Semantic patching for Linux (spatch)
Category:
Unspecified
License:
GPLv2
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Fedora 36
release
coccinelle
1.1.1
(1.1.1-5.fc36)
Summary:
Semantic patching for Linux (spatch)
Category:
Unspecified
License:
GPLv2
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Fedora 37
updates
coccinelle
1.1.1
(1.1.1-14.fc37)
Summary:
Semantic patching for Linux (spatch)
Category:
Unspecified
License:
GPLv2
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Fedora 37
release
coccinelle
1.1.1
(1.1.1-13.fc37)
Summary:
Semantic patching for Linux (spatch)
Category:
Unspecified
License:
GPLv2
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Fedora 38
release
coccinelle
1.1.1
(1.1.1-17.fc38)
Summary:
Semantic patching for Linux (spatch)
Category:
Unspecified
License:
GPL-2.0-only
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Fedora 39
development
coccinelle
1.1.1
(1.1.1-22.20230624git0afff7f.fc39)
Summary:
Semantic patching for Linux (spatch)
Category:
Unspecified
License:
GPL-2.0-only
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Fedora Rawhide
development
coccinelle
1.1.1
(1.1.1-22.20230624git0afff7f.fc39)
Summary:
Semantic patching for Linux (spatch)
Category:
Unspecified
License:
GPL-2.0-only
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
FreeBSD Ports
devel/coccinelle
1.1.1
Summary:
Program matching and transformation engine
Maintainer:
ports@freebsd.org
Category:
devel
Link(s):
Package page
ok
Package sources
ok
Package recipe (raw)
ok
Package issue tracker
ok
Upstream homepage
ok
,
no IPv6
Gentoo
dev-util/coccinelle
1.1.1
(1.1.1-r4)
Summary:
Program matching and transformation engine
Maintainer:
ml@gentoo.org
Category:
dev-util
License:
GPL-2
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
GNU Guix
coccinelle
1.1.1-0.6608e45
Summary:
Transformation of C code using semantic patches
Link(s):
Package page
ok
Package recipe
ok
Upstream homepage
ok
,
no IPv6
Upstream download
ok
,
no IPv6
Homebrew
coccinelle
HEAD
Summary:
Program matching and transformation engine for C code
Link(s):
Package page
ok
Package recipe
dead
(see archive.org)
Package recipe (raw)
dead
(see archive.org)
Upstream homepage
ok
,
no IPv6
Upstream repository
redir
,
no IPv6
Homebrew
coccinelle
1.1.1
Summary:
Program matching and transformation engine for C code
Link(s):
Package page
ok
Package recipe
dead
(see archive.org)
Package recipe (raw)
dead
(see archive.org)
Upstream homepage
ok
,
no IPv6
Upstream repository
redir
,
no IPv6
Kali Linux Rolling
main
coccinelle
1.1.1.deb
(1.1.1.deb-5)
Maintainers:
debian-ocaml-maint@lists.debian.org
eamanu@yaerobi.com
treinen@debian.org
Category:
devel
Link(s):
Upstream homepage
ok
,
no IPv6
LiGurOS stable
dev-util/coccinelle
1.1.1
(1.1.1-r4)
Summary:
Program matching and transformation engine
Maintainer:
ml@gentoo.org
Category:
dev-util
License:
GPL-2
Link(s):
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
LiGurOS develop
dev-util/coccinelle
1.1.1
(1.1.1-r4)
Summary:
Program matching and transformation engine
Maintainer:
ml@gentoo.org
Category:
dev-util
License:
GPL-2
Link(s):
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
MacPorts
coccinelle
1.1.1
Summary:
coccinelle is a semantic diff.
Maintainer:
nomaintainer@macports.org
Category:
devel
License:
GPL-2
Link(s):
Package page
ok
,
no IPv6
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Package issue tracker
ok
Package statistics
ok
,
no IPv6
Package build status
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Mageia 8
core/release
coccinelle
1.0.8
(1.0.8-7.mga8)
Summary:
Semantic patching for Linux (spatch)
Category:
Development/C
License:
GPLv2
Link(s):
Package page
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Mageia cauldron
core/release
coccinelle
1.1.1
(1.1.1-3.mga9)
Summary:
Semantic patching for Linux (spatch)
Category:
Development/C
License:
GPLv2
Link(s):
Package page
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
nixpkgs stable 21.11
coccinelle
1.1.0
Summary:
Program to apply semantic patches to C code
Maintainer:
aseipp@pobox.com
License:
GPL-2.0
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
nixpkgs stable 22.05
coccinelle
1.1.0
Summary:
Program to apply semantic patches to C code
Maintainer:
aseipp@pobox.com
License:
GPL-2.0
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
nixpkgs stable 22.11
coccinelle
1.1.1
Summary:
Program to apply semantic patches to C code
Maintainer:
aseipp@pobox.com
License:
GPL-2.0-only
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
nixpkgs stable 23.05
coccinelle
1.1.1
Summary:
Program to apply semantic patches to C code
Maintainer:
aseipp@pobox.com
License:
GPL-2.0-only
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
nixpkgs unstable
coccinelle
1.1.1
Summary:
Program to apply semantic patches to C code
Maintainer:
aseipp@pobox.com
License:
GPL-2.0-only
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
OpenBSD Ports
devel/coccinelle
1.1.1
(1.1.1p2)
Summary:
program matching and transformation engine
Maintainer:
ports@openbsd.org
Category:
devel
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Upstream download
ok
,
no IPv6
OpenIndiana packages
hipster
coccinelle
1.1.1
Summary:
coccinelle - program matching and transformation engine which provides the language SmPL
Category:
Development/C
Link(s):
Package page
dead
(see archive.org)
Upstream homepage
ok
,
no IPv6
Upstream download
ok
,
no IPv6
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
Link(s):
Package page
ok
Package page
ok
Package recipe
ok
Upstream homepage
ok
,
no IPv6
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
Link(s):
Package page
ok
Package page
ok
Package recipe
dead
(see archive.org)
Upstream homepage
ok
,
no IPv6
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
Link(s):
Package page
ok
Package page
ok
Package recipe
ok
Upstream homepage
ok
,
no IPv6
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
Link(s):
Package page
ok
Package page
ok
Package recipe
ok
Upstream homepage
ok
,
no IPv6
openSUSE Leap 15.2
updates/oss
coccinelle
1.0.8
(1.0.8-lp152.2.3.1)
Summary:
Semantic patch utility
Category:
Productivity/Text/Utilities
License:
GPL-2.0-only
Link(s):
Package page
ok
Package page
ok
Package recipe
ok
Upstream homepage
ok
,
no IPv6
openSUSE Leap 15.3
main/oss
coccinelle
1.0.8
(1.0.8-1.37)
Summary:
Semantic patch utility
Category:
Productivity/Text/Utilities
License:
GPL-2.0-only
Link(s):
Package page
dead
(see archive.org)
Package page
ok
Package recipe
ok
Upstream homepage
ok
,
no IPv6
openSUSE Leap 15.4
main/oss
coccinelle
1.1.0
(1.1.0-150400.1.4)
Summary:
Semantic patch utility
Category:
Productivity/Text/Utilities
License:
GPL-2.0-only
Link(s):
Package page
ok
Package page
ok
Package recipe
ok
Upstream homepage
ok
,
no IPv6
openSUSE Leap 15.5
main/oss
coccinelle
1.1.0
(1.1.0-150400.1.4)
Summary:
Semantic patch utility
Category:
Productivity/Text/Utilities
License:
GPL-2.0-only
Link(s):
Package page
ok
Package page
ok
Package recipe
ok
Upstream homepage
ok
,
no IPv6
openSUSE Tumbleweed
src-oss
coccinelle
1.1.1
(1.1.1-3.4)
Summary:
Semantic patch utility
Category:
Productivity/Text/Utilities
License:
GPL-2.0-only
Link(s):
Package page
ok
Package recipe
ok
Package page
ok
Upstream homepage
ok
,
no IPv6
Pardus 21
main
coccinelle
1.1.0.deb
(1.1.0.deb-1.1)
Maintainers:
debian-ocaml-maint@lists.debian.org
eamanu@yaerobi.com
treinen@debian.org
Category:
devel
Link(s):
Upstream homepage
ok
,
no IPv6
Parrot
parrot-updates/main
coccinelle
1.1.0.deb
(1.1.0.deb-1.1)
Maintainers:
debian-ocaml-maint@lists.debian.org
eamanu@yaerobi.com
treinen@debian.org
Category:
devel
Link(s):
Upstream homepage
ok
,
no IPv6
Parrot
parrot/main
coccinelle
1.1.0.deb
(1.1.0.deb-1.1)
Maintainers:
debian-ocaml-maint@lists.debian.org
eamanu@yaerobi.com
treinen@debian.org
Category:
devel
Link(s):
Upstream homepage
ok
,
no IPv6
pkgsrc current
devel/coccinelle
1.1.1
(1.1.1nb2)
Summary:
Tool for writing and applying semantic patches
Maintainer:
pkgsrc-users@netbsd.org
Category:
devel
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
PureOS Amber
coccinelle
1.0.4.deb
(1.0.4.deb-4)
Maintainers:
debian-ocaml-maint@lists.debian.org
eugen@debian.org
Category:
devel
Link(s):
Upstream homepage
ok
,
no IPv6
PureOS landing
coccinelle
1.1.1.deb
(1.1.1.deb-2)
Maintainers:
debian-ocaml-maint@lists.debian.org
eamanu@yaerobi.com
treinen@debian.org
Category:
devel
Link(s):
Upstream homepage
ok
,
no IPv6
Raspbian Oldstable
main
coccinelle
1.1.0.deb
(1.1.0.deb-1.1)
Maintainers:
debian-ocaml-maint@lists.debian.org
eamanu@yaerobi.com
treinen@debian.org
Category:
devel
Link(s):
Upstream homepage
ok
,
no IPv6
Raspbian Stable
main
coccinelle
1.1.1.deb
(1.1.1.deb-2)
Maintainers:
debian-ocaml-maint@lists.debian.org
eamanu@yaerobi.com
treinen@debian.org
Category:
devel
Link(s):
Upstream homepage
ok
,
no IPv6
Raspbian Testing
main
coccinelle
1.1.1.deb
(1.1.1.deb-5)
Maintainers:
debian-ocaml-maint@lists.debian.org
eamanu@yaerobi.com
treinen@debian.org
Category:
devel
Link(s):
Upstream homepage
ok
,
no IPv6
Rosa 2014.1
contrib/release
coccinelle
1.0.0.rc7rc7
License:
GPLv2
Link(s):
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Rosa 2016.1
contrib/release
coccinelle
1.0.0.rc7rc7
License:
GPLv2
Link(s):
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Rosa 2021.1
contrib/release
coccinelle
1.1.1
(1.1.1-1)
Summary:
Semantic patching for Linux (spatch)
Maintainer:
a.proklov@rosalinux.ru
Category:
Development/C
License:
GPLv2
Link(s):
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
SlackBuilds
development/coccinelle
1.1.1
Maintainer:
d.zlatanidis@gmail.com
Category:
development
Link(s):
Package page
ok
Package recipe (raw)
ok
Upstream homepage
ok
,
no IPv6
Upstream download
ok
,
no IPv6
Trisquel 11.0
aramo/main
coccinelle
1.1.1.deb
(1.1.1.deb-1build2)
Maintainers:
debian-ocaml-maint@lists.debian.org
eamanu@yaerobi.com
treinen@debian.org
Category:
universe/devel
Link(s):
Package page
ok
Upstream homepage
ok
,
no IPv6
Ubuntu 14.04
trusty/universe
coccinelle
1.0.0~rc19.deb
(1.0.0~rc19.deb-3)
Maintainers:
debian-ocaml-maint@lists.debian.org
eugen@debian.org
Category:
universe/devel
Link(s):
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
,
no IPv6
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
Link(s):
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
,
no IPv6
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
Link(s):
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
,
no IPv6
Ubuntu 22.04
jammy/universe
coccinelle
1.1.1.deb
(1.1.1.deb-1build2)
Maintainers:
debian-ocaml-maint@lists.debian.org
eamanu@yaerobi.com
treinen@debian.org
Category:
universe/devel
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
,
no IPv6
Ubuntu 23.04
lunar/universe
coccinelle
1.1.1.deb
(1.1.1.deb-2ubuntu2)
Maintainers:
debian-ocaml-maint@lists.debian.org
eamanu@yaerobi.com
treinen@debian.org
Category:
universe/devel
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
,
no IPv6
Ubuntu 23.10
mantic/universe
coccinelle
1.1.1.deb
(1.1.1.deb-5)
Maintainers:
debian-ocaml-maint@lists.debian.org
eamanu@yaerobi.com
treinen@debian.org
Category:
universe/devel
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
,
no IPv6
Void Linux x86_64
x86_64
coccinelle
1.1.1
(1.1.1_1)
Summary:
Program matching and transformation engine
Maintainer:
congdanhqx@gmail.com
License:
GPL-2.0-only
Link(s):
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Upstream homepage
ok
,
no IPv6
Wikidata
Coccinelle
1.0.8
Summary:
free software tool
License:
GNU General Public License, version 2.0
Link(s):
Package page
ok
Upstream homepage
ok
,
no IPv6
Upstream repository
ok
,
no IPv6
Upstream repository
ok
,
no IPv6