summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorDimitris Pappas2023-04-26 11:14:15 +0300
committerDimitris Pappas2023-04-26 11:14:15 +0300
commit4e6813a020adbd162d5c15f3171553dffbe9c436 (patch)
tree3fc2acde8d5fb64de54f65183a137e4da2808536
parentbc5e7ff5f08647ff33657e26b638abdbf35a3b73 (diff)
downloadaur-4e6813a020adbd162d5c15f3171553dffbe9c436.tar.gz
Version 2.7.3
-rw-r--r--.SRCINFO6
-rw-r--r--PKGBUILD4
2 files changed, 5 insertions, 5 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 020b9ae2e219..dbb3e253f5c3 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
pkgbase = minizinc-ide
pkgdesc = Simple IDE for writing and running MiniZinc models
- pkgver = 2.7.2
+ pkgver = 2.7.3
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.2/MiniZincIDE-2.7.2-bundle-linux-x86_64.tgz
+ source = https://github.com/MiniZinc/MiniZincIDE/releases/download/2.7.3/MiniZincIDE-2.7.3-bundle-linux-x86_64.tgz
sha256sums = 9928044890140a0f0e6f17df8b5f11acfea0b4fd7a8f494309a38b37bb7d71c2
sha256sums = eaa69a6d1b8a3e307d1b400b74273995abb914fbe1246c65fc9b3955b2094023
- sha256sums = 42ce209bcc9ff63b724d4398838803323926f756d0a61c03b8b23123a07fc0e9
+ sha256sums = 947247aa1431e2470667ed084601ad00e3a6cce3dc3f3cd7aeee186743633c93
pkgname = minizinc-ide
diff --git a/PKGBUILD b/PKGBUILD
index a032c104176a..a88b3fb91c9e 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.2
+pkgver=2.7.3
pkgrel=1
pkgdesc="Simple IDE for writing and running MiniZinc models"
arch=(x86_64)
@@ -19,7 +19,7 @@ source=(
sha256sums=('9928044890140a0f0e6f17df8b5f11acfea0b4fd7a8f494309a38b37bb7d71c2'
'eaa69a6d1b8a3e307d1b400b74273995abb914fbe1246c65fc9b3955b2094023'
- '42ce209bcc9ff63b724d4398838803323926f756d0a61c03b8b23123a07fc0e9')
+ '947247aa1431e2470667ed084601ad00e3a6cce3dc3f3cd7aeee186743633c93')
# Workaround for https://github.com/MiniZinc/MiniZincIDE/issues/90
# implemented in .desktop file, by adding it as environment variable