From 6b07fe3040305df135d4e3f11869bce9a0578ae2 Mon Sep 17 00:00:00 2001 From: prspkt Date: Sat, 26 Jan 2019 21:27:29 +0200 Subject: [PATCH] swi-prolog: update to 8.0.1. --- srcpkgs/swi-prolog/template | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/srcpkgs/swi-prolog/template b/srcpkgs/swi-prolog/template index 2aaa85ee5d..283163d35b 100644 --- a/srcpkgs/swi-prolog/template +++ b/srcpkgs/swi-prolog/template @@ -1,7 +1,7 @@ # Template file for 'swi-prolog' pkgname=swi-prolog -version=8.0.0 -revision=2 +version=8.0.1 +revision=1 wrksrc="swipl-${version}" build_style=cmake configure_args="-DBUILD_TESTING=OFF" @@ -15,5 +15,5 @@ license="LGPL-2.1-or-later" homepage="http://www.swi-prolog.org/" changelog="http://www.swi-prolog.org/ChangeLog?branch=stable" distfiles="http://www.swi-prolog.org/download/stable/src/swipl-${version}.tar.gz" -checksum=422b6985c6f646b5bb73b160e8c8cda74e892548beb6a672828e3689a20a6b32 +checksum=e42c703ce373f6435ab917989a7827a041d131cf79300311bb4c8ef188f1092f nocross="uses TRY_RUN() to test features"