diff options
author | Dimitris Pappas | 2019-06-27 22:43:08 +0300 |
---|---|---|
committer | Dimitris Pappas | 2019-06-27 22:43:08 +0300 |
commit | 7d7a73d8e371082d66e7ab7b11abe2b24867903e (patch) | |
tree | f015c17499c1d86110a2a2a822f413d16fcb21a0 | |
parent | 39cdc6cc873d9391cdcce460d78d3af08cbe5ed2 (diff) | |
download | aur-7d7a73d8e371082d66e7ab7b11abe2b24867903e.tar.gz |
Version 2.3.0
-rw-r--r-- | .SRCINFO | 6 | ||||
-rw-r--r-- | PKGBUILD | 4 |
2 files changed, 5 insertions, 5 deletions
@@ -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 @@ -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) |