minizinc-ide 2.1.7-1 source package in Ubuntu
Changelog
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
- Uploaded to:
- Sid
- Original maintainer:
- Kari Pahula
- Architectures:
- any
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Bionic | release | universe | misc |
Downloads
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
- diff from 2.0.14-1 to 2.1.7-1 (24.9 KiB)
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