Index: head/math/abella/Makefile
===================================================================
--- head/math/abella/Makefile	(revision 563218)
+++ head/math/abella/Makefile	(revision 563219)
@@ -1,24 +1,24 @@
 # $FreeBSD$
 
 PORTNAME=	abella
-DISTVERSION=	2.0.6
+DISTVERSION=	2.0.7
 CATEGORIES=	math
 MASTER_SITES=	http://abella-prover.org/distributions/
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	Interactive theorem prover
 
 LICENSE=	GPLv3
 LICENSE_FILE=	${WRKSRC}/LICENSE
 
 BUILD_DEPENDS=	ocamlbuild:devel/ocaml-ocamlbuild \
 		ocamlfind:devel/ocaml-findlib
 
 USES=		gmake
 
 PLIST_FILES=	bin/${PORTNAME}
 
 do-install:
 	${INSTALL_PROGRAM} ${WRKSRC}/${PORTNAME} ${STAGEDIR}${PREFIX}/bin
 
 .include <bsd.port.mk>
Index: head/math/abella/distinfo
===================================================================
--- head/math/abella/distinfo	(revision 563218)
+++ head/math/abella/distinfo	(revision 563219)
@@ -1,3 +1,3 @@
-TIMESTAMP = 1575054547
-SHA256 (abella-2.0.6.tar.gz) = d1f793b1e34f3adcaf6d28e2c0274bccb281afe89c8e3093c1e64df6ec4b9898
-SIZE (abella-2.0.6.tar.gz) = 214785
+TIMESTAMP = 1611938365
+SHA256 (abella-2.0.7.tar.gz) = fde3a279b3051e0aeeaedad21cf96064edf19a6c413949b2033b305d92dddd87
+SIZE (abella-2.0.7.tar.gz) = 215056