Package: minizinc
Architecture: amd64
Version: 2.8.5+dfsg1-2
Priority: extra
Section: universe/devel
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Kari Pahula <kaol@debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 8894
Depends: coinor-libcbc3.1 (>= 2.10.11+ds1), coinor-libcgl1 (>= 0.60.8+ds), coinor-libclp1 (>= 1.17.9+ds), coinor-libcoinutils3v5 (>= 2.11.4+repack1), coinor-libosi1v5 (>= 0.108.10+ds), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libgecode49t64, libgecodegist49t64, libstdc++6 (>= 14), jq, python3-demjson, flatzinc | gecode-flatzinc | ortools-flatzinc (>= 8.2+ds-6) | chuffed-flatzinc
Breaks: flatzinc (<< 6.2.0-6), minizinc-ide (<< 2.4.0~)
Filename: pool/universe/m/minizinc/minizinc_2.8.5+dfsg1-2_amd64.deb
Size: 2513288
MD5sum: 37ea8ebed6f200cb68fe923b555f1812
SHA1: 211e3282db44baa17a770b435052b75b684576dc
SHA256: 44bee2d6d4f2bdac0b07ba9350947551cc950de5794efff5df346e137c9433b9
SHA512: 3fd9c47e1b245d22b67cdf29cb317b8c000fab33186329b039f5f1f23e1237c61fcf602561f1255f9c4fb5d10685ec8f297759cc4f95b6c0315ff6d2f58edbf4
Homepage: https://www.minizinc.org/
Description: constraint modelling language and tool chain
Description-md5: 2e28409cc66f9a9140d34ec21324d233