Bug#627274: marked as done (libdose3-ocaml-dev: a lot of files are missing)
Your message dated Thu, 02 Jun 2011 12:02:19 +0000
with message-id <E1QS6bT-0001Zk-AG@franck.debian.org>
and subject line Bug#627274: fixed in dose3 2.9.4-1
has caused the Debian Bug report #627274,
regarding libdose3-ocaml-dev: a lot of files are missing
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.)
--
627274: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=627274
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: libdose3-ocaml-dev
Version: 2.9.3-1
Severity: important
Tags: serious
libdose3-ocaml-dev should install the complete contents of
/usr/lib/ocaml/dose3/
----- Forwarded message from Pietro Abate <Pietro.Abate@pps.jussieu.fr> -----
Date: Wed, 18 May 2011 09:48:26 +0200
From: Pietro Abate <Pietro.Abate@pps.jussieu.fr>
To: Ralf Treinen <ralf.treinen@pps.jussieu.fr>
Cc: Pietro Abate <Pietro.Abate@pps.jussieu.fr>,
Stefano Zacchiroli <zack@pps.jussieu.fr>
Subject: Re: dose3 release
Something is missing ...
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)
but where is libdose3-ocaml with all the runtime libraries ? I need the
cma(s) to compile...
abate@zed.fr:~/Projects/git-svn-repos/dose3$apt-cache show libdose3-ocaml
N: Unable to locate package libdose3-ocaml
E: No packages found
make install, in theory should take care of copying all the needed
binaries...
----- End forwarded message -----
--
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.4-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.4-1_amd64.deb
to main/d/dose3/ceve_2.9.4-1_amd64.deb
dose3-builddebcheck_2.9.4-1_amd64.deb
to main/d/dose3/dose3-builddebcheck_2.9.4-1_amd64.deb
dose3-distcheck_2.9.4-1_amd64.deb
to main/d/dose3/dose3-distcheck_2.9.4-1_amd64.deb
dose3_2.9.4-1.debian.tar.gz
to main/d/dose3/dose3_2.9.4-1.debian.tar.gz
dose3_2.9.4-1.dsc
to main/d/dose3/dose3_2.9.4-1.dsc
dose3_2.9.4.orig.tar.gz
to main/d/dose3/dose3_2.9.4.orig.tar.gz
libdose3-ocaml-dev_2.9.4-1_amd64.deb
to main/d/dose3/libdose3-ocaml-dev_2.9.4-1_amd64.deb
libdose3-ocaml_2.9.4-1_amd64.deb
to main/d/dose3/libdose3-ocaml_2.9.4-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 627274@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: Thu, 02 Jun 2011 11:25:57 +0200
Source: dose3
Binary: libdose3-ocaml-dev libdose3-ocaml dose3-distcheck dose3-builddebcheck ceve
Architecture: source amd64
Version: 2.9.4-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 - OCaml libraries for package dependencies (runtime files)
libdose3-ocaml-dev - OCaml libraries for package dependencies (development files)
Closes: 627274
Changes:
dose3 (2.9.4-1) experimental; urgency=low
.
* New upstream release. This release solves an issue with spuriously
exported modules that blocked resolution of #627274.
* Install all of usr/lib/ocaml/dose3 in the -dev package (closes: #627274)
* Remove patch ignore-experimental since this is fixed upstream now.
* Bump version on build-dependency libcudf-ocaml-dev.
* Add a binary package libdose3-ocaml for the runtime stub libraries.
* debian/rules: install _build/algo/algo.{a,o}.
Checksums-Sha1:
20abd7fae630c81dfb79c4cdcd4540b14dd82a69 1533 dose3_2.9.4-1.dsc
99f15dd8c435674e5fc0776259dd39e6b469dfdd 173301 dose3_2.9.4.orig.tar.gz
bfc0254b462697f4945d1bd953cd7a800e66e283 7353 dose3_2.9.4-1.debian.tar.gz
b6d024d89d50b5b54ac3d7d279fcb6ea4553d677 715628 libdose3-ocaml-dev_2.9.4-1_amd64.deb
26d2b4d3d35e2e942c1ea5e20bfdaa97be4e3ccd 7664 libdose3-ocaml_2.9.4-1_amd64.deb
db00991d28ae79deccf90553979fcf67559fb011 448860 dose3-distcheck_2.9.4-1_amd64.deb
00aecb6a72478b2e7540df35fc636939031bf670 447546 dose3-builddebcheck_2.9.4-1_amd64.deb
fbf95cd66a2a89c1ecc4f11e8951d5002fe8d9a5 619886 ceve_2.9.4-1_amd64.deb
Checksums-Sha256:
4116e0faef873e648eeb27375cd2674a4d2c8f9c082028528ce647dd63d29aeb 1533 dose3_2.9.4-1.dsc
f6779c1063528c75c59910be66b3ec9dfb4339add4a5abb7086bcde5fe4a5603 173301 dose3_2.9.4.orig.tar.gz
4f52a1f12a0b895bb00a1aa7c27ceebe43e75855c1e50317f56571efedff1416 7353 dose3_2.9.4-1.debian.tar.gz
a867534b3dcbc0dc8eafb7d4aa0a8d9ccb2ffce58d2870bfe4e3e5013e3fb09c 715628 libdose3-ocaml-dev_2.9.4-1_amd64.deb
b6fd6e5d6e871f24ccac72cfc87d26c5c1ceaa987f2af54832c1d02801248358 7664 libdose3-ocaml_2.9.4-1_amd64.deb
a34a338dc3da15baca6c1902535cd5ec66a2699c5c16ddb2166dee2596814515 448860 dose3-distcheck_2.9.4-1_amd64.deb
478cdd7427b2102464ea781a4dfb255e7a1048c5687b5e506de4690f7ac05e54 447546 dose3-builddebcheck_2.9.4-1_amd64.deb
d357ab723c70224f65cad66f634788909d3066895f62e360c539d5170be469c7 619886 ceve_2.9.4-1_amd64.deb
Files:
1dd1227cc4dd6700f2cba0076042f6a3 1533 ocaml extra dose3_2.9.4-1.dsc
bb710bddb63bb7fcf381b8e9523dc915 173301 ocaml extra dose3_2.9.4.orig.tar.gz
3396c9e8f2a31d2f2420f81f4edd7aa2 7353 ocaml extra dose3_2.9.4-1.debian.tar.gz
cf0fd689caef0b95cf4a537ab9f53980 715628 ocaml extra libdose3-ocaml-dev_2.9.4-1_amd64.deb
21ec6a95c75dba09b65ed6e58a2b52d1 7664 ocaml extra libdose3-ocaml_2.9.4-1_amd64.deb
fe1402f6234aa6d743b0f6124661aa41 448860 devel extra dose3-distcheck_2.9.4-1_amd64.deb
f38861e7855e9b749bb21a14653c556c 447546 devel extra dose3-builddebcheck_2.9.4-1_amd64.deb
e5da3011dd6d3c88cd0decd0260be115 619886 devel extra ceve_2.9.4-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iEYEARECAAYFAk3nXGEACgkQtzWmSeC6BMFKVwCgvMcJL+giHfEDeM6EcOOH8vEf
WXEAoM1axgkdGJmaJbvMkQNjx/v7dKL6
=tIud
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: