summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorDimitris Pappas2024-02-01 10:33:00 +0200
committerDimitris Pappas2024-02-01 10:33:00 +0200
commit0585d1459dc6be556b9efed00103fd62abf5cd73 (patch)
treeae47d84a2c43c1b298ffc084b22f9dc5f7a14295
parent7a065c99285ac79556d4831a1439db4156c03a26 (diff)
downloadaur-0585d1459dc6be556b9efed00103fd62abf5cd73.tar.gz
Version 2.8.3
-rw-r--r--.SRCINFO6
-rw-r--r--PKGBUILD4
2 files changed, 5 insertions, 5 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 614c81018350..85aed31ea496 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
pkgbase = minizinc-ide
pkgdesc = Simple IDE for writing and running MiniZinc models
- pkgver = 2.8.2
+ pkgver = 2.8.3
pkgrel = 1
url = http://www.minizinc.org/ide/
install = minizinc-ide.install
@@ -12,9 +12,9 @@ pkgbase = minizinc-ide
options = !strip
source = minizinc-ide.desktop
source = https://raw.githubusercontent.com/MiniZinc/MiniZincIDE/master/resources/icon.png
- source = https://github.com/MiniZinc/MiniZincIDE/releases/download/2.8.2/MiniZincIDE-2.8.2-bundle-linux-x86_64.tgz
+ source = https://github.com/MiniZinc/MiniZincIDE/releases/download/2.8.3/MiniZincIDE-2.8.3-bundle-linux-x86_64.tgz
sha256sums = 9928044890140a0f0e6f17df8b5f11acfea0b4fd7a8f494309a38b37bb7d71c2
sha256sums = eaa69a6d1b8a3e307d1b400b74273995abb914fbe1246c65fc9b3955b2094023
- sha256sums = 5c342debf443668e639c35b37359161c8c26d2b422c1fb846298111e6a10c4c7
+ sha256sums = 5c564aa61b87f53832d20115aaa482f5e3bd626d22c712a25a05fdfbaa6b2b89
pkgname = minizinc-ide
diff --git a/PKGBUILD b/PKGBUILD
index 9874e4ce2630..892b96cedeb3 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
# Maintainer: Dimitris Pappas <mitsakosgr at gmail dot com>
# Contributor: Fabio Tardivo <x95a31x at gmail dot com>
pkgname=minizinc-ide
-pkgver=2.8.2
+pkgver=2.8.3
pkgrel=1
pkgdesc="Simple IDE for writing and running MiniZinc models"
arch=(x86_64)
@@ -39,4 +39,4 @@ package() {
sha256sums=('9928044890140a0f0e6f17df8b5f11acfea0b4fd7a8f494309a38b37bb7d71c2'
'eaa69a6d1b8a3e307d1b400b74273995abb914fbe1246c65fc9b3955b2094023'
- '5c342debf443668e639c35b37359161c8c26d2b422c1fb846298111e6a10c4c7')
+ '5c564aa61b87f53832d20115aaa482f5e3bd626d22c712a25a05fdfbaa6b2b89')