summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorDimitris Pappas2019-06-27 22:43:08 +0300
committerDimitris Pappas2019-06-27 22:43:08 +0300
commit7d7a73d8e371082d66e7ab7b11abe2b24867903e (patch)
treef015c17499c1d86110a2a2a822f413d16fcb21a0
parent39cdc6cc873d9391cdcce460d78d3af08cbe5ed2 (diff)
downloadaur-7d7a73d8e371082d66e7ab7b11abe2b24867903e.tar.gz
Version 2.3.0
-rw-r--r--.SRCINFO6
-rw-r--r--PKGBUILD4
2 files changed, 5 insertions, 5 deletions
diff --git a/.SRCINFO b/.SRCINFO
index fb5526a7e781..4f66c047958c 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
pkgbase = minizinc-ide
pkgdesc = Simple IDE for writing and running MiniZinc models
- pkgver = 2.2.2
+ pkgver = 2.3.0
pkgrel = 1
url = http://www.minizinc.org/ide/
arch = x86_64
@@ -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.2/MiniZincIDE-2.2.2-bundle-linux-x86_64.tgz
+ source = https://github.com/MiniZinc/MiniZincIDE/releases/download/2.3.0/MiniZincIDE-2.3.0-bundle-linux-x86_64.tgz
sha256sums = b86ef15b8ee1014342a2f38358d7f806a58b900bf1150101b535aecddaa122d1
sha256sums = 1b9fa21e25c48e1080eaea2348eb98a45242e045b7ba94fe4723a9b01cbcdb2a
- sha256sums = a1c5a13a3051449727da5d96f90dcbccba6268ed1315ba47dbec5a0912065e3d
+ sha256sums = 7d5091066a691041caf9dd38087aee71947304bde83477bc05e325f6c219f2a2
pkgname = minizinc-ide
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)