Bug#326740: marked as done (coq: FTBFS: "Type ... is not compatible with type ...")
Your message dated Wed, 07 Sep 2005 13:47:11 -0700
with message-id <E1ED6p5-0005Xk-00@spohr.debian.org>
and subject line Bug#326740: fixed in coq 8.0pl2-3
has caused the attached Bug report 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 I am
talking about this indicates a serious mail system misconfiguration
somewhere. Please contact me immediately.)
Debian bug tracking system administrator
(administrator, Debian Bugs database)
--------------------------------------
Received: (at submit) by bugs.debian.org; 5 Sep 2005 12:26:22 +0000
>From aj@andaco.de Mon Sep 05 05:26:22 2005
Return-path: <aj@andaco.de>
Received: from c203105.adsl.hansenet.de (localhost.localdomain) [213.39.203.105]
by spohr.debian.org with esmtp (Exim 3.36 1 (Debian))
id 1ECG3K-0007GK-00; Mon, 05 Sep 2005 05:26:22 -0700
Received: from aj by localhost.localdomain with local (Exim 4.52)
id 1ECG3I-0003Kg-8o; Mon, 05 Sep 2005 14:26:20 +0200
To: Debian Bug Tracking System <submit@bugs.debian.org>
From: Andreas Jochens <aj@andaco.de>
Subject: coq: FTBFS: "Type ... is not compatible with type ..."
Message-Id: <[🔎] E1ECG3I-0003Kg-8o@localhost.localdomain>
Date: Mon, 05 Sep 2005 14:26:20 +0200
Delivered-To: submit@bugs.debian.org
X-Spam-Checker-Version: SpamAssassin 2.60-bugs.debian.org_2005_01_02
(1.212-2003-09-23-exp) on spohr.debian.org
X-Spam-Level:
X-Spam-Status: No, hits=-8.0 required=4.0 tests=BAYES_00,HAS_PACKAGE
autolearn=no version=2.60-bugs.debian.org_2005_01_02
Package: coq
Version: 8.0pl2-2
Severity: serious
When building 'coq' on unstable, I get the following error:
method set_pixels_inside_wrap : int -> unit
method set_right_margin : int -> unit
method set_wrap_mode : Gtk.Tags.wrap_mode -> unit
method starts_display_line : GText.iter -> bool
method undo : bool
method visible_rect : Gdk.Rectangle.t
method window_to_buffer_coords :
tag:Gtk.Tags.text_window_type -> x:int -> y:int -> int * int
method wrap_mode : Gtk.Tags.wrap_mode
end
The instance variable obj has type
([> Gtk.text_view ] as 'a) Gtk.obj = 'a Gobject.obj
but is expected to have type
Gtk.text_view Gtk.obj = Gtk.text_view Gobject.obj
Type 'a = [> `container | `gtk | `textview | `widget ]
is not compatible with type
Gtk.text_view = [ `container | `gtk | `textview | `widget ]
make[1]: *** [ide/undo.cmo] Error 2
make[1]: Leaving directory `/coq-8.0pl2'
make: *** [build-stamp] Error 2
Regards
Andreas Jochens
---------------------------------------
Received: (at 326740-close) by bugs.debian.org; 7 Sep 2005 20:51:15 +0000
>From katie@spohr.debian.org Wed Sep 07 13:51:15 2005
Return-path: <katie@spohr.debian.org>
Received: from katie by spohr.debian.org with local (Exim 3.36 1 (Debian))
id 1ED6p5-0005Xk-00; Wed, 07 Sep 2005 13:47:11 -0700
From: Samuel Mimram <smimram@debian.org>
To: 326740-close@bugs.debian.org
X-Katie: $Revision: 1.56 $
Subject: Bug#326740: fixed in coq 8.0pl2-3
Message-Id: <E1ED6p5-0005Xk-00@spohr.debian.org>
Sender: Archive Administrator <katie@spohr.debian.org>
Date: Wed, 07 Sep 2005 13:47:11 -0700
Delivered-To: 326740-close@bugs.debian.org
X-Spam-Checker-Version: SpamAssassin 2.60-bugs.debian.org_2005_01_02
(1.212-2003-09-23-exp) on spohr.debian.org
X-Spam-Level:
X-Spam-Status: No, hits=-6.0 required=4.0 tests=BAYES_00,HAS_BUG_NUMBER
autolearn=no version=2.60-bugs.debian.org_2005_01_02
Source: coq
Source-Version: 8.0pl2-3
We believe that the bug you reported is fixed in the latest version of
coq, which is due to be installed in the Debian FTP archive:
coq-libs_8.0pl2-3_all.deb
to pool/main/c/coq/coq-libs_8.0pl2-3_all.deb
coq7-libs_8.0pl2-3_all.deb
to pool/main/c/coq/coq7-libs_8.0pl2-3_all.deb
coq_8.0pl2-3.diff.gz
to pool/main/c/coq/coq_8.0pl2-3.diff.gz
coq_8.0pl2-3.dsc
to pool/main/c/coq/coq_8.0pl2-3.dsc
coq_8.0pl2-3_i386.deb
to pool/main/c/coq/coq_8.0pl2-3_i386.deb
coqide_8.0pl2-3_i386.deb
to pool/main/c/coq/coqide_8.0pl2-3_i386.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 326740@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Samuel Mimram <smimram@debian.org> (supplier of updated coq 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.7
Date: Wed, 7 Sep 2005 21:26:36 +0200
Source: coq
Binary: coq7-libs coqide coq-libs coq
Architecture: source all i386
Version: 8.0pl2-3
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Samuel Mimram <smimram@debian.org>
Description:
coq - proof assistant for higher-order logic (toplevel and compiler)
coq-libs - proof assistant for higher-order logic (theories)
coq7-libs - proof assistant for higher-order logic (Coq 7 theories)
coqide - proof assistant for higher-order logic (gtk interface)
Closes: 326740
Changes:
coq (8.0pl2-3) unstable; urgency=low
.
* Added text_view_typing_error patch to avoid a typing error and solve the
FTBFS, closes: #326740.
* Added forgotten call to dh_installmenu.
Files:
6b7db278bcd6ffe325bcaa95753bda55 884 math optional coq_8.0pl2-3.dsc
e9adb47ba07f271dd85213033933bf14 11674 math optional coq_8.0pl2-3.diff.gz
8be6675783068345962f0ecee5efce30 3736032 math optional coq-libs_8.0pl2-3_all.deb
54f185ee4da87584a7ddb7aff954b0be 3811418 math optional coq7-libs_8.0pl2-3_all.deb
f6f5dfcb44bcbb86884dd52338285238 6044906 math optional coq_8.0pl2-3_i386.deb
315ecbec74d3e6716e55fb5cd34911f0 4066762 math optional coqide_8.0pl2-3_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.1 (GNU/Linux)
iD8DBQFDH0xwIae1O4AJae8RAlxvAKCFInlXyZynyQ+z7wMOeHVAwmDT0gCfaxHl
BcU0W8S3mkIdHxD5Gmfd3Rs=
=hMC2
-----END PGP SIGNATURE-----
Reply to: