summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorDimitris Pappas2018-10-26 09:52:17 +0300
committerDimitris Pappas2018-10-26 09:52:17 +0300
commit39cdc6cc873d9391cdcce460d78d3af08cbe5ed2 (patch)
treed2cfa50490ae9fd086e9ca7df4413bf0d7ba579d
parent42d05360842fd87f960804e3f9e4d17689a99188 (diff)
downloadaur-39cdc6cc873d9391cdcce460d78d3af08cbe5ed2.tar.gz
Version 2.2.2
-rw-r--r--.SRCINFO8
-rw-r--r--PKGBUILD6
2 files changed, 7 insertions, 7 deletions
diff --git a/.SRCINFO b/.SRCINFO
index e5de26732f54..fb5526a7e781 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
pkgbase = minizinc-ide
pkgdesc = Simple IDE for writing and running MiniZinc models
- pkgver = 2.2.1
- pkgrel = 2
+ pkgver = 2.2.2
+ pkgrel = 1
url = http://www.minizinc.org/ide/
arch = x86_64
license = Mozilla Public License Version 2.0
@@ -15,10 +15,10 @@ pkgbase = minizinc-ide
options = !strip
source = minizinc-ide.desktop
source = minizinc.png
- source = https://github.com/MiniZinc/MiniZincIDE/releases/download/2.2.1/MiniZincIDE-2.2.1-bundle-linux-x86_64.tgz
+ source = https://github.com/MiniZinc/MiniZincIDE/releases/download/2.2.2/MiniZincIDE-2.2.2-bundle-linux-x86_64.tgz
sha256sums = b86ef15b8ee1014342a2f38358d7f806a58b900bf1150101b535aecddaa122d1
sha256sums = 1b9fa21e25c48e1080eaea2348eb98a45242e045b7ba94fe4723a9b01cbcdb2a
- sha256sums = b67678d3c468998e20f080572b39e6140bb73c0671d5fb9be1d969067d28b59b
+ sha256sums = a1c5a13a3051449727da5d96f90dcbccba6268ed1315ba47dbec5a0912065e3d
pkgname = minizinc-ide
diff --git a/PKGBUILD b/PKGBUILD
index ca6832da1b40..7fc77d6c2eaf 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
#Maintainer: Dimitris Pappas <mitsakosgr@gmail.com>
pkgname=minizinc-ide
-pkgver=2.2.1
-pkgrel=2
+pkgver=2.2.2
+pkgrel=1
pkgdesc="Simple IDE for writing and running MiniZinc models"
arch=('x86_64')
url="http://www.minizinc.org/ide/"
@@ -21,7 +21,7 @@ depends=('libpng12'
sha256sums=('b86ef15b8ee1014342a2f38358d7f806a58b900bf1150101b535aecddaa122d1'
'1b9fa21e25c48e1080eaea2348eb98a45242e045b7ba94fe4723a9b01cbcdb2a'
- 'b67678d3c468998e20f080572b39e6140bb73c0671d5fb9be1d969067d28b59b')
+ 'a1c5a13a3051449727da5d96f90dcbccba6268ed1315ba47dbec5a0912065e3d')
options=(!strip)