summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorDimitris Pappas2023-12-15 09:58:42 +0200
committerDimitris Pappas2023-12-15 09:58:42 +0200
commit7a065c99285ac79556d4831a1439db4156c03a26 (patch)
tree563b09e55f62534d79ed20e1b68b2e2346006472
parentfa77ab537517f207be6f42b89fc56c38499f2a50 (diff)
downloadaur-7a065c99285ac79556d4831a1439db4156c03a26.tar.gz
Version 2.8.2
-rw-r--r--.SRCINFO7
-rw-r--r--PKGBUILD9
2 files changed, 10 insertions, 6 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 3eeacd96bd78..614c81018350 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
pkgbase = minizinc-ide
pkgdesc = Simple IDE for writing and running MiniZinc models
- pkgver = 2.8.1
+ pkgver = 2.8.2
pkgrel = 1
url = http://www.minizinc.org/ide/
install = minizinc-ide.install
@@ -8,12 +8,13 @@ pkgbase = minizinc-ide
license = MPL2
provides = minizinc
conflicts = libminizinc
+ conflicts = minizinc-ide-edge
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.1/MiniZincIDE-2.8.1-bundle-linux-x86_64.tgz
+ source = https://github.com/MiniZinc/MiniZincIDE/releases/download/2.8.2/MiniZincIDE-2.8.2-bundle-linux-x86_64.tgz
sha256sums = 9928044890140a0f0e6f17df8b5f11acfea0b4fd7a8f494309a38b37bb7d71c2
sha256sums = eaa69a6d1b8a3e307d1b400b74273995abb914fbe1246c65fc9b3955b2094023
- sha256sums = ab711f50f4b9379d85feace146f3cd1da4adccf679ca81cfeb7205d730ac2a62
+ sha256sums = 5c342debf443668e639c35b37359161c8c26d2b422c1fb846298111e6a10c4c7
pkgname = minizinc-ide
diff --git a/PKGBUILD b/PKGBUILD
index f7a9e7b872d3..9874e4ce2630 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.1
+pkgver=2.8.2
pkgrel=1
pkgdesc="Simple IDE for writing and running MiniZinc models"
arch=(x86_64)
@@ -10,7 +10,10 @@ license=(MPL2)
provides=(minizinc)
options=(!strip)
install=$pkgname.install
-conflicts=(libminizinc)
+conflicts=(
+ libminizinc
+ minizinc-ide-edge
+)
source=(
minizinc-ide.desktop
https://raw.githubusercontent.com/MiniZinc/MiniZincIDE/master/resources/icon.png
@@ -36,4 +39,4 @@ package() {
sha256sums=('9928044890140a0f0e6f17df8b5f11acfea0b4fd7a8f494309a38b37bb7d71c2'
'eaa69a6d1b8a3e307d1b400b74273995abb914fbe1246c65fc9b3955b2094023'
- 'ab711f50f4b9379d85feace146f3cd1da4adccf679ca81cfeb7205d730ac2a62')
+ '5c342debf443668e639c35b37359161c8c26d2b422c1fb846298111e6a10c4c7')