deb_control_files:
- control
- md5sums
deb_fields:
Architecture: arm64
Depends: libc6 (>= 2.32), libgcc-s1 (>= 3.0), libqt5core5a (>= 5.15.1), libqt5gui5
(>= 5.14.1) | libqt5gui5-gles (>= 5.14.1), libqt5network5 (>= 5.14.1), libqt5sql5
(>= 5.0.2), libqt5websockets5 (>= 5.6.0), libqt5widgets5 (>= 5.14.1), libstdc++6
(>= 11), minizinc (>= 2.4.1)
Description: |-
MiniZinc constraint modelling language IDE
The MiniZinc IDE is a simple Integrated Development Environment for
writing and running MiniZinc models. It provides a tabbed editor with
MiniZinc syntax highlighting, configuration dialogs for solver
options and model parameters, and an integrated environment for
compiling models and running solvers.
Homepage: http://www.minizinc.org/ide/
Installed-Size: '2180'
Maintainer: Kari Pahula <kaol@debian.org>
Package: minizinc-ide
Priority: optional
Section: devel
Version: 2.6.3-1
srcpkg_name: minizinc-ide
srcpkg_version: 2.6.3-1