diff options
Diffstat (limited to 'math/kissat/Makefile')
| -rw-r--r-- | math/kissat/Makefile | 4 |
1 files changed, 2 insertions, 2 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> |