summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorDimitris Pappas2024-01-26 07:00:03 +0200
committerDimitris Pappas2024-01-26 07:00:03 +0200
commit170a551d69648cd387b60c5dae8164dfb888bd00 (patch)
tree81a5e3fa6cdc215c0dbfc02026a431faf18eb17b /PKGBUILD
parente9f06a1021bd3cc79394f4ff1f674f32da5158fe (diff)
downloadaur-170a551d69648cd387b60c5dae8164dfb888bd00.tar.gz
Version build1150712751
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD4
1 files changed, 2 insertions, 2 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 9799da8ff0a8..884432ec65d8 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-edge
-pkgver=build1150662191
+pkgver=build1150712751
pkgrel=1
pkgdesc="Simple IDE for writing and running MiniZinc models"
arch=(x86_64)
@@ -39,4 +39,4 @@ package() {
sha256sums=('484be8e67fe0612d1cc7c2cc02434ddf78f73074425d080a928572e59e1f5554'
'eaa69a6d1b8a3e307d1b400b74273995abb914fbe1246c65fc9b3955b2094023'
- '1dc085f27ceb23e1c19ef15bbf6275e82f56c3e3ab5d65b8a1618ba08aefb329')
+ 'd7cb59a4975aade9b61869b2758ce541876e78a0fe5eed3de1bdafe9ab9a517a')