Bug#585455: marked as done (lablgtk2: FTBFS with OCaml 3.12 because of bugfix in typechecking of inheritance)
Your message dated Sat, 19 Feb 2011 06:32:20 +0000
with message-id <E1PqgMe-0004Ej-T4@franck.debian.org>
and subject line Bug#585455: fixed in lablgtk2 2.14.2+dfsg-1
has caused the Debian Bug report #585455,
regarding lablgtk2: 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.)
--
585455: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=585455
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: Debian Bug Tracking System <submit@bugs.debian.org>
- Subject: lablgtk2: FTBFS with OCaml 3.12 because of bugfix in typechecking of inheritance
- From: Stéphane Glondu <glondu@debian.org>
- Date: Thu, 10 Jun 2010 18:54:53 +0200
- Message-id: <4C1118DD.8070805@debian.org>
Package: src:lablgtk2
Version: 2.14.0+dfsg-2
Severity: normal
User: debian-ocaml-maint@lists.debian.org
Usertags: ocaml312-ftbfs
Tags: fixed-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:
ocamlc -I +lablGL -w s -c gButton.ml
File "gButton.ml", line 1, characters 0-1:
Error: The implementation gButton.ml
does not match the interface gButton.cmi:
Class declarations do not match:
class tool_item :
([> Gtk.tool_item ] as 'a) Gtk.obj ->
object
val obj : 'a Gtk.obj
method add : GObj.widget -> unit
method all_children : GObj.widget list
method as_tool_item : Gtk.tool_item Gtk.obj
method as_widget : Gtk.widget Gtk.obj
method border_width : int
method child : GObj.widget
method children : GObj.widget list
method coerce : GObj.widget
method connect : GContainer.container_signals_impl
method destroy : unit -> unit
method drag : GObj.drag_ops
method focus : GContainer.focus
method get_expand : bool
method get_homogeneous : bool
method get_oid : int
method get_use_drag_window : bool
method is_important : bool
method misc : GObj.misc_ops
method remove : GObj.widget -> unit
method resize_mode : Gtk.Tags.resize_mode
method set_border_width : int -> unit
method set_expand : bool -> unit
method set_homogeneous : bool -> unit
method set_is_important : bool -> unit
method set_resize_mode : Gtk.Tags.resize_mode -> unit
method set_tooltip : GData.tooltips -> string -> string -> unit
method set_use_drag_window : bool -> unit
method set_visible_horizontal : bool -> unit
method set_visible_vertical : bool -> unit
method visible_horizontal : bool
method visible_vertical : bool
end
does not match
class tool_item :
[> Gtk.tool_item ] Gtk.obj ->
object
val obj : [> Gtk.tool_item ] Gtk.obj
method add : GObj.widget -> unit
method all_children : GObj.widget list
method as_tool_item : Gtk.tool_item Gtk.obj
method as_widget : Gtk.widget Gtk.obj
method border_width : int
method child : GObj.widget
method children : GObj.widget list
method coerce : GObj.widget
method connect : GContainer.container_signals
method destroy : unit -> unit
method drag : GObj.drag_ops
method focus : GContainer.focus
method get_expand : bool
method get_homogeneous : bool
method get_oid : int
method get_use_drag_window : bool
method is_important : bool
method misc : GObj.misc_ops
method remove : GObj.widget -> unit
method resize_mode : Gtk.Tags.resize_mode
method set_border_width : int -> unit
method set_expand : bool -> unit
method set_homogeneous : bool -> unit
method set_is_important : bool -> unit
method set_resize_mode : Gtk.Tags.resize_mode -> unit
method set_tooltip : GData.tooltips -> string -> string -> unit
method set_use_drag_window : bool -> unit
method set_visible_horizontal : bool -> unit
method set_visible_vertical : bool -> unit
method visible_horizontal : bool
method visible_vertical : bool
end
The instance variable obj has type
([> Gtk.tool_item ] as 'a) Gtk.obj = 'a Gobject.obj
but is expected to have type
([> Gtk.tool_item ] as 'b) Gtk.obj = 'b Gobject.obj
Type 'a = [> `bin | `container | `gtk | `toolitem | `widget ]
is not compatible with type
'b = [> `bin | `container | `gtk | `toolitem | `widget ]
make[3]: *** [gButton.cmo] Error 2
make[3]: Leaving directory `/tmp/lablgtk2-2.14.0+dfsg/src'
make[2]: *** [all] Error 2
The full build log is available at:
http://ocaml.debian.net/debian/ocaml3120dev26r10544/failures/lablgtk2_2.14.0%2Bdfsg-2%2B3.12.0%2Bdev26%2B10544%2B1_amd64.build
Best regards,
--
Stéphane
--- End Message ---
--- Begin Message ---
Source: lablgtk2
Source-Version: 2.14.2+dfsg-1
We believe that the bug you reported is fixed in the latest version of
lablgtk2, which is due to be installed in the Debian FTP archive:
lablgtk2_2.14.2+dfsg-1.debian.tar.gz
to main/l/lablgtk2/lablgtk2_2.14.2+dfsg-1.debian.tar.gz
lablgtk2_2.14.2+dfsg-1.dsc
to main/l/lablgtk2/lablgtk2_2.14.2+dfsg-1.dsc
lablgtk2_2.14.2+dfsg.orig.tar.gz
to main/l/lablgtk2/lablgtk2_2.14.2+dfsg.orig.tar.gz
liblablgtk2-gl-ocaml-dev_2.14.2+dfsg-1_amd64.deb
to main/l/lablgtk2/liblablgtk2-gl-ocaml-dev_2.14.2+dfsg-1_amd64.deb
liblablgtk2-gl-ocaml_2.14.2+dfsg-1_amd64.deb
to main/l/lablgtk2/liblablgtk2-gl-ocaml_2.14.2+dfsg-1_amd64.deb
liblablgtk2-gnome-ocaml-dev_2.14.2+dfsg-1_amd64.deb
to main/l/lablgtk2/liblablgtk2-gnome-ocaml-dev_2.14.2+dfsg-1_amd64.deb
liblablgtk2-gnome-ocaml_2.14.2+dfsg-1_amd64.deb
to main/l/lablgtk2/liblablgtk2-gnome-ocaml_2.14.2+dfsg-1_amd64.deb
liblablgtk2-ocaml-dev_2.14.2+dfsg-1_amd64.deb
to main/l/lablgtk2/liblablgtk2-ocaml-dev_2.14.2+dfsg-1_amd64.deb
liblablgtk2-ocaml-doc_2.14.2+dfsg-1_all.deb
to main/l/lablgtk2/liblablgtk2-ocaml-doc_2.14.2+dfsg-1_all.deb
liblablgtk2-ocaml_2.14.2+dfsg-1_amd64.deb
to main/l/lablgtk2/liblablgtk2-ocaml_2.14.2+dfsg-1_amd64.deb
liblablgtksourceview2-ocaml-dev_2.14.2+dfsg-1_amd64.deb
to main/l/lablgtk2/liblablgtksourceview2-ocaml-dev_2.14.2+dfsg-1_amd64.deb
liblablgtksourceview2-ocaml_2.14.2+dfsg-1_amd64.deb
to main/l/lablgtk2/liblablgtksourceview2-ocaml_2.14.2+dfsg-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 585455@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 lablgtk2 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: Sat, 19 Feb 2011 06:57:19 +0100
Source: lablgtk2
Binary: liblablgtk2-ocaml liblablgtk2-gl-ocaml liblablgtk2-gnome-ocaml liblablgtksourceview2-ocaml liblablgtk2-ocaml-dev liblablgtk2-gl-ocaml-dev liblablgtk2-gnome-ocaml-dev liblablgtksourceview2-ocaml-dev liblablgtk2-ocaml-doc
Architecture: source amd64 all
Version: 2.14.2+dfsg-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Description:
liblablgtk2-gl-ocaml - runtime libraries for OCaml bindings to GtkGL
liblablgtk2-gl-ocaml-dev - OCaml bindings to GtkGL
liblablgtk2-gnome-ocaml - runtime libraries for OCaml bindings to GNOME
liblablgtk2-gnome-ocaml-dev - OCaml bindings to GNOME
liblablgtk2-ocaml - runtime libraries for OCaml bindings for GTK+ version 2
liblablgtk2-ocaml-dev - OCaml bindings to Gtk+ version 2
liblablgtk2-ocaml-doc - OCaml bindings to Gtk+ version 2 (documentation)
liblablgtksourceview2-ocaml - OCaml bindings for libgtksourceview2 (runtime)
liblablgtksourceview2-ocaml-dev - OCaml bindings for libgtksourceview2, a source editor GTK+ widget
Closes: 585455
Changes:
lablgtk2 (2.14.2+dfsg-1) unstable; urgency=low
.
* New upstream release (Closes: #585455)
- remove Patch-to-build-with-GtkSourceView-2.0 (applied upstream)
* debian/control:
- remove Stefano from Uploaders
- bump build-dependency to libgtksourceview2.0-dev
- bump Standards-Version to 3.9.1
* Bump debhelper compat level to 8
* Switch source package format to 3.0 (quilt)
Checksums-Sha1:
d891ff0955ac62c64d63ff73deb8c676e24ad146 2577 lablgtk2_2.14.2+dfsg-1.dsc
1c3663f76b28d0fb2e9cc799cab3d61250333012 723320 lablgtk2_2.14.2+dfsg.orig.tar.gz
ed6a06bf8c32f27bb9762fdb65baf50a7b16171a 10377 lablgtk2_2.14.2+dfsg-1.debian.tar.gz
20e2fbe0a2f4b1c5be670738648305944c32acc1 1028884 liblablgtk2-ocaml_2.14.2+dfsg-1_amd64.deb
81996965495ca8b06264881b79d258a98a07adc0 41638 liblablgtk2-gl-ocaml_2.14.2+dfsg-1_amd64.deb
cfd3a8433cd233bc0d950d76b549f881a41cbba6 126298 liblablgtk2-gnome-ocaml_2.14.2+dfsg-1_amd64.deb
791946ff21ddea885af4e1bb8d892f5a5eb43c0c 88992 liblablgtksourceview2-ocaml_2.14.2+dfsg-1_amd64.deb
ca249688cb618a00a06fdcce5c5bdb45d1e8f5ad 2058998 liblablgtk2-ocaml-dev_2.14.2+dfsg-1_amd64.deb
c9ed34c5b22e07c8fb13cec543a7ee8b7f6b6605 41882 liblablgtk2-gl-ocaml-dev_2.14.2+dfsg-1_amd64.deb
b4be59f38ad956a6955e3c1d574b24ac752f9a0d 164278 liblablgtk2-gnome-ocaml-dev_2.14.2+dfsg-1_amd64.deb
b02108005df8f1047e542447e16f2ab33bb168cc 112108 liblablgtksourceview2-ocaml-dev_2.14.2+dfsg-1_amd64.deb
7ec974a1e90a79e90289cb8cb51094bb36e18122 1533698 liblablgtk2-ocaml-doc_2.14.2+dfsg-1_all.deb
Checksums-Sha256:
5634618e3245410d0c778d717afa763616f5f559d3d7549a4f7c36cdf8dad355 2577 lablgtk2_2.14.2+dfsg-1.dsc
3423bb3343220351edd6cecb8bb9beacc02fe3992721c2bace355d4017366165 723320 lablgtk2_2.14.2+dfsg.orig.tar.gz
e27905a6d681d22ef16ef284d7564f8b740dc55acd947bd5f7c4d60d8e7193eb 10377 lablgtk2_2.14.2+dfsg-1.debian.tar.gz
cd4dd64c3f18e57ba7369e5c37526fa6b4baa5ee1665666dceac8e355a7772bc 1028884 liblablgtk2-ocaml_2.14.2+dfsg-1_amd64.deb
09b5f76b6119567ae3e589a7b4a00a9cc01b9615abb9412cee8980da527008cf 41638 liblablgtk2-gl-ocaml_2.14.2+dfsg-1_amd64.deb
d5f077d650dca30f155ef5316faad1eda1e1451e200adfd435bd212ea13518aa 126298 liblablgtk2-gnome-ocaml_2.14.2+dfsg-1_amd64.deb
fbf538bb0ad5f85a6721631df2fb0bc6e341815a857598335e7a255d3d6240d7 88992 liblablgtksourceview2-ocaml_2.14.2+dfsg-1_amd64.deb
d678e1c63349af249456c0d8bdec050e205954f011b7c0d9a09fb64153ebc02f 2058998 liblablgtk2-ocaml-dev_2.14.2+dfsg-1_amd64.deb
e51d99eeeed33fce57c253884651fe0ec0a8393a20715302ed005a7712cf7936 41882 liblablgtk2-gl-ocaml-dev_2.14.2+dfsg-1_amd64.deb
36d7e9b457222f32d998f15a8e866836f6923f17b4a6e08611194d03eef1565d 164278 liblablgtk2-gnome-ocaml-dev_2.14.2+dfsg-1_amd64.deb
f28d5fcd0d62243b9e9f80b72d1fedc268a7c7e646b1e61eea759db687b98c73 112108 liblablgtksourceview2-ocaml-dev_2.14.2+dfsg-1_amd64.deb
723b6a8effe2faaf58dfe9e0a3b522e9e95e5461f013838fb149b835d0932b81 1533698 liblablgtk2-ocaml-doc_2.14.2+dfsg-1_all.deb
Files:
97e33b8d9c465edcaffa0170e90b0403 2577 ocaml optional lablgtk2_2.14.2+dfsg-1.dsc
413756c2fb952ffd91dd24871cf8f07b 723320 ocaml optional lablgtk2_2.14.2+dfsg.orig.tar.gz
86bab905f1293e46ead2e4561aa1430f 10377 ocaml optional lablgtk2_2.14.2+dfsg-1.debian.tar.gz
0dd571bdd6c69409d53885a5966e4ac2 1028884 ocaml optional liblablgtk2-ocaml_2.14.2+dfsg-1_amd64.deb
a01ff05fbb6821b64b154d24c51b6f5a 41638 ocaml optional liblablgtk2-gl-ocaml_2.14.2+dfsg-1_amd64.deb
1de9399d19f67494a21a6c74c54e7298 126298 ocaml optional liblablgtk2-gnome-ocaml_2.14.2+dfsg-1_amd64.deb
5048a2f1ce00781585b4532f3ab0c816 88992 ocaml optional liblablgtksourceview2-ocaml_2.14.2+dfsg-1_amd64.deb
a43d751304350dc2b47027c4d1f6ab4d 2058998 ocaml optional liblablgtk2-ocaml-dev_2.14.2+dfsg-1_amd64.deb
76575bc44d02f206c607439a67318bf6 41882 ocaml optional liblablgtk2-gl-ocaml-dev_2.14.2+dfsg-1_amd64.deb
fc2f73568e860b7e9e7267d274304126 164278 ocaml optional liblablgtk2-gnome-ocaml-dev_2.14.2+dfsg-1_amd64.deb
f518208b9f84266a22f427b815937d35 112108 ocaml optional liblablgtksourceview2-ocaml-dev_2.14.2+dfsg-1_amd64.deb
d926368862681a4736630c62d389150b 1533698 doc optional liblablgtk2-ocaml-doc_2.14.2+dfsg-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCgAGBQJNX2HhAAoJEHhT2k1JiBrTtAkQAJjzbOZ4laj97/sHMxSdYB3S
IPRj6B/C8tsgNyUndwndraCYHHvChkTl76fq7SyEmoepT38kghpaoYdGOta/hBlL
LY9dBrmGpRS1rFhkxglEl7UgFdMi+wLmmMUOQnfbNXJBZm3uRK4IZY3qQ3M1h40E
/0ieALUO7cnpttv32+6ZbojEilqu4hpD9HxHHr369MYKmy9M1OQdTvvwJEUF1qTt
D1Ty91wIZjifW5RDIGc6xrgPt3AH5Plyc0Y9cBxoHIL0BAsZaKeoKokDDRbfL+A2
yrxyfKxLPYZpz2gK3NDcvMEXFlbJNcOekc+Pu6lTDpq4RuBCEtm7jQPtRdTf1dOV
NWki6iY8jZDBjxFroUIJGQZxuQ07OV4QVdgE2uPcRoAkZWyQpuTz3dsYpH9I1JCl
VNtklTmOuBIi3cRlBYtkkh83xYJ/QfDV/CUvBfZN7E2zdW/C4jBKVlyH87k9ERmu
BGc+eW6kO6a5fGmi/syoRnbm0FN8ol7ccjH8FY1PchB11C95CSW4/O9q8i49ugbh
QBZlocyjhCePS+PKHrcsemsJTTvSZTdeWsQOT+lxuy037UsHZ3othht3Fjw8sLot
zGGYMhuxK5lZtt9oVrFR47iQytQHnl5DpOa+pEYxX083D9LjsXraOprpG+OaENV7
WcT9uUZuCNGDf7oPjnHi
=yCvS
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: