diff --git a/devel/coccinelle/Makefile b/devel/coccinelle/Makefile
index 9da6ce4c813a..2fd3e5ae53e1 100644
--- a/devel/coccinelle/Makefile
+++ b/devel/coccinelle/Makefile
@@ -1,65 +1,58 @@
 PORTNAME=	coccinelle
-DISTVERSION=	1.3
-PORTREVISION=	1
+DISTVERSION=	1.3.1
 CATEGORIES=	devel
 MASTER_SITES=	https://coccinelle.gitlabpages.inria.fr/website/distrib/
 DISTFILES=	${DISTNAME}${EXTRACT_SUFX}
 
 MAINTAINER=	freebsd@dev.thsi.be
 COMMENT=	Program matching and transformation engine
 WWW=		https://coccinelle.gitlabpages.inria.fr/website/
 
 LICENSE=	GPLv2
 LICENSE_FILE=	${WRKSRC}/license.txt
 
-BUILD_DEPENDS=	menhir:devel/menhir \
+BUILD_DEPENDS=	${OCAMLFIND_DEPEND} \
+		menhir:devel/menhir \
 		ocaml-parmap>=0:devel/ocaml-parmap \
 		ocaml-pcre>=0:devel/ocaml-pcre
 LIB_DEPENDS=	libpcre.so:devel/pcre
 TEST_DEPENDS=	bash:shells/bash
 
-USES=		autoreconf gmake ocaml:camlp4 perl5 pkgconfig:build python shebangfix
-USE_GITHUB=	nodefault
-# until coccinelle/stdcompat releases with ocaml 5.2 support.
-GH_TUPLE=	thierry-martinez:stdcompat:d53390d788027fe0a2282c4745eb3d1626341f99:stdcompat
+USES=		autoreconf gmake ocaml:build,camlp4 perl5 pkgconfig:build python shebangfix
 USE_PERL5=	build
 SHEBANG_FILES=	tools/pycocci scripts/cpptests.sh
 GNU_CONFIGURE=	yes
 CONFIGURE_ENV=	PYTHON="${PYTHON_CMD}" PYVER="${PYTHON_VER}"
 MAKE_ARGS=	PYTHON_VERSION="${PYTHON_VER}"
 BINARY_ALIAS=	make=${GMAKE}
 TEST_TARGET=	check check-cpp
 
 OPTIONS_DEFINE=		EMACS VIM
 OPTIONS_DEFAULT=	EMACS VIM
 OPTIONS_SUB=	yes
 
 EMACS_DESC=	Emacs plugin
 VIM_DESC=	Vim plugin
 
 EMACS_USES=	emacs
 
-post-extract:
-	${RM} -r ${WRKSRC}/bundles/stdcompat/stdcompat-current
-	(cd ${WRKSRC_stdcompat} && ${COPYTREE_SHARE} . \
-		${WRKSRC}/bundles/stdcompat/stdcompat-current)
-
 post-install:
+	${RM} -r ${STAGEDIR}${PREFIX}/share/metainfo
 	${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/spatch
 	${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/spgen
 	${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/coccinelle/*.so
 
 post-install-EMACS-on:
 	${MKDIR} ${STAGEDIR}${PREFIX}/${EMACS_SITE_LISPDIR}/cocci
 	cd ${WRKSRC}/editors/emacs && \
 		${INSTALL_DATA} cocci-ediff.el cocci.el \
 		${STAGEDIR}${PREFIX}/${EMACS_SITE_LISPDIR}/cocci
 
 post-install-VIM-on:
 .for d in ftdetect syntax
 	${MKDIR} ${STAGEDIR}${PREFIX}/share/vim/vimfiles/${d}
 	${INSTALL_DATA} ${WRKSRC}/editors/vim/${d}/cocci.vim \
 		${STAGEDIR}${PREFIX}/share/vim/vimfiles/${d}
 .endfor
 
 .include <bsd.port.mk>
diff --git a/devel/coccinelle/distinfo b/devel/coccinelle/distinfo
index ad775781d77d..ecbd78880963 100644
--- a/devel/coccinelle/distinfo
+++ b/devel/coccinelle/distinfo
@@ -1,5 +1,5 @@
-TIMESTAMP = 1734128873
-SHA256 (coccinelle-1.3.tar.gz) = d214410c502951bb30b86f46ecd51c02ba5cfbcb2c1eee7268428a162b18f985
-SIZE (coccinelle-1.3.tar.gz) = 4613759
+TIMESTAMP = 1779041051
+SHA256 (coccinelle-1.3.1.tar.gz) = f76ddd4fbe41019af6ed1986121523f0a0498aaf193e19fb2d7ab0b7cdf8eb46
+SIZE (coccinelle-1.3.1.tar.gz) = 4838753
 SHA256 (thierry-martinez-stdcompat-d53390d788027fe0a2282c4745eb3d1626341f99_GH0.tar.gz) = 1324c4c5a2fdcefe254459f81083dedd1e6dd61efe59498e9b4aa27d5e0a3d4d
 SIZE (thierry-martinez-stdcompat-d53390d788027fe0a2282c4745eb3d1626341f99_GH0.tar.gz) = 617733