minizinc-ide 2.4.2-1 source package in Ubuntu
Changelog
minizinc-ide (2.4.2-1) unstable; urgency=medium * New upstream release -- Kari Pahula <email address hidden> Fri, 10 Jan 2020 14:38:32 +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 |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| minizinc-ide_2.4.2-1.dsc | 1.7 KiB | e804145c520feb22a67720f428b2e9565845d6b3c67698394aded2428ef5874a |
| minizinc-ide_2.4.2.orig.tar.gz | 468.8 KiB | eef51c3a75bf58c5951a362d4792f4b859188cbebf5080e772a417a8e03350e6 |
| minizinc-ide_2.4.2-1.debian.tar.xz | 8.7 KiB | f04dd3cd4714cade041a6cf8fe35111ba37d39084b07e213780b879d6da121fd |
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
