Your message dated Fri, 20 Jan 2012 21:47:12 +0000
with message-id <e1romii-0001ho...@franck.debian.org>
and subject line Bug#655395: fixed in coinst 1.01-1
has caused the Debian Bug report #655395,
regarding ITP: coinst -- computes the co-installability kernel of a deb or RPM
distribution
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 ow...@bugs.debian.org
immediately.)
--
655395: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=655395
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: Ralf Treinen <trei...@debian.org>
* Package name : coinst
Version : 1.01-1
Upstream Author : Jérôme Vouillon <jerome.vouil...@pps.jussieu.fr>
* URL : http://coinst.irill.org
* License : GPL-2+
Programming Lang: OCaml
Description : computes the co-installability kernel of a deb or RPM
distribution
This package is useful when you are interested in analyzing
co-installability of packages in a large package repository. A set
of packages is called co-installable if it can be extended to a set
that satisfies all inter-package relations (dependencies, conflicts,
etc.).
.
This tool reduces a repository to a much smaller one, its so-called
co-installability kernel, that behaves exactly the same as far as
co-installability of package is concerned. This is achieved by
- dropping all relations that are not relevant for this purpose
- identifying all packages that behave the same.
The kernel is typically orders of magnitude smaller than the original
repository.
--- End Message ---
--- Begin Message ---
Source: coinst
Source-Version: 1.01-1
We believe that the bug you reported is fixed in the latest version of
coinst, which is due to be installed in the Debian FTP archive:
coinst-viewer_1.01-1_amd64.deb
to main/c/coinst/coinst-viewer_1.01-1_amd64.deb
coinst_1.01-1.debian.tar.gz
to main/c/coinst/coinst_1.01-1.debian.tar.gz
coinst_1.01-1.dsc
to main/c/coinst/coinst_1.01-1.dsc
coinst_1.01-1_amd64.deb
to main/c/coinst/coinst_1.01-1_amd64.deb
coinst_1.01.orig.tar.gz
to main/c/coinst/coinst_1.01.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 655...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Ralf Treinen <trei...@debian.org> (supplier of updated coinst 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 ftpmas...@debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sun, 01 Jan 2012 16:54:35 +0100
Source: coinst
Binary: coinst coinst-viewer
Architecture: source amd64
Version: 1.01-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org>
Changed-By: Ralf Treinen <trei...@debian.org>
Description:
coinst - computes the co-installability kernel of a deb or RPM repository
coinst-viewer - viewer for co-installability kernels generated by coinst
Closes: 655395
Changes:
coinst (1.01-1) unstable; urgency=low
.
* Initial release (closes: #655395)
Checksums-Sha1:
51b01c580c1390d1c95cc8aa7e3d5603082478ff 1387 coinst_1.01-1.dsc
9ca39f8b7b57a136bcb9877b71e98227c9105204 91761 coinst_1.01.orig.tar.gz
697aaca6213f38cc9f4f035888a07549174d58bf 4350 coinst_1.01-1.debian.tar.gz
2aa43970cd119f8781b86bec596d04ec9a4b5f58 254512 coinst_1.01-1_amd64.deb
5ede5673423a5f2670aae92ac7c2c8e6f5848841 565976 coinst-viewer_1.01-1_amd64.deb
Checksums-Sha256:
5c9223a65c590e4515deda25b5861c846ce84a8c569798edacf2d2c216cbeb29 1387
coinst_1.01-1.dsc
5db63b58ccf6c9aa17578f0558b87cb6e06b07450d9b3a2be10ca1cab8851d66 91761
coinst_1.01.orig.tar.gz
a904b3ff2f58ff7df46dd0d6c747eba66778fccf4b190dfc9443ac663e3be713 4350
coinst_1.01-1.debian.tar.gz
a8ab5c471f38f0222fab4851f93f9de94dbbda4d9aea56b8e72791acdc0d35da 254512
coinst_1.01-1_amd64.deb
95e3df0d5babb5874225dac8fa25e55e597d43506e916768f6484e8cd2f39d9c 565976
coinst-viewer_1.01-1_amd64.deb
Files:
65acc1ddbd6ad360f2c49f221cecef80 1387 devel extra coinst_1.01-1.dsc
68086db77eab57b99ea350dfbe54ec13 91761 devel extra coinst_1.01.orig.tar.gz
1d03f63ae500b42a28bedd2aeafb6335 4350 devel extra coinst_1.01-1.debian.tar.gz
bd173d2a05e271bb53cd47aa3e145acb 254512 devel extra coinst_1.01-1_amd64.deb
9aa545469cb82a06fb4318f0c692a422 565976 devel extra
coinst-viewer_1.01-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iEYEARECAAYFAk8YeRAACgkQtzWmSeC6BMFkLgCg59yJ4JTXYrWEY0PaxnH3sMpG
bVEAoJYzr2M9SEttI/RUkaKHU+O4fyLo
=b7GS
-----END PGP SIGNATURE-----
--- End Message ---
