Bug#587521: marked as done (ITP: dose3 -- Framework made of several OCaml libraries for managing distribution packages and their dependencies)
Your message dated Mon, 16 May 2011 12:32:10 +0000
with message-id <E1QLwy2-0004ki-BM@franck.debian.org>
and subject line Bug#587521: fixed in dose3 2.9.3-1
has caused the Debian Bug report #587521,
regarding ITP: dose3 -- Framework made of several OCaml libraries for managing distribution packages and their dependencies
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.)
--
587521: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=587521
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: dose3
Version: 0.7
Upstream Author: Pietro Abate <pietro.abate@pps.jussieu.fr>
URL: http://gforge.info.ucl.ac.be/frs/download.php/160/dose3-0.7.tar.gz
Licence: GPL >=3
Programming Language: OCaml
Tentative Description:
Dose3 is a framework made of several OCaml libraries for managing
distribution packages and their dependencies.
Though not tied to any particular distribution, dose3 constitutes a pool of
libraries which enable analyzing packages coming from various
distributions.
Besides basic functionalities for querying and setting package properties,
dose3 also implements algorithms for solving more complex problems
(monitoring package evolutions, correct and complete dependency resolution,
repository-wide uninstallability checks).
Maintainer: Debian OCaml Maintainers
Remark: This is the new implementation of the dose2 libraries and the
accompanying tools, in particular edos-distcheck. We will for the moment
upload only to experimental until we are comfident that the new
implementation can be used as a replacement of the old one. During that
time we will use names of binary packages that do not clash with existing
names of binary packages in unstable. Once we know everything is OK we will
transition from the old edos-distcheck to the new one.
-Ralf.
--
Ralf Treinen
Laboratoire Preuves, Programmes et Systèmes
Université Paris Diderot, Paris, France.
http://www.pps.jussieu.fr/~treinen/
--- End Message ---
--- Begin Message ---
Source: dose3
Source-Version: 2.9.3-1
We believe that the bug you reported is fixed in the latest version of
dose3, which is due to be installed in the Debian FTP archive:
ceve_2.9.3-1_amd64.deb
to main/d/dose3/ceve_2.9.3-1_amd64.deb
dose3-builddebcheck_2.9.3-1_amd64.deb
to main/d/dose3/dose3-builddebcheck_2.9.3-1_amd64.deb
dose3-distcheck_2.9.3-1_amd64.deb
to main/d/dose3/dose3-distcheck_2.9.3-1_amd64.deb
dose3_2.9.3-1.debian.tar.gz
to main/d/dose3/dose3_2.9.3-1.debian.tar.gz
dose3_2.9.3-1.dsc
to main/d/dose3/dose3_2.9.3-1.dsc
dose3_2.9.3.orig.tar.gz
to main/d/dose3/dose3_2.9.3.orig.tar.gz
libdose3-ocaml-dev_2.9.3-1_amd64.deb
to main/d/dose3/libdose3-ocaml-dev_2.9.3-1_amd64.deb
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 587521@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 dose3 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: Sun, 15 May 2011 19:12:44 +0200
Source: dose3
Binary: libdose3-ocaml-dev dose3-distcheck dose3-builddebcheck ceve
Architecture: source amd64
Version: 2.9.3-1
Distribution: experimental
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description:
ceve - Parses package dependencies as set of constraints
dose3-builddebcheck - Checks whether build-dependencies can be satisfied
dose3-distcheck - Checks whether dependencies of packages can be satisfied
libdose3-ocaml-dev - OCaml libraries for package dependencies (development files)
Closes: 587521
Changes:
dose3 (2.9.3-1) experimental; urgency=low
.
* Initial upload (closes: #587521)
* New upstream release. This release resolves the problems with the
copyright of some of the files. In particular, common/url.ml has
been rewritten from scratch.
* Standards-Version 3.9.2 (no change)
* debian/control: remove redundant Section entry for libdose3-ocaml-dev.
* Drop patch manpages since fixed by upstream.
* Patch ignore-experimental: remove references to experimental directory
which does not exist in the released tarball.
Checksums-Sha1:
de479239c9fc64067c018e6c85901e9905cd0ed5 1520 dose3_2.9.3-1.dsc
9680c4bea8779999b12a910610f858b7d10c8bf8 174437 dose3_2.9.3.orig.tar.gz
5a9849181d1ff9536d88cb9a85686bd7e843ed5f 7209 dose3_2.9.3-1.debian.tar.gz
2a6205f02a44f0620125be6863897bdede673584 10034 libdose3-ocaml-dev_2.9.3-1_amd64.deb
c4cf05db0e440d6f02006a25a1fa7ef43c39ce99 449204 dose3-distcheck_2.9.3-1_amd64.deb
a429af67c62f79b93c6f0d5efdba54fee092f804 447926 dose3-builddebcheck_2.9.3-1_amd64.deb
bc3c17301679176569500f28e1035173aa8e6d91 619764 ceve_2.9.3-1_amd64.deb
Checksums-Sha256:
ba70d39308dd5eb443089ddbdfdb739f9f8cd517d1d482ec6b48b2c39217b100 1520 dose3_2.9.3-1.dsc
c9a203e1667c0eef105997d43fdb74af3c81ff74d093971c79928732341e83bd 174437 dose3_2.9.3.orig.tar.gz
12112e93595fdb648824af115566956ce6bdfa72e5a78c9eaa483b8526b44503 7209 dose3_2.9.3-1.debian.tar.gz
015272141a06258e0b29d0a29d283bea59803c9e6c24cfb1b1747a632dfd02be 10034 libdose3-ocaml-dev_2.9.3-1_amd64.deb
54e2dde30a260086d1944aef4f3af59bc901dc646b45a4a5a0d8264b54f271aa 449204 dose3-distcheck_2.9.3-1_amd64.deb
b8dac17720e0915ff63ffd67b90c319f0fb3b69ccacf50ae5c828cbb91c25316 447926 dose3-builddebcheck_2.9.3-1_amd64.deb
62ba6c896761d9d9ff8a2326cfb5a66152b5dc0c935214c68c160e04f0b091fa 619764 ceve_2.9.3-1_amd64.deb
Files:
d791823fad4b4b0f782fedf0f7ea1b04 1520 ocaml extra dose3_2.9.3-1.dsc
d37451f0d342a52fcd8c51023c3326f5 174437 ocaml extra dose3_2.9.3.orig.tar.gz
04ac56d6b7fafe4f3cddb166f3cd9f89 7209 ocaml extra dose3_2.9.3-1.debian.tar.gz
5781e487223d3a0ca488559ee166e960 10034 ocaml extra libdose3-ocaml-dev_2.9.3-1_amd64.deb
ac4c9768c4d1e6896a067bf94d88dbe5 449204 devel extra dose3-distcheck_2.9.3-1_amd64.deb
77973843d5ae3d0539fd725ca6ec8c57 447926 devel extra dose3-builddebcheck_2.9.3-1_amd64.deb
8415431ba92b8fee385c3d8efae042bf 619764 devel extra ceve_2.9.3-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iEYEARECAAYFAk3QDe4ACgkQtzWmSeC6BMGXFACgz+pTl9MwUZgPpP+zJh1PzYgg
9joAnApk0FGDcZ2+Wgak0CoW6BDEGa7X
=XEjz
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: