Package: minizinc-ide Architecture: amd64 Version: 2.5.3-1 Priority: extra Section: universe/devel Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Kari Pahula Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 1983 Depends: libc6 (>= 2.14), 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), libqt5webchannel5 (>= 5.6.1), libqt5webenginewidgets5 (>= 5.7.1), libqt5widgets5 (>= 5.14.1), libstdc++6 (>= 5.2), minizinc (>= 2.4.1) Filename: pool/universe/m/minizinc-ide/minizinc-ide_2.5.3-1_amd64.deb Size: 772668 MD5sum: 8b49dd236ef58c6c78fef94098b4f6c3 SHA1: b4b062a6d2e0ffcbaf144f31d014adcbf372379c SHA256: 666d14ba41010850c9c7bdb3a9bd8c56877943eabe483a51772161b80fe182ea SHA512: 04e223c226a130746105714a97027da6d773d3f6cffca54ce03a4bd85bc257f454fdf45dd18567ac8a7babe896108a0f511078807b559597b8775fd518217008 Homepage: http://www.minizinc.org/ide/ Description: MiniZinc constraint modelling language IDE Description-md5: 6c1da2389080c6ea2a47ebc0cb4a43cc