diff options
author | Fabio Tardivo | 2019-07-10 15:22:31 +0200 |
---|---|---|
committer | Fabio Tardivo | 2019-07-10 15:22:31 +0200 |
commit | e75cf835f397a946f36e771206bbdf2a53fd1783 (patch) | |
tree | 85bc784380c44fa01b42b62ba9ec78dfeb1d0d1a | |
parent | c8c64e28266b549ca9f8e090f9f5d25c1f2ae050 (diff) | |
download | aur-e75cf835f397a946f36e771206bbdf2a53fd1783.tar.gz |
Version 2.3.1
-rw-r--r-- | .SRCINFO | 8 | ||||
-rw-r--r-- | PKGBUILD | 8 |
2 files changed, 8 insertions, 8 deletions
@@ -1,7 +1,7 @@ pkgbase = minizinc-ide pkgdesc = Simple IDE for writing and running MiniZinc models - pkgver = 2.3.0 - pkgrel = 2 + pkgver = 2.3.1 + pkgrel = 1 url = http://www.minizinc.org/ide/ install = minizinc-ide.install arch = x86_64 @@ -12,11 +12,11 @@ pkgbase = minizinc-ide source = minizinc-ide.desktop source = fzn-gecode-gist-lib-path.patch source = https://raw.githubusercontent.com/MiniZinc/MiniZincIDE/master/resources/icon.png - source = https://github.com/MiniZinc/MiniZincIDE/releases/download/2.3.0/MiniZincIDE-2.3.0-bundle-linux-x86_64.tgz + source = https://github.com/MiniZinc/MiniZincIDE/releases/download/2.3.1/MiniZincIDE-2.3.1-bundle-linux.tgz sha256sums = bf26b9e3cae148fb05ce131ef62076bda467ebd2ce9913525a5540f09435c2b6 sha256sums = 657090bd7d93d16648e12c8df14f65e858ee49c2384b137ff7e1abb61b291a6a sha256sums = eaa69a6d1b8a3e307d1b400b74273995abb914fbe1246c65fc9b3955b2094023 - sha256sums = 7d5091066a691041caf9dd38087aee71947304bde83477bc05e325f6c219f2a2 + sha256sums = f0cffc30e030952b6f6fd283ed5c23ea3cf59cd69402be7a14909124b200f264 pkgname = minizinc-ide @@ -1,8 +1,8 @@ # Maintainer: Dimitris Pappas <mitsakosgr at gmail dot com> # Contributor: Fabio Tardivo <x95a31x at gmail dot com> pkgname=minizinc-ide -pkgver=2.3.0 -pkgrel=2 +pkgver=2.3.1 +pkgrel=1 pkgdesc="Simple IDE for writing and running MiniZinc models" arch=(x86_64) url=http://www.minizinc.org/ide/ @@ -15,13 +15,13 @@ source=( minizinc-ide.desktop fzn-gecode-gist-lib-path.patch https://raw.githubusercontent.com/MiniZinc/MiniZincIDE/master/resources/icon.png - https://github.com/MiniZinc/MiniZincIDE/releases/download/$pkgver/MiniZincIDE-$pkgver-bundle-linux-x86_64.tgz + https://github.com/MiniZinc/MiniZincIDE/releases/download/$pkgver/MiniZincIDE-$pkgver-bundle-linux.tgz ) sha256sums=( bf26b9e3cae148fb05ce131ef62076bda467ebd2ce9913525a5540f09435c2b6 657090bd7d93d16648e12c8df14f65e858ee49c2384b137ff7e1abb61b291a6a eaa69a6d1b8a3e307d1b400b74273995abb914fbe1246c65fc9b3955b2094023 - 7d5091066a691041caf9dd38087aee71947304bde83477bc05e325f6c219f2a2 + f0cffc30e030952b6f6fd283ed5c23ea3cf59cd69402be7a14909124b200f264 ) |