minizinc-ide binary package in Ubuntu Bionic arm64
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.
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2018-01-24 01:03:12 UTC | Published | Ubuntu Bionic arm64 | release | universe | devel | Extra | 2.1.7-1 | ||
|
|||||||||
Deleted | Ubuntu Bionic arm64 | proposed | universe | devel | Extra | 2.1.7-1 | |||
|
|||||||||
2018-01-24 01:03:17 UTC | Superseded | Ubuntu Bionic arm64 | release | universe | devel | Extra | 2.0.14-1 | ||
|