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

Bug#793733: marked as done (ITP: minizinc-ide -- MiniZinc constraint modelling language IDE)

Your message dated Sun, 16 Aug 2015 12:00:27 +0000
with message-id <E1ZQwbz-0002hc-EO@franck.debian.org>
and subject line Bug#793733: fixed in minizinc-ide 0.9.9-1
has caused the Debian Bug report #793733,
regarding ITP: minizinc-ide -- MiniZinc constraint modelling language IDE
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.)


-- 
793733: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=793733
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-ide
  Version         : 0.9.8
  Upstream Author : Guido Tack <guido.tack@monash.edu>
* URL             : http://www.minizinc.org/ide/
* License         : MPL-2.0
  Programming Lang: C++
  Description     : 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.

This is to go along with minizinc package (#791608).

--- End Message ---
--- Begin Message --- 
Source: minizinc-ide
Source-Version: 0.9.9-1

We believe that the bug you reported is fixed in the latest version of
minizinc-ide, 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 793733@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-ide 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:58 +0300
Source: minizinc-ide
Binary: minizinc-ide
Architecture: source amd64
Version: 0.9.9-1
Distribution: experimental
Urgency: low
Maintainer: Kari Pahula <kaol@debian.org>
Changed-By: Kari Pahula <kaol@debian.org>
Description:
 minizinc-ide - MiniZinc constraint modelling language IDE
Closes: 793733
Changes:
 minizinc-ide (0.9.9-1) experimental; urgency=low
 .
   * Initial release (Closes: #793733)
Checksums-Sha1:
 904131bd09c6d388c01c60834ea182087c69600f 1752 minizinc-ide_0.9.9-1.dsc
 991344c1b46b3ac6552b6356bd773f8718303760 413043 minizinc-ide_0.9.9.orig.tar.gz
 ed61a1f25570b8777f3df49c1c0ced2ebc6231c7 8100 minizinc-ide_0.9.9-1.debian.tar.xz
 948f9af203870ebb955acb1cb6985636cc7bd3ce 279248 minizinc-ide_0.9.9-1_amd64.deb
Checksums-Sha256:
 f9e707ed08f339b721f42beda10f69746b7d5a6760d7f0654472431b5e190672 1752 minizinc-ide_0.9.9-1.dsc
 bf3583a3e03e2b57c35ff12ef178fcf45374393e11e7a5e8f80887685ff2d3ad 413043 minizinc-ide_0.9.9.orig.tar.gz
 994be53e819fb1b7a759c1f1296d6eff43ea881682824d98e91e31915ee81ecd 8100 minizinc-ide_0.9.9-1.debian.tar.xz
 c5dd83fb61e5720efe24214604c1e74f94b34a12ef4350fa785566367871da16 279248 minizinc-ide_0.9.9-1_amd64.deb
Files:
 4d03ff65f3b737db13ecaabb422ec51a 1752 devel extra minizinc-ide_0.9.9-1.dsc
 c7d4f3e864713ab59220866c826df71a 413043 devel extra minizinc-ide_0.9.9.orig.tar.gz
 6144078aae5173f1ba774aae7fe1e920 8100 devel extra minizinc-ide_0.9.9-1.debian.tar.xz
 feac54fa17d2137b5dadd3e63207c158 279248 devel extra minizinc-ide_0.9.9-1_amd64.deb

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

iQIcBAEBCAAGBQJVvxUSAAoJEIQIZ+6djyZcviAP+wa6GQESVP1y+ybc0nvdpsMI
OHycWFmXJh0PBPWRR4Fc2Wbnx+nW4EgCMVI+SOFnoxce1LzELzjdUQ1w75GmnhBH
RhP86vVQuqFEGdGzemsmB1FWTGZqR3PPs5LfsppQiumuCNe2OWfdVSOrhGb+j+eT
uo64bj6lPVm69ZZfdjz+eStEzrF7AMT9V8HcS5gZwO21YM/km8n+oF7ZL+K2lQ1u
Ngzf9sSJf3KlLIUPh4ZVE7+H/86kcudGQp9sNV+Jhk0HQNvSDGhf1oyO96yC3RSt
V2RaoNj5SDys8g0elSzDLfBmFE42N/GDPoUrYkBvftlmC7gD5BTZXQ4q+l851TCT
4llAuWeS99HFqAZJB2M8gANAZKSWSPcqTPf3v7dQzxPxmXwLLu/JdtiXTF7z+yV/
W3LyFl7Sq/iDCPvvXi5ecR0nOdTAeTNXUe6P5avh1/eErTQGn3MWGAcJFruEMqs8
AVsLXoBdeh4ruU4ALbx0wsSMWeGCPkmSJHVVdGiS8FeNmbRXfvZyUyqakvMigEtH
AAOHja7t41J+B17xynJPrL+jv2/33XIRshEIUAut4PmOn8+kafypsL52hYB5dYQx
CTXKMwO+C3nFMJxCSdZlCuL7an04uZ98GUwrxDC5Nmzg2RzbmzCk/+aihZ1CxzOS
h6dgJDLYvVLvz1sF+2fM
=MZNZ
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: