diff options
author | Dimitris Pappas | 2022-06-28 12:55:58 +0300 |
---|---|---|
committer | Dimitris Pappas | 2022-06-28 12:55:58 +0300 |
commit | 5f810cff18e8f6d3dec83cbf2994b9505217571b (patch) | |
tree | 50325c1556ee4dd296a6839aeb552d8a14399c35 /PKGBUILD | |
parent | 7321db83e594e072a1547e4f4387958f34d93bb2 (diff) | |
download | aur-5f810cff18e8f6d3dec83cbf2994b9505217571b.tar.gz |
Version 2.6.4
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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.6.3 +pkgver=2.6.4 pkgrel=1 pkgdesc="Simple IDE for writing and running MiniZinc models" arch=(x86_64) @@ -19,7 +19,7 @@ source=( sha256sums=('9928044890140a0f0e6f17df8b5f11acfea0b4fd7a8f494309a38b37bb7d71c2' 'eaa69a6d1b8a3e307d1b400b74273995abb914fbe1246c65fc9b3955b2094023' - '277aa60cf0e7f1ce7b37406e604236262d940337e309dcdcb0179acc8d0e1063') + '2e3c2ad1f40c4d45e3af7b24f5445c520c895cdb1d6f390e1b3d679968933414') # Workaround for https://github.com/MiniZinc/MiniZincIDE/issues/90 # implemented in .desktop file, by adding it as environment variable |