summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorFredrik Strandin2017-03-03 17:51:23 +0100
committerFredrik Strandin2017-03-03 17:51:23 +0100
commit65865898def8478362f4cb83bddb037722f49c1d (patch)
treed40303934848dfde73b1c28ec702f99d66519412
parent41187234bd39ef1ef95504ad637d49e3428ef8c3 (diff)
downloadaur-65865898def8478362f4cb83bddb037722f49c1d.tar.gz
New version of libminizinc 2.1.3
-rw-r--r--.SRCINFO6
-rw-r--r--PKGBUILD4
2 files changed, 5 insertions, 5 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 4249fbdadacd..45b02e97a023 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
pkgbase = libminizinc
pkgdesc = MiniZinc is a modelling language for constraint programming problems
- pkgver = 2.1.2
+ pkgver = 2.1.3
pkgrel = 1
url = http://www.minizinc.org/
arch = i686
@@ -9,8 +9,8 @@ pkgbase = libminizinc
makedepends = cmake
provides = minizinc
conflicts = minizinc-bin
- source = https://github.com/MiniZinc/libminizinc/archive/2.1.2.tar.gz
- sha256sums = 80f9e2a5f0a3ec315250d060d6d15ab9facca2e98c146b582092e8f2f67bacef
+ source = https://github.com/MiniZinc/libminizinc/archive/2.1.3.tar.gz
+ sha256sums = dbfcb2420e4babb58313c96c3b34e43d164db0d5036b5845dbbf39a874ac376d
pkgname = libminizinc
diff --git a/PKGBUILD b/PKGBUILD
index 8d2ea66fbfb3..2d41bc467864 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
# Maintainer: Fredrik Strandin <fredrik@strandin.name>
pkgname=libminizinc
-pkgver=2.1.2
+pkgver=2.1.3
pkgrel=1
pkgdesc="MiniZinc is a modelling language for constraint programming problems"
arch=(i686 x86_64)
@@ -11,7 +11,7 @@ license=('MPL2')
conflicts=(minizinc-bin)
provides=(minizinc)
source=(https://github.com/MiniZinc/${pkgname}/archive/${pkgver}.tar.gz)
-sha256sums=('80f9e2a5f0a3ec315250d060d6d15ab9facca2e98c146b582092e8f2f67bacef')
+sha256sums=('dbfcb2420e4babb58313c96c3b34e43d164db0d5036b5845dbbf39a874ac376d')
build() {
cd ${pkgname}-${pkgver}