minizinc-ide 2.1.7-1 source package in Ubuntu


minizinc-ide (2.1.7-1) unstable; urgency=medium

  * New upstream release
  * Standards-Version 4.1.3
    - Set Priority: optional.

 -- Kari Pahula <email address hidden>  Tue, 23 Jan 2018 18:20:59 +0200

Upload details

Uploaded by:
Kari Pahula on 2018-01-23
Uploaded to:
Original maintainer:
Kari Pahula
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Focal release on 2019-10-18 universe misc
Eoan release on 2019-04-18 universe misc
Disco release on 2018-10-30 universe misc
Cosmic release on 2018-05-01 universe misc
Bionic release on 2018-01-24 universe misc


File Size SHA-256 Checksum
minizinc-ide_2.1.7-1.dsc 1.7 KiB 853810691ef6f221b4fbaf32450a209f19fa21a917176d9c3ba2f04af26f8514
minizinc-ide_2.1.7.orig.tar.gz 210.5 KiB dd332da9bdcbc2bfb5923525f4a4b3b65e334b41749b5aebbaa1919c1687b133
minizinc-ide_2.1.7-1.debian.tar.xz 8.7 KiB a677c7f537546cc736d42c947ffe617ca4dd3281e8d5c5c2159e8faa6f215a28

Available diffs

No changes file available.

Binary packages built by this source

minizinc-ide: 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.

minizinc-ide-dbgsym: debug symbols for minizinc-ide