diff options
| author | Fabio Tardivo | 2019-11-29 18:04:02 -0700 |
|---|---|---|
| committer | Fabio Tardivo | 2019-11-29 18:04:02 -0700 |
| commit | 42c02f9d7827d3aa9913712840e89c41da6efd40 (patch) | |
| tree | f4a02f75187dec8cce6cbf4186eaad00040225c3 | |
| parent | c36fb3e87a63716b7ca12c5b07f9d0ab930cf1a8 (diff) | |
| download | aur-42c02f9d7827d3aa9913712840e89c41da6efd40.tar.gz | |
Version 2.3.2
| -rw-r--r-- | .SRCINFO | 8 | ||||
| -rw-r--r-- | PKGBUILD | 6 |
2 files changed, 7 insertions, 7 deletions
@@ -1,7 +1,7 @@ pkgbase = minizinc-ide pkgdesc = Simple IDE for writing and running MiniZinc models - pkgver = 2.3.1 - pkgrel = 2 + pkgver = 2.3.2 + 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.1/MiniZincIDE-2.3.1-bundle-linux-x86_64.tgz + source = https://github.com/MiniZinc/MiniZincIDE/releases/download/2.3.2/MiniZincIDE-2.3.2-bundle-linux-x86_64.tgz sha256sums = bf26b9e3cae148fb05ce131ef62076bda467ebd2ce9913525a5540f09435c2b6 sha256sums = 657090bd7d93d16648e12c8df14f65e858ee49c2384b137ff7e1abb61b291a6a sha256sums = eaa69a6d1b8a3e307d1b400b74273995abb914fbe1246c65fc9b3955b2094023 - sha256sums = f0cffc30e030952b6f6fd283ed5c23ea3cf59cd69402be7a14909124b200f264 + sha256sums = ecb860f9c451c8680ffad278ec9107c75653ab3d887b5523492298d46ee3caf7 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.1 -pkgrel=2 +pkgver=2.3.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 @@ sha256sums=( bf26b9e3cae148fb05ce131ef62076bda467ebd2ce9913525a5540f09435c2b6 657090bd7d93d16648e12c8df14f65e858ee49c2384b137ff7e1abb61b291a6a eaa69a6d1b8a3e307d1b400b74273995abb914fbe1246c65fc9b3955b2094023 - f0cffc30e030952b6f6fd283ed5c23ea3cf59cd69402be7a14909124b200f264 + ecb860f9c451c8680ffad278ec9107c75653ab3d887b5523492298d46ee3caf7 ) |