Package: minizinc Version: 2.0.13+dfsg1-1 Severity: important Dear Maintainer,
The Debian package for MiniZinc does not include the "minizinc" executable that is usually shipped in the binaries available from the developers. This prevent to use minizinc easily from the command-line to solve problems described in the MiniZinc language. Notably, mzn-gecode from the brother flatzinc package cannot run without the minizinc executable. Also, I think that the flatzinc package should be recommanded by the minizinc one. -- System Information: Debian Release: stretch/sid APT prefers testing APT policy: (500, 'testing') Architecture: amd64 (x86_64) Foreign Architectures: i386 Kernel: Linux 4.6.0-1-amd64 (SMP w/4 CPU cores) Locale: LANG=fr_FR.utf8, LC_CTYPE=fr_FR.utf8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system) Versions of packages minizinc depends on: ii flatzinc 4.4.0-3 ii libc6 2.22-13 ii libgcc1 1:6.1.1-8 ii libstdc++6 6.1.1-8 minizinc recommends no packages. minizinc suggests no packages. -- no debconf information
