summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorDimitris Pappas2018-05-08 07:59:58 +0300
committerDimitris Pappas2018-05-08 07:59:58 +0300
commit0fbe7d860f338736a13ed4dabae9c55e56a88143 (patch)
treeaffdea788f7a04804b585e5574e5fb2bbc85e6f5
parentbf2a2180fb2739a83744e70635ef2e78fd030cf4 (diff)
downloadaur-0fbe7d860f338736a13ed4dabae9c55e56a88143.tar.gz
New release of 2.1.7
Diffstat
-rw-r--r--.SRCINFO2
-rw-r--r--PKGBUILD2
2 files changed, 2 insertions, 2 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 705b6feeeee4..e51d1813d552 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
pkgbase = minizinc-ide
pkgdesc = Simple IDE for writing and running MiniZinc models
pkgver = 2.1.7
- pkgrel = 1
+ pkgrel = 2
url = http://www.minizinc.org/ide/
arch = i686
arch = x86_64
diff --git a/PKGBUILD b/PKGBUILD
index eb01987e09c7..e24833aef787 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
#Maintainer: Dimitris Pappas <mitsakosgr@gmail.com>
pkgname=minizinc-ide
pkgver=2.1.7
-pkgrel=1
+pkgrel=2
pkgdesc="Simple IDE for writing and running MiniZinc models"
arch=('i686' 'x86_64')
url="http://www.minizinc.org/ide/"