diff options
author | Dimitris Pappas | 2015-12-07 16:11:41 +0200 |
---|---|---|
committer | Dimitris Pappas | 2015-12-07 16:11:41 +0200 |
commit | 9d665ab4113ff48a39c8b513430d6f96caf7511f (patch) | |
tree | 5fb4cf2179a2c360e3604c4859f1649df45eb530 | |
parent | 080cbc52b56f5b2dffed565e2fec56c0f45ba464 (diff) | |
download | aur-9d665ab4113ff48a39c8b513430d6f96caf7511f.tar.gz |
Update .SRCINFO
-rw-r--r-- | .SRCINFO | 14 |
1 files changed, 9 insertions, 5 deletions
@@ -1,6 +1,6 @@ pkgbase = minizinc-ide pkgdesc = Simple IDE for writing and running MiniZinc models - pkgver = 2.0.8 + pkgver = 2.0.9 pkgrel = 1 url = http://www.minizinc.org/ide/ arch = i686 @@ -8,10 +8,14 @@ pkgbase = minizinc-ide license = Mozilla Public License Version 2.0 provides = minizinc conflicts = libminizinc - source_i686 = https://github.com/MiniZinc/MiniZincIDE/releases/download/2.0.8/MiniZincIDE-2.0.8-bundle-linux-x86_32.tgz - md5sums_i686 = dc3ae1e2972a053413ffb5ff1393a065 - source_x86_64 = https://github.com/MiniZinc/MiniZincIDE/releases/download/2.0.8/MiniZincIDE-2.0.8-bundle-linux-x86_64.tgz - md5sums_x86_64 = d72aefbdb83f72374bb193453693c28f + source = minizinc-ide.desktop + source = minizinc.png + md5sums = dbc72538f4e9bfd6ca0b4dec0a013341 + md5sums = c4aff15df2271ac84fc60b2dd9a7d192 + source_i686 = https://github.com/MiniZinc/MiniZincIDE/releases/download/2.0.9/MiniZincIDE-2.0.9-bundle-linux-x86_32.tgz + md5sums_i686 = 501dc621471cd6484da66c13c75de9e4 + source_x86_64 = https://github.com/MiniZinc/MiniZincIDE/releases/download/2.0.9/MiniZincIDE-2.0.9-bundle-linux-x86_64.tgz + md5sums_x86_64 = 1c39d44524bfd9bdbb45bf876b50428e pkgname = minizinc-ide |