summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorarchery2019-08-20 17:16:03 -0400
committerarchery2019-08-20 17:16:03 -0400
commitdb7ffe9f2d425e2720628e501375f38ff33beb74 (patch)
tree09d21d66beb56b7e99d908709b95404e4e22865f
parent3d0bbc4c249958b1eb711751185271a81870d190 (diff)
downloadaur-db7ffe9f2d425e2720628e501375f38ff33beb74.tar.gz
v8.1.12-1
-rw-r--r--.SRCINFO6
-rw-r--r--PKGBUILD4
2 files changed, 5 insertions, 5 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 0753b0309d45..c6fbffa2d809 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
pkgbase = swi-prolog-devel
pkgdesc = Prolog environment (development version)
- pkgver = 8.1.11
+ pkgver = 8.1.12
pkgrel = 1
url = http://www.swi-prolog.org/
arch = x86_64
@@ -25,8 +25,8 @@ pkgbase = swi-prolog-devel
optdepends = java-environment: for interfacing java with the jpl package
provides = swi-prolog
conflicts = swi-prolog
- source = http://swi-prolog.org/download/devel/src/swipl-8.1.11.tar.gz
- sha256sums = 3bd83b5c5bf6f0d910bd30b32c9182d882a6238ca3a8f3d68cda63056f3056b0
+ source = http://swi-prolog.org/download/devel/src/swipl-8.1.12.tar.gz
+ sha256sums = 1c8f62a2dd6b279972c77b8b817bd93bb7bc54b11f852868eff79e82be0655e9
pkgname = swi-prolog-devel
diff --git a/PKGBUILD b/PKGBUILD
index f955f40ebe62..582e015ecb9b 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -7,7 +7,7 @@
# Contributor: Juergen Hoetzel <juergen@archlinux.org>
pkgname=swi-prolog-devel
-pkgver=8.1.11
+pkgver=8.1.12
pkgrel=1
pkgdesc='Prolog environment (development version)'
arch=('x86_64' 'i686')
@@ -24,7 +24,7 @@ optdepends=('unixodbc: for using the odbc4pl library'
'java-environment: for interfacing java with the jpl package')
#options=('!makeflags')
source=("http://swi-prolog.org/download/devel/src/swipl-${pkgver}.tar.gz")
-sha256sums=('3bd83b5c5bf6f0d910bd30b32c9182d882a6238ca3a8f3d68cda63056f3056b0')
+sha256sums=('1c8f62a2dd6b279972c77b8b817bd93bb7bc54b11f852868eff79e82be0655e9')
conflicts=('swi-prolog')
provides=('swi-prolog')