summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD4
1 files changed, 2 insertions, 2 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 7fc77d6c2eaf..aa7de8f3722f 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,6 +1,6 @@
#Maintainer: Dimitris Pappas <mitsakosgr@gmail.com>
pkgname=minizinc-ide
-pkgver=2.2.2
+pkgver=2.3.0
pkgrel=1
pkgdesc="Simple IDE for writing and running MiniZinc models"
arch=('x86_64')
@@ -21,7 +21,7 @@ depends=('libpng12'
sha256sums=('b86ef15b8ee1014342a2f38358d7f806a58b900bf1150101b535aecddaa122d1'
'1b9fa21e25c48e1080eaea2348eb98a45242e045b7ba94fe4723a9b01cbcdb2a'
- 'a1c5a13a3051449727da5d96f90dcbccba6268ed1315ba47dbec5a0912065e3d')
+ '7d5091066a691041caf9dd38087aee71947304bde83477bc05e325f6c219f2a2')
options=(!strip)