summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorDimitris Pappas2023-05-12 17:20:57 +0300
committerDimitris Pappas2023-05-12 17:20:57 +0300
commit7923fe7d186087d85469fb0315c4921e73e48669 (patch)
treeca266239f072bf6c15e83032175ccd7fe24746ad
parent4e6813a020adbd162d5c15f3171553dffbe9c436 (diff)
downloadaur-7923fe7d186087d85469fb0315c4921e73e48669.tar.gz
Version 2.7.4
-rw-r--r--.SRCINFO6
-rw-r--r--PKGBUILD10
2 files changed, 8 insertions, 8 deletions
diff --git a/.SRCINFO b/.SRCINFO
index dbb3e253f5c3..4574d0900b9a 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
pkgbase = minizinc-ide
pkgdesc = Simple IDE for writing and running MiniZinc models
- pkgver = 2.7.3
+ pkgver = 2.7.4
pkgrel = 1
url = http://www.minizinc.org/ide/
install = minizinc-ide.install
@@ -11,9 +11,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.7.3/MiniZincIDE-2.7.3-bundle-linux-x86_64.tgz
+ source = https://github.com/MiniZinc/MiniZincIDE/releases/download/2.7.4/MiniZincIDE-2.7.4-bundle-linux-x86_64.tgz
sha256sums = 9928044890140a0f0e6f17df8b5f11acfea0b4fd7a8f494309a38b37bb7d71c2
sha256sums = eaa69a6d1b8a3e307d1b400b74273995abb914fbe1246c65fc9b3955b2094023
- sha256sums = 947247aa1431e2470667ed084601ad00e3a6cce3dc3f3cd7aeee186743633c93
+ sha256sums = a106eded71e4737085dfd1c0e88cd5c1a9d39e214567d1b73295e1027f8def31
pkgname = minizinc-ide
diff --git a/PKGBUILD b/PKGBUILD
index a88b3fb91c9e..9e6dfecb251b 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.7.3
+pkgver=2.7.4
pkgrel=1
pkgdesc="Simple IDE for writing and running MiniZinc models"
arch=(x86_64)
@@ -17,10 +17,6 @@ source=(
https://github.com/MiniZinc/MiniZincIDE/releases/download/$pkgver/MiniZincIDE-$pkgver-bundle-linux-$arch.tgz
)
-sha256sums=('9928044890140a0f0e6f17df8b5f11acfea0b4fd7a8f494309a38b37bb7d71c2'
- 'eaa69a6d1b8a3e307d1b400b74273995abb914fbe1246c65fc9b3955b2094023'
- '947247aa1431e2470667ed084601ad00e3a6cce3dc3f3cd7aeee186743633c93')
-
# Workaround for https://github.com/MiniZinc/MiniZincIDE/issues/90
# implemented in .desktop file, by adding it as environment variable
@@ -37,3 +33,7 @@ package() {
cp $srcdir/icon.png $pkgdir/opt/$pkgname/resources/icon.png
cp $srcdir/minizinc-ide.desktop $pkgdir/usr/share/applications/minizinc-ide.desktop
}
+
+sha256sums=('9928044890140a0f0e6f17df8b5f11acfea0b4fd7a8f494309a38b37bb7d71c2'
+ 'eaa69a6d1b8a3e307d1b400b74273995abb914fbe1246c65fc9b3955b2094023'
+ 'a106eded71e4737085dfd1c0e88cd5c1a9d39e214567d1b73295e1027f8def31')