diff --git a/math/abella/Makefile b/math/abella/Makefile
index 7be6b53ec622..41485db94928 100644
--- a/math/abella/Makefile
+++ b/math/abella/Makefile
@@ -1,25 +1,26 @@
 PORTNAME=	abella
 DISTVERSION=	2.0.8
+PORTREVISION=	1
 CATEGORIES=	math
 MASTER_SITES=	http://abella-prover.org/distributions/
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	Interactive theorem prover
 WWW=		https://abella-prover.org/
 
 LICENSE=	GPLv3
 LICENSE_FILE=	${WRKSRC}/LICENSE
 
 BUILD_DEPENDS=	menhir>=20231231:devel/menhir \
 		ocaml-dune>=3.7.1_2:devel/ocaml-dune \
 		ocaml-cmdliner>=0:devel/ocaml-cmdliner \
 		ocaml-yojson>=0:textproc/ocaml-yojson
 
 USES=		gmake
 
 PLIST_FILES=	bin/${PORTNAME}
 
 do-install:
 	@${INSTALL_PROGRAM} ${WRKSRC}/_build/default/src/${PORTNAME}.exe ${STAGEDIR}${PREFIX}/bin/${PORTNAME}
 
 .include <bsd.port.mk>
diff --git a/textproc/ocaml-yojson/Makefile b/textproc/ocaml-yojson/Makefile
index b4a10470d145..74cf8f8fd440 100644
--- a/textproc/ocaml-yojson/Makefile
+++ b/textproc/ocaml-yojson/Makefile
@@ -1,35 +1,36 @@
 PORTNAME=	yojson
-PORTVERSION=	2.1.2
+DISTVERSION=	2.2.2
 CATEGORIES=	textproc
 PKGNAMEPREFIX=	ocaml-
 
 MAINTAINER=	freebsd@dev.thsi.be
 COMMENT=	JSON library for OCaml
-WWW=		https://github.com/ocaml-community/yojson
+WWW=		https://github.com/ocaml-community/yojson/
 
 LICENSE=	BSD3CLAUSE
 LICENSE_FILE=	${WRKSRC}/LICENSE.md
 
-BUILD_DEPENDS=	cppo:devel/ocaml-cppo \
-		${SA_DIR}/seq/META:devel/ocaml-seq
+BUILD_DEPENDS=	${SA_DIR}/seq/META:devel/ocaml-seq \
+		cppo:devel/ocaml-cppo
 RUN_DEPENDS=	${SA_DIR}/seq/META:devel/ocaml-seq
 
 USES=		ocaml:dune
 USE_GITHUB=	yes
 GH_ACCOUNT=	ocaml-community
 USE_OCAML=	yes
-DUNE_INSTALL_TARGETS=	${OCAML_PACKAGES}
 
 DOCSDIR=	${OCAML_DOCSDIR}/${PORTNAME}
+
 PORTDOCS=	CHANGES.md LICENSE.md README.md odoc-pages/index.mld
 
-OPTIONS_DEFINE=		DOCS
+OPTIONS_DEFINE=	DOCS
 
-SA_DIR=		${LOCALBASE}/${OCAML_SITELIBDIR}
+DUNE_INSTALL_TARGETS=	${OCAML_PACKAGES}
+SA_DIR=			${LOCALBASE}/${OCAML_SITELIBDIR}
 
 post-install:
 	@${STRIP_CMD} \
 		${STAGEDIR}${PREFIX}/bin/ydump \
 		${STAGEDIR}${PREFIX}/${OCAML_SITELIBDIR}/${PORTNAME}/${PORTNAME}.cmxs
 
 .include <bsd.port.mk>
diff --git a/textproc/ocaml-yojson/distinfo b/textproc/ocaml-yojson/distinfo
index 34f832199784..eddb9640e1fe 100644
--- a/textproc/ocaml-yojson/distinfo
+++ b/textproc/ocaml-yojson/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1716287417
-SHA256 (ocaml-community-yojson-2.1.2_GH0.tar.gz) = fd84f8a6cf5bdae6c6b235be8d40d1788c1427291e02bf0e6a4d5cfad7f881bf
-SIZE (ocaml-community-yojson-2.1.2_GH0.tar.gz) = 49324
+TIMESTAMP = 1723411182
+SHA256 (ocaml-community-yojson-2.2.2_GH0.tar.gz) = 5e4371cb54f9367b01dc387a15787f75ff4f528eda07b0e974a33908e057d6e9
+SIZE (ocaml-community-yojson-2.2.2_GH0.tar.gz) = 58638