summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorFabio Tardivo2019-07-10 15:22:31 +0200
committerFabio Tardivo2019-07-10 15:22:31 +0200
commite75cf835f397a946f36e771206bbdf2a53fd1783 (patch)
tree85bc784380c44fa01b42b62ba9ec78dfeb1d0d1a
parentc8c64e28266b549ca9f8e090f9f5d25c1f2ae050 (diff)
downloadaur-e75cf835f397a946f36e771206bbdf2a53fd1783.tar.gz
Version 2.3.1
-rw-r--r--.SRCINFO8
-rw-r--r--PKGBUILD8
2 files changed, 8 insertions, 8 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 9aa0d49ad765..60114351edfa 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -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
diff --git a/PKGBUILD b/PKGBUILD
index b3e2cab02d66..6571151cf7c7 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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
)