pycocci(1) on Linux
The text d7c60308eac3, as Debian 13 (Trixie) shipped it. The page shows this text now.
Coccinelle wrapper for SmPL patch development pycocci [-h | --help] [-p | --profile-cocci] [-j | --jobs <job-digit> ] [-v | --verbose] [-s | --show-proof] <SmPL-patch.cocci> <target> ]