diff --git a/math/lingeling/Makefile b/math/lingeling/Makefile
index c1439ee74d4b..62addb736a6c 100644
--- a/math/lingeling/Makefile
+++ b/math/lingeling/Makefile
@@ -1,43 +1,43 @@
 PORTNAME=	lingeling
-DISTVERSION=	g20220515
+DISTVERSIONPREFIX=	rel-
+DISTVERSION=	1.0.0
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	Lingeling SAT Solver
 WWW=		http://fmv.jku.at/lingeling/
 
 LICENSE=	MIT
 LICENSE_FILE=	${WRKSRC}/COPYING
 
 USES=		gmake
 
 USE_GITHUB=	yes
 GH_ACCOUNT=	arminbiere
-GH_TAGNAME=	72d2b13
 
 BINARY_ALIAS=	gcc=${CC}
 
 EXECUTABLES=	ilingeling lglddtrace lglmbt lgluntrace lingeling plingeling treengeling
 
 CFLAGS+=	-fPIC
 
 PLIST_FILES=	${EXECUTABLES:S/^/bin\//} \
 		include/lglib.h \
 		lib/liblgl.a
 
 do-configure:
 	@cd ${WRKSRC} &&  \
 		${SETENV} ${MAKE_ENV} ./configure.sh
 
 do-build:
 	@cd ${WRKSRC} &&  \
 		${SETENV} ${MAKE_ENV} ${GMAKE} ${MAKE_ARGS} -j${MAKE_JOBS_NUMBER}
 
 do-install:
 .for e in ${EXECUTABLES}
 	${INSTALL_PROGRAM} ${WRKSRC}/${e} ${STAGEDIR}${PREFIX}/bin
 .endfor
 	${INSTALL_DATA} ${WRKSRC}/lglib.h ${STAGEDIR}${PREFIX}/include
 	${INSTALL_DATA} ${WRKSRC}/liblgl.a ${STAGEDIR}${PREFIX}/lib
 
 .include <bsd.port.mk>
diff --git a/math/lingeling/distinfo b/math/lingeling/distinfo
index 42c6b889da49..cf0d0e75c27b 100644
--- a/math/lingeling/distinfo
+++ b/math/lingeling/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1672783599
-SHA256 (arminbiere-lingeling-g20220515-72d2b13_GH0.tar.gz) = ad6a7e9ed10e7c49f9c901365bee639508d999f32c0d59b8a43805e6d327c797
-SIZE (arminbiere-lingeling-g20220515-72d2b13_GH0.tar.gz) = 248128
+TIMESTAMP = 1709755163
+SHA256 (arminbiere-lingeling-rel-1.0.0_GH0.tar.gz) = 99f35f14091a495ca22e4bf7394f645bff7161ea4e0294f73cf4d5114ac33ac3
+SIZE (arminbiere-lingeling-rel-1.0.0_GH0.tar.gz) = 248141