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

Bug#627973: marked as done (ITP: packup -- CUDF solver based on pseudo-Boolean constraints)



Your message dated Fri, 27 May 2011 21:33:13 +0000
with message-id <E1QQ4ef-0000XN-DO@franck.debian.org>
and subject line Bug#627973: fixed in packup 0.5-1
has caused the Debian Bug report #627973,
regarding ITP: packup -- CUDF solver based on pseudo-Boolean constraints
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.)


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

* Package name    : packup
  Version         : 0.5
  Upstream Author : Mikoláš Janota, Joao Marques-Silva, Inês Lynce, and Vasco Manquinho
* URL             : http://sat.inesc-id.pt/~mikolas/sw/packup/
* License         : GPL3+
  Programming Lang: C++
  Description     : CUDF solver based on pseudo-Boolean constraints

 packup is a solver for the package upgradability problem specified in
 the CUDF format. It repeatedly invokes an optimization pseudo-Boolean
 solver in order to solve the problem. By default minisat+ is used for
 that purpose but a different solver can be used by specifying the
 pertaining command line option.

-Ralf.



--- End Message ---
--- Begin Message ---
Source: packup
Source-Version: 0.5-1

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

packup_0.5-1.debian.tar.gz
  to main/p/packup/packup_0.5-1.debian.tar.gz
packup_0.5-1.dsc
  to main/p/packup/packup_0.5-1.dsc
packup_0.5-1_amd64.deb
  to main/p/packup/packup_0.5-1_amd64.deb
packup_0.5.orig.tar.gz
  to main/p/packup/packup_0.5.orig.tar.gz



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 627973@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Ralf Treinen <treinen@debian.org> (supplier of updated packup 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@debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Fri, 27 May 2011 21:36:20 +0200
Source: packup
Binary: packup
Architecture: source amd64
Version: 0.5-1
Distribution: unstable
Urgency: low
Maintainer: Ralf Treinen <treinen@debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description: 
 packup     - CUDF solver based on pseudo-Boolean constraints
Closes: 627973
Changes: 
 packup (0.5-1) unstable; urgency=low
 .
   * Initial release (closes: #627973)
Checksums-Sha1: 
 db22a0e4a6fe6e55f606439205a97da05eccbc94 1208 packup_0.5-1.dsc
 f4448871680c8a19c3769206d03692f43450dcf5 85793 packup_0.5.orig.tar.gz
 0eef4137fe1146cdd045d67c66114b90be8d8962 3438 packup_0.5-1.debian.tar.gz
 a545dc118f18cd9c6b8a0b46bae98a95d4042859 114810 packup_0.5-1_amd64.deb
Checksums-Sha256: 
 7194dcb67af4990e32db455706a9b187314000f7964878dd578892ac38df5896 1208 packup_0.5-1.dsc
 ed108408ad5f45128ae4c3a0d4655d6f460db8dedf4d4176d50b75ebf0d2d4d8 85793 packup_0.5.orig.tar.gz
 8c2ea885b52cc56cecc87beb5846a1b96fbeea3fd7a0beb102b7a88b273d563f 3438 packup_0.5-1.debian.tar.gz
 e75bf252a691b8698778a3c8d0f126e7449ae4c4780b3dee70d74b3f6cc6b0d4 114810 packup_0.5-1_amd64.deb
Files: 
 2bd41bec5b6566e132873d9dd99c4f5b 1208 admin extra packup_0.5-1.dsc
 29edc6f50796f380044da8f588d41c21 85793 admin extra packup_0.5.orig.tar.gz
 9b2fd923d8ec3eaf89b02b9f7f67c277 3438 admin extra packup_0.5-1.debian.tar.gz
 d79bb76d7bc907b91a11dcbc4af0d02d 114810 admin extra packup_0.5-1_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iEYEARECAAYFAk3gAB8ACgkQtzWmSeC6BME9+wCg3LDRLoYEWukgMXt9tmi4cGTP
PskAnRyZLiNi2zSCluArxoqn15Fhhoke
=ku5v
-----END PGP SIGNATURE-----



--- End Message ---

Reply to: