blob: e5de26732f545fb12e74e88fe1223cf8b535140d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
pkgbase = minizinc-ide
pkgdesc = Simple IDE for writing and running MiniZinc models
pkgver = 2.2.1
pkgrel = 2
url = http://www.minizinc.org/ide/
arch = x86_64
license = Mozilla Public License Version 2.0
depends = libpng12
depends = pcre
depends = gstreamer
depends = gst-plugins-base-libs
depends = double-conversion
provides = minizinc
conflicts = libminizinc
options = !strip
source = minizinc-ide.desktop
source = minizinc.png
source = https://github.com/MiniZinc/MiniZincIDE/releases/download/2.2.1/MiniZincIDE-2.2.1-bundle-linux-x86_64.tgz
sha256sums = b86ef15b8ee1014342a2f38358d7f806a58b900bf1150101b535aecddaa122d1
sha256sums = 1b9fa21e25c48e1080eaea2348eb98a45242e045b7ba94fe4723a9b01cbcdb2a
sha256sums = b67678d3c468998e20f080572b39e6140bb73c0671d5fb9be1d969067d28b59b
pkgname = minizinc-ide
|