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

Bug#599298: marked as done (cmigrep: should use dh-ocaml >= 0.9)



Your message dated Sun, 13 Feb 2011 22:20:25 +0000
with message-id <E1PokIr-0003Ub-Pu@franck.debian.org>
and subject line Bug#599298: fixed in pkglab 1.4.2-12
has caused the Debian Bug report #599298,
regarding cmigrep: should use dh-ocaml >= 0.9
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.)


-- 
599298: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=599298
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: src:cmigrep
Version: 1.5-7
Severity: wishlist
User: debian-ocaml-maint@lists.debian.org
Usertags: dh-ocaml-migration

Hello,

cmigrep should be migrated to dh-ocaml >= 0.9.


Best regards,

--
Stéphane




--- End Message ---
--- Begin Message ---
Source: pkglab
Source-Version: 1.4.2-12

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

edos-distcheck_1.4.2-12_amd64.deb
  to main/p/pkglab/edos-distcheck_1.4.2-12_amd64.deb
pkglab_1.4.2-12.debian.tar.gz
  to main/p/pkglab/pkglab_1.4.2-12.debian.tar.gz
pkglab_1.4.2-12.dsc
  to main/p/pkglab/pkglab_1.4.2-12.dsc
pkglab_1.4.2-12_amd64.deb
  to main/p/pkglab/pkglab_1.4.2-12_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 599298@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 pkglab 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, 13 Feb 2011 12:07:44 +0100
Source: pkglab
Binary: pkglab edos-distcheck
Architecture: source amd64
Version: 1.4.2-12
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description: 
 edos-distcheck - Checks whether dependencies of packages can be satisfied
 pkglab     - interactive environment to explore package repositories
Closes: 582951 599298 603831
Changes: 
 pkglab (1.4.2-12) unstable; urgency=low
 .
   * Downgrade priority to extra, since dose2 has priority extra now.
     Thanks to Luca Falavigna for the hint.
   * Migrate to source format 3.0.
   * edos-builddebcheck: read the binary package file directly using
     the "-I" option, instead of merging it with the source packages
     (closes: #582951). Thanks a lot to Andi Barth for the idea!
   * Fix a typo in the long description of edos-distcheck (closes: #603831).
   * Standards-Version: 3.9.1 (no change).
   * Migrate packaging from cdbs to dh.
   * Use dh_ocaml >= 0.9 to get dependencies on ocaml stuff
     (closes: #599298).
Checksums-Sha1: 
 a9b11f7ce2961b0ae3bfb88bcf5a12fb9f242a60 1428 pkglab_1.4.2-12.dsc
 606f81ff52edb07b3dfcf93417be003d77f4f9a8 18554 pkglab_1.4.2-12.debian.tar.gz
 02d666b7c2abfd56c2ee50a6da656912ecb94820 563210 pkglab_1.4.2-12_amd64.deb
 a93c52f5404b13b1f74408f741569a5efbbd929d 468370 edos-distcheck_1.4.2-12_amd64.deb
Checksums-Sha256: 
 d2c2aa5993378e92542c9ce1b7bf66f1ce2ceee91d9dc3959312138e2eab9159 1428 pkglab_1.4.2-12.dsc
 8cb93cad2a338b44ec137c6291118965e53e1c1d9dee0b536b3bbc16f6ca6d0f 18554 pkglab_1.4.2-12.debian.tar.gz
 33c471aeea5a7fff09f10c2a38117b6e4f040b53955d41b24a9d5f021fb55d99 563210 pkglab_1.4.2-12_amd64.deb
 d239222e0566d6a05437847c5a21ea5e6dfe7a64a3f1cb849e53491967a2cfef 468370 edos-distcheck_1.4.2-12_amd64.deb
Files: 
 07c7fee627b2a39a71718596469b388d 1428 devel extra pkglab_1.4.2-12.dsc
 5784269dac6c258785c30df4f2c5b0d2 18554 devel extra pkglab_1.4.2-12.debian.tar.gz
 812a0bc9e80598fa13c985f42a3c08e2 563210 devel extra pkglab_1.4.2-12_amd64.deb
 ca09cd57d795de814597759f134861bf 468370 devel extra edos-distcheck_1.4.2-12_amd64.deb

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

iEYEARECAAYFAk1YVWkACgkQtzWmSeC6BMFCgwCfW1ispoRqd95nL9V4VwtG0DDg
EMIAn33ncdMwy9OoiKn8BHUvCJsVMal6
=2ySz
-----END PGP SIGNATURE-----



--- End Message ---

Reply to: