diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2025-06-29 15:04:01 -0700 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2025-06-29 15:04:28 -0700 |
| commit | 4850823a295a45fcbb12fbc90031fbeea13fc05c (patch) | |
| tree | f3bc29d6fa9b5c81477558d40d010776953f1846 | |
| parent | misc/koboldcpp: update 1.94.2 → 1.95 (diff) | |
math/kissat: update 4.0.2 → 4.0.3
Reported by: portscout
| -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 2605eb1b397f..a2c35fe559ff 100644 --- a/math/kissat/Makefile +++ b/math/kissat/Makefile @@ -1,6 +1,6 @@ PORTNAME= kissat DISTVERSIONPREFIX= rel- -DISTVERSION= 4.0.2 +DISTVERSION= 4.0.3 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.2: All 1043 test jobs succeeded in 2.35 seconds. +# tests as of 4.0.3: All 1043 test jobs succeeded in 6.65 seconds. .include <bsd.port.mk> diff --git a/math/kissat/distinfo b/math/kissat/distinfo index 8e523b8b6848..5616f9414e86 100644 --- a/math/kissat/distinfo +++ b/math/kissat/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1737785441 -SHA256 (arminbiere-kissat-rel-4.0.2_GH0.tar.gz) = a8e58a70ebac09ccc0ba1465a69cfb9b31e562167d42df7535270d2733c386d7 -SIZE (arminbiere-kissat-rel-4.0.2_GH0.tar.gz) = 531941 +TIMESTAMP = 1751232358 +SHA256 (arminbiere-kissat-rel-4.0.3_GH0.tar.gz) = 53ad0c86a3854cdbf16e871599de4eaaaf33a039c1fd3460e43c89ae2a8a0971 +SIZE (arminbiere-kissat-rel-4.0.3_GH0.tar.gz) = 531881 |