diff options
author | Dimitris Pappas | 2018-08-24 10:56:46 +0300 |
---|---|---|
committer | Dimitris Pappas | 2018-08-24 10:56:46 +0300 |
commit | fcda8df1cf32319e5e8319ced379e19e0bcc0868 (patch) | |
tree | 8a51fc130681629700e5aff02fc7478cf068825e | |
parent | 7eb514c8598f2dd8d03a3cdc7be3fd9557b308c7 (diff) | |
download | aur-fcda8df1cf32319e5e8319ced379e19e0bcc0868.tar.gz |
Version 2.2.0
-rw-r--r-- | .SRCINFO | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,7 +1,7 @@ pkgbase = minizinc-ide pkgdesc = Simple IDE for writing and running MiniZinc models pkgver = 2.2.0 - pkgrel = 2 + pkgrel = 1 url = http://www.minizinc.org/ide/ arch = x86_64 license = Mozilla Public License Version 2.0 |