Ubuntu
minizinc-ide package

minizinc-ide 2.4.2-2build1 source package in Ubuntu

Changelog

minizinc-ide (2.4.2-2build1) focal; urgency=medium

  * No-change rebuild for libgcc-s1 package name change.

 -- Matthias Klose <email address hidden>  Sun, 22 Mar 2020 16:49:52 +0100

Upload details

Uploaded by:
Matthias Klose
Uploaded to:
Focal
Original maintainer:
Kari Pahula
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Focal release universe misc

Downloads

File Size SHA-256 Checksum
minizinc-ide_2.4.2.orig.tar.gz 468.8 KiB eef51c3a75bf58c5951a362d4792f4b859188cbebf5080e772a417a8e03350e6
minizinc-ide_2.4.2-2build1.debian.tar.xz 8.6 KiB f8bb92ca19223e4f0b4003239ee2307c9e0e0c2521f077431cb3d114682bd3d6
minizinc-ide_2.4.2-2build1.dsc 1.8 KiB b87edf11e86a72bd6436d316d325fb6e5402fd9b6cc4e759109fa75c430b7ea8

View changes file

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