[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#791608: marked as done (ITP: minizinc -- Constraint modelling language and tool chain)

Your message dated Sun, 16 Aug 2015 12:00:27 +0000
with message-id <E1ZQwbz-0002hF-55@franck.debian.org>
and subject line Bug#791608: fixed in minizinc 2.0.5+dfsg1-1
has caused the Debian Bug report #791608,
regarding ITP: minizinc -- Constraint modelling language and tool chain
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
791608: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=791608
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist
Owner: Kari Pahula <kaol@debian.org>

* Package name    : minizinc
  Version         : 2.0.4
  Upstream Author : Guido Tack <guido.tack@monash.edu>
* URL             : http://www.minizinc.org/
* License         : MPL-2.0, MS-PL
  Programming Lang: C++
  Description     : constraint modelling language and tool chain

 MiniZinc is a medium-level constraint modelling language. It is
 high-level enough to express most constraint problems easily, but
 low-level enough that it can be mapped onto existing solvers easily
 and consistently. It is a subset of the higher-level language Zinc.
 .
 MiniZinc is designed to interface easily to different backend
 solvers.  It does this by transforming an input MiniZinc model and
 data file into a FlatZinc model. FlatZinc models consist of variable
 declaration and constraint definitions as well as a definition of the
 objective function if the problem is an optimization problem. The
 translation from MiniZinc to FlatZinc is specializable to individual
 backend solvers, so they can control what form constraints end up
 in. In particular, MiniZinc allows the specification of global
 constraints by decomposition.

I already maintain Gecode, which includes a FlatZinc interpreter.  I
intend to package minizinc and minizinc-ide to provide more use for
Gecode.

--- End Message ---
--- Begin Message --- 
Source: minizinc
Source-Version: 2.0.5+dfsg1-1

We believe that the bug you reported is fixed in the latest version of
minizinc, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 791608@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Kari Pahula <kaol@debian.org> (supplier of updated minizinc package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 03 Aug 2015 10:08:56 +0300
Source: minizinc
Binary: minizinc
Architecture: source amd64
Version: 2.0.5+dfsg1-1
Distribution: experimental
Urgency: low
Maintainer: Kari Pahula <kaol@debian.org>
Changed-By: Kari Pahula <kaol@debian.org>
Description:
 minizinc   - constraint modelling language and tool chain
Closes: 791608
Changes:
 minizinc (2.0.5+dfsg1-1) experimental; urgency=low
 .
   * Initial release (Closes: #791608)
Checksums-Sha1:
 1d7241d4cf69a17c653d37317903eb8cba74cfc6 1754 minizinc_2.0.5+dfsg1-1.dsc
 5f19d87a860621f6ff0c48ecc05b6847827d6f47 389583 minizinc_2.0.5+dfsg1.orig.tar.gz
 e49eca392f046a0420b1ea0fc71b3d80c8fd11b2 8604 minizinc_2.0.5+dfsg1-1.debian.tar.xz
 e8fcc8f243afd271b6c2abbdbb2a79eff8f17c43 730118 minizinc_2.0.5+dfsg1-1_amd64.deb
Checksums-Sha256:
 cdcaf829aafad60ed98ddd506290e684a279536a901eabdec40249fb7b9e25a0 1754 minizinc_2.0.5+dfsg1-1.dsc
 e5cefd32f773c67af14d14235e0fdd01a66bb3782f6df33e183a6330e9a351e3 389583 minizinc_2.0.5+dfsg1.orig.tar.gz
 493caf569f4abf01066d6ad7e571120e742789e0571b710a344f66f256ffec7d 8604 minizinc_2.0.5+dfsg1-1.debian.tar.xz
 d3f36ad4f216438cf11d11875af4c13f37d95b0f6784b5e6e7b21274e2106293 730118 minizinc_2.0.5+dfsg1-1_amd64.deb
Files:
 d6bb1fce74e11fed5b0af6176fe7379a 1754 devel extra minizinc_2.0.5+dfsg1-1.dsc
 80f3128fbb46ba6b830468e4a9b3c397 389583 devel extra minizinc_2.0.5+dfsg1.orig.tar.gz
 71fc95dc4c29cf2b688815a7dcd16ebc 8604 devel extra minizinc_2.0.5+dfsg1-1.debian.tar.xz
 0c68d7f99243077690b63feb9c0a927f 730118 devel extra minizinc_2.0.5+dfsg1-1_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJVvxSyAAoJEIQIZ+6djyZctTkP/3Dua7wX8156sDJ5o7m5BiPC
9ist9fUZMb/APNvo4FEQ8pVhNGBUbID6Gs958GbOZDi1us6tFvLXmODxqLZDcKhH
NGKgN6Uc/4l9JNextLYs2pOX08AbeAdP4ZbEGGCX6ux8dYeG6uaNJQUbbiLFLeJY
SiD5ezg2SGFU2SIgFTrDdbYJKA5WAZukzfzXGRteKerUX3YrtYpDw6WyFTM4gg7T
1OOcPmBpvlafycStOzzYWhlztXYcyyFENiuSaw0KsGuIUGkVVuVSIlbX12c7pdW2
m56oZkH39KeXAJHLyLJ1U10se53dGrndHuvCEZyQdwkWSfYn5xc9JSFAnpwC4Eu5
Qx8nWFjVsNxOksgZ+UCm/g0+EGi2fq+qFRMNmxWy39TV6W7a0jOivEn1kKxzvMY7
LDRkPJP4UTVbeq54THxrKfden+QqpufdP/4XgU9+EvYJIkz6T7DqlsRf/VVXxWHC
Fd+aUabAg65U1gg9M2fQIobKEEAsZz4x1hF/u6KZwancTpWx+vy9bcW8MF0Y/pBO
OCCs9VXRHt3fNAbysUwKUtKrANFVE5RvaLByrKM6wuagDZ41aafgN/PV1hwdVmc9
AiGeYdiChvA+LFZfgwhO983qBTpo1VcKApbUxzk/m9DWuqZq669lxJFYLG2uTUdz
26acRCxIVqjEYpECex/S
=hwNZ
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: