Ubuntu
minizinc package

minizinc 2.1.5+dfsg1-1 source package in Ubuntu

Changelog

minizinc (2.1.5+dfsg1-1) unstable; urgency=medium

  * New upstream release
    - Upstream provides now mzn-fzn binary which takes the role of
      minizinc binary in 1.6 release.  (Closes: #830973)
  * Standards-Version 4.0.0 (no changes necessary).
  * Add generated files lib/cached/{parser.tab.cpp,lexer.yy.cpp} to
    debian/clean.
  * Add debian/watch file. (Closes: #866212)
  * Rework the patch on CMakeLists.txt to make fewer changes to it and fix
    more errant files in debian/rules instead.
  * Stop linking /usr/share/minizinc/gecode to gecode's mznlib directory
    as the definitons there turn out to not be compatible.
  * Drop Enhances: flatzinc from minizinc.

 -- Kari Pahula <email address hidden>  Tue, 18 Jul 2017 22:46:10 +0300

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 Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
minizinc_2.1.5+dfsg1-1.dsc 1.8 KiB 337bfcddee1d22eb184278d965750922cb857147bd4220db1c8c20500d5869a5
minizinc_2.1.5+dfsg1.orig.tar.gz 648.5 KiB 857c08ceaadc01967f821b77f94d312eff3f0ac83ce31e3804c8032326172e8a
minizinc_2.1.5+dfsg1-1.debian.tar.xz 9.5 KiB dff2b5b3e8a2cb013d28a17a76edccad6ad01848cb03bd38cfe27fa22f0dd81b

Available diffs

No changes file available.

Binary packages built by this source

minizinc: No summary available for minizinc in ubuntu artful.

No description available for minizinc in ubuntu artful.

minizinc-dbgsym: No summary available for minizinc-dbgsym in ubuntu artful.

No description available for minizinc-dbgsym in ubuntu artful.