minizinc-ide binary package in Ubuntu Focal armhf
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 | ||
---|---|---|---|---|---|---|---|---|---|
2020-03-22 22:58:22 UTC | Published | Ubuntu Focal armhf | release | universe | devel | Extra | 2.4.2-2build1 | ||
|
|||||||||
Deleted | Ubuntu Focal armhf | proposed | universe | devel | Extra | 2.4.2-2build1 | |||
|
|||||||||
2020-03-22 22:59:30 UTC | Superseded | Ubuntu Focal armhf | release | universe | devel | Extra | 2.4.2-2 | ||
|
|||||||||
2020-03-24 00:10:09 UTC | Deleted | Ubuntu Focal armhf | proposed | universe | devel | Extra | 2.4.2-2 | ||
|
|||||||||
2020-01-19 18:03:23 UTC | Superseded | Ubuntu Focal armhf | proposed | universe | devel | Extra | 2.4.2-1 | ||
|
|||||||||
2020-02-21 22:09:27 UTC | Superseded | Ubuntu Focal armhf | release | universe | devel | Extra | 2.1.7-1 | ||
|