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

Bug#585458: marked as done (lablgtkmathview: FTBFS with OCaml 3.12 because of bugfix in typechecking of inheritance)

Your message dated Thu, 21 Apr 2011 08:50:44 +0000
with message-id <E1QCpb2-0005OS-CI@franck.debian.org>
and subject line Bug#585458: fixed in lablgtkmathview 0.7.8-6
has caused the Debian Bug report #585458,
regarding lablgtkmathview: FTBFS with OCaml 3.12 because of bugfix in typechecking of inheritance
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.)


-- 
585458: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=585458
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: src:lablgtkmathview
Version: 0.7.8-5
Severity: normal
User: debian-ocaml-maint@lists.debian.org
Usertags: ocaml312-ftbfs
Tags: upstream

Hello,

While rebuilding all packages with a SVN snapshot of OCaml (version
3.12.0+dev26, revision 10544), your package failed to build on amd64.

Revelant part:

ocamlfind ocamlc -package "gdome2 lablgtk2" -predicates "" -c gMathViewAux.ml
File "gMathViewAux.ml", line 1, characters 0-1:
Error: The implementation gMathViewAux.ml
       does not match the interface gMathViewAux.cmi:
       Class declarations do not match:
         class single_selection_math_view_signals :
           ([> `gtk | `mathview_gmetadom | `widget ] as 'b) Gtk.obj ->
           ((Gdome.element option -> unit) -> unit) ->
           object ('a)
             val after : bool
             val obj : 'b Gtk.obj
             method after : 'a
             method click :
               callback:(Gdome.element option * int * int * int -> unit) ->
               GtkSignal.id
             method destroy : callback:(unit -> unit) -> GtkSignal.id
             method element_over :
               callback:(Gdome.element option * int * int * int -> unit) ->
               GtkSignal.id
             method select_abort : callback:(unit -> unit) -> GtkSignal.id
             method select_begin :
               callback:(Gdome.element option * int * int * int -> unit) ->
               GtkSignal.id
             method select_end :
               callback:(Gdome.element option * int * int * int -> unit) ->
               GtkSignal.id
             method select_over :
               callback:(Gdome.element option * int * int * int -> unit) ->
               GtkSignal.id
             method selection_changed :
               (Gdome.element option -> unit) -> unit
           end
       does not match
         class single_selection_math_view_signals :
           [> `gtk | `mathview_gmetadom | `widget ] Gtk.obj ->
           ((Gdome.element option -> unit) -> unit) ->
           object ('a)
             val after : bool
             val obj : [> `gtk | `mathview_gmetadom | `widget ] Gtk.obj
             method after : 'a
             method click :
               callback:(Gdome.element option * int * int * int -> unit) ->
               GtkSignal.id
             method destroy : callback:(unit -> unit) -> GtkSignal.id
             method element_over :
               callback:(Gdome.element option * int * int * int -> unit) ->
               GtkSignal.id
             method select_abort : callback:(unit -> unit) -> GtkSignal.id
             method select_begin :
               callback:(Gdome.element option * int * int * int -> unit) ->
               GtkSignal.id
             method select_end :
               callback:(Gdome.element option * int * int * int -> unit) ->
               GtkSignal.id
             method select_over :
               callback:(Gdome.element option * int * int * int -> unit) ->
               GtkSignal.id
             method selection_changed :
               (Gdome.element_of_node option -> unit) -> unit
           end
       The instance variable obj has type
         ([> `gtk | `mathview_gmetadom | `widget ] as 'a) Gtk.obj =
           'a Gobject.obj
       but is expected to have type
         ([> `gtk | `mathview_gmetadom | `widget ] as 'b) Gtk.obj =
           'b Gobject.obj
make[1]: *** [gMathViewAux.cmo] Error 2


The full build log is available at:


http://ocaml.debian.net/debian/ocaml3120dev26r10544/failures/lablgtkmathview_0.7.8-5%2B3.12.0%2Bdev26%2B10544%2B1_amd64.build


Best regards,

--
Stéphane

--- End Message ---
--- Begin Message --- 
Source: lablgtkmathview
Source-Version: 0.7.8-6

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

lablgtkmathview_0.7.8-6.debian.tar.gz
  to main/l/lablgtkmathview/lablgtkmathview_0.7.8-6.debian.tar.gz
lablgtkmathview_0.7.8-6.dsc
  to main/l/lablgtkmathview/lablgtkmathview_0.7.8-6.dsc
liblablgtkmathview-ocaml-dev_0.7.8-6_amd64.deb
  to main/l/lablgtkmathview/liblablgtkmathview-ocaml-dev_0.7.8-6_amd64.deb
liblablgtkmathview-ocaml_0.7.8-6_amd64.deb
  to main/l/lablgtkmathview/liblablgtkmathview-ocaml_0.7.8-6_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 585458@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Stéphane Glondu <glondu@debian.org> (supplier of updated lablgtkmathview 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: SHA512

Format: 1.8
Date: Thu, 21 Apr 2011 09:49:31 +0200
Source: lablgtkmathview
Binary: liblablgtkmathview-ocaml liblablgtkmathview-ocaml-dev
Architecture: source amd64
Version: 0.7.8-6
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Description: 
 liblablgtkmathview-ocaml - OCaml bindings for libgtkmathview (runtime)
 liblablgtkmathview-ocaml-dev - OCaml bindings for libgtkmathview, a GTK widget to render MathML
Closes: 585458
Changes: 
 lablgtkmathview (0.7.8-6) unstable; urgency=low
 .
   * Team upload
 .
   [ Stefano Zacchiroli ]
   * fix package sections to "ocaml"
 .
   [ Mehdi Dogguy ]
   * Remove inferrable dependencies in debian/control and let dh-ocaml
     do entirely the inference job.
 .
   [ Stéphane Glondu ]
   * Switch source package format to 3.0 (quilt)
   * Add 0001-Fix-build-with-OCaml-3.12.patch (Closes: #585458)
   * Remove Stefano from Uploaders
   * Add debian/watch
   * Bump Standards-Version to 3.9.2 (no changes)
Checksums-Sha1: 
 96cf0d7262e17620d2d98fe9808d8d9009d1feae 2141 lablgtkmathview_0.7.8-6.dsc
 1832393e1315a031907355860cab9b81d4af9b83 6509 lablgtkmathview_0.7.8-6.debian.tar.gz
 973b6171ebf176acb07973cd58cfa7f426a43ec1 13256 liblablgtkmathview-ocaml_0.7.8-6_amd64.deb
 f983e66ef34a548965ee109d76452115ff4465e5 77524 liblablgtkmathview-ocaml-dev_0.7.8-6_amd64.deb
Checksums-Sha256: 
 ead1968a20766f48ca83c27141ebe6cb3e26486109ac89043218bb07aae10d94 2141 lablgtkmathview_0.7.8-6.dsc
 8eddd1b8b7a5b1318a6b4370c6d7c51d4e120a0127f69a6d8ac2c13b83f293d9 6509 lablgtkmathview_0.7.8-6.debian.tar.gz
 abfc0ce78c03e24c7439d708f113ad54b5fb7dad23394c55699a13f49f423df4 13256 liblablgtkmathview-ocaml_0.7.8-6_amd64.deb
 f6d0d35a8d6a0336633bbebda6472bb92271daa5faf0871e35e3809cb446406b 77524 liblablgtkmathview-ocaml-dev_0.7.8-6_amd64.deb
Files: 
 34c88ceea4c307dd68d653f01395475e 2141 ocaml optional lablgtkmathview_0.7.8-6.dsc
 17fa0fd588ad553e5273d4f886f939f9 6509 ocaml optional lablgtkmathview_0.7.8-6.debian.tar.gz
 f9678a6831c82d123d419bd82baf5e3e 13256 ocaml optional liblablgtkmathview-ocaml_0.7.8-6_amd64.deb
 74799314e77a3ad5cdc673758f88e957 77524 ocaml optional liblablgtkmathview-ocaml-dev_0.7.8-6_amd64.deb

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

iQIcBAEBCgAGBQJNr+VaAAoJEHhT2k1JiBrTC4QP/3NgMQHRLWRTIjyUOHeFhfvJ
eMl8E7wWDUwfaVBNcwhJAcPEOkIOXrkJkRTaOTsrT6ff59Eyr90YIJemFSZi0Nnt
nPKSfch+bvkpZwyHuE0qDVlWJS3ilnBcfbWxFDYPegV/d1w31ErvJ2Xnm/jyss6r
zyAA/pS8TkHg7YsGV1KT7SmU7hMAbeG9dYG6fRdnkM125SnXpP5el00CtQgEm9DP
3dLVo4F0JkYPbCVCkdIQXhZ0p2cJi+MBF871MMWbR8uatDw9BiN7VzPCYUzyPDHa
B6nD8480ZEgiBwGLczU2g56kZ+lyLcXq/h11HbF0Nlsb8f6MoKF+/1p2PVgRnFpx
IMdGYxgrsOcUMimUTwxQAWdVQWl5x5tIi00KsTCRq5wdms9ApXdBVtxkHX4Rtefy
uq4Py2W3cit3llqwrgRVMsfEKgOtCCOixFE1Ru5ue2CXj/IHjIGd8HJ3M9Mhb053
D7hYlto9XOstKDU87K85oAgPDULHeOByymG4GXgwkWDGV6BVdq2CP4U1NlM9/R+3
6F8cttyQXCJyzuy8ZiaZlB60/vvn5m33e0WXBaYIb54m1TTJ1Zs2PrZyJWjgRlUJ
AOxXc6wl4IO6BI0SEq5Dc9e/WskqIj3035mhHRy5JUJnvePFs6MOJJlnldAoJMrN
0o5H/qTQwOV1ba6zJXue
=QlSu
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: