diff options
| -rw-r--r-- | math/kissat/Makefile | 4 | ||||
| -rw-r--r-- | math/kissat/distinfo | 6 |
2 files changed, 5 insertions, 5 deletions
diff --git a/math/kissat/Makefile b/math/kissat/Makefile index a2c35fe559ff..17fee420249b 100644 --- a/math/kissat/Makefile +++ b/math/kissat/Makefile @@ -1,6 +1,6 @@ PORTNAME= kissat DISTVERSIONPREFIX= rel- -DISTVERSION= 4.0.3 +DISTVERSION= 4.0.4 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org @@ -48,6 +48,6 @@ do-install: # https://github.com/arminbiere/kissat/issues/62 ${INSTALL_LIB} ${WRKSRC}/build/libkissat.so ${STAGEDIR}${PREFIX}/lib ${INSTALL_DATA} ${WRKSRC}/build/libkissat.a ${STAGEDIR}${PREFIX}/lib -# tests as of 4.0.3: All 1043 test jobs succeeded in 6.65 seconds. +# tests as of 4.0.4: All 1043 test jobs succeeded in 0.85 seconds. .include <bsd.port.mk> diff --git a/math/kissat/distinfo b/math/kissat/distinfo index 5616f9414e86..0723dc6f8be7 100644 --- a/math/kissat/distinfo +++ b/math/kissat/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1751232358 -SHA256 (arminbiere-kissat-rel-4.0.3_GH0.tar.gz) = 53ad0c86a3854cdbf16e871599de4eaaaf33a039c1fd3460e43c89ae2a8a0971 -SIZE (arminbiere-kissat-rel-4.0.3_GH0.tar.gz) = 531881 +TIMESTAMP = 1762317948 +SHA256 (arminbiere-kissat-rel-4.0.4_GH0.tar.gz) = bfe93eaa6323b48011e4b1fcf74b3f2e20f9de544767e728009e5b2018296193 +SIZE (arminbiere-kissat-rel-4.0.4_GH0.tar.gz) = 532329 |