Package - minizinc-ide

Package:  minizinc-ide
apt-get install minizinc-ide
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/m/minizinc-ide/minizinc-ide_2.8.5-1_amd64.deb (Size: 898.2KiB)

PropertyValue
Packageminizinc-ide
Version2.8.5-1
Installed-Size2386
MaintainerKari Pahula
Architectureamd64
Dependslibc6 (>= 2.38), libgcc-s1 (>= 3.0), libqt5core5t64 (>= 5.15.1), libqt5gui5t64 (>= 5.14.1) | libqt5gui5-gles (>= 5.14.1), libqt5network5t64 (>= 5.14.1), libqt5sql5t64 (>= 5.0.2), libqt5websockets5 (>= 5.6.0), libqt5widgets5t64 (>= 5.14.1), libstdc++6 (>= 14), minizinc (>= 2.4.1)
DescriptionMiniZinc constraint modelling language IDE
Description-md56c1da2389080c6ea2a47ebc0cb4a43cc
Homepagehttp://www.minizinc.org/ide/
Taguitoolkit::qt
Sectiondevel
Priorityoptional
Filenamepool/main/m/minizinc-ide/minizinc-ide_2.8.5-1_amd64.deb
Size919748
MD5sumc0f1ad72a0f2402bd7d0fcc20c050e77
SHA25647764470192820979b5947f31186b31f73474205fef23e71b0bbb568120becd8

Files in package

  • /usr/bin/minizinc-ide
  • /usr/share/applications/minizinc-ide.desktop
  • /usr/share/doc/minizinc-ide/changelog.Debian.gz
  • /usr/share/doc/minizinc-ide/copyright
  • /usr/share/pixmaps/minizinc.xpm