summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorDimitris2020-10-22 07:50:13 +0300
committerDimitris2020-10-22 07:50:13 +0300
commit0b1da16d5b2d2cce094ea29c5c1aeec52305daad (patch)
treedbcaeec662a314eca0c976f1ec48c26c823e9cc2 /PKGBUILD
parent4f29afc14f53fef9dd85dc64c32a48c8251f46de (diff)
downloadaur-0b1da16d5b2d2cce094ea29c5c1aeec52305daad.tar.gz
Version 2.5.1
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD4
1 files changed, 2 insertions, 2 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 602ef1bbeadb..d823aef1960e 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.5.0
+pkgver=2.5.1
pkgrel=1
pkgdesc="Simple IDE for writing and running MiniZinc models"
arch=(x86_64)
@@ -21,7 +21,7 @@ sha256sums=(
e0bca68c0897cbcd63bf603ad1f352c16c5fc62ee8f151daa7e793361007d242
80ab03ebe936ce85b107523ae242d97905763ed30596639e1778cdea796b9e1e
eaa69a6d1b8a3e307d1b400b74273995abb914fbe1246c65fc9b3955b2094023
- 4fc4c7fd7d5aef2409d94a6e7f5f60564d068b34e329a6976e9feaabeb15fd8c
+ 7fcab647731a86693c30eba6efdf65cb52cf8df299007d61d2fc398e9b0b35f8
)
prepare() {