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

Bug#585453: marked as done (unison: FTBFS with OCaml 3.12 because of changes in Map)

Your message dated Thu, 10 Feb 2011 12:39:36 +0000
with message-id <E1PnVo8-0003e5-C3@franck.debian.org>
and subject line Bug#585453: fixed in unison 2.32.52-2
has caused the Debian Bug report #585453,
regarding unison: FTBFS with OCaml 3.12 because of changes in Map
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.)


-- 
585453: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=585453
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: src:unison
Version: 2.32.52-1
Severity: normal
User: debian-ocaml-maint@lists.debian.org
Usertags: ocaml312-ftbfs

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:

ocamlopt -I lwt -I ubase -c /tmp/unison-2.32.52/update.ml
File "/tmp/unison-2.32.52/update.ml", line 1, characters 0-1:
Error: The implementation /tmp/unison-2.32.52/update.ml
       does not match the interface update.cmi:
       Modules do not match:
         sig
           type key = Name.t
           type 'a t = 'a MyMap.Make(Name).t
           val empty : 'a t
           val is_empty : 'a t -> bool
           val add : key -> 'a -> 'a t -> 'a t
           val find : key -> 'a t -> 'a
           val findi : key -> 'a t -> key * 'a
           val remove : key -> 'a t -> 'a t
           val mem : key -> 'a t -> bool
           val iter : (key -> 'a -> unit) -> 'a t -> unit
           val map : ('a -> 'b) -> 'a t -> 'b t
           val mapi : (key -> 'a -> 'b) -> 'a t -> 'b t
           val mapii : (key -> 'a -> key * 'b) -> 'a t -> 'b t
           val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
           val compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int
           val equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
           val validate : 'a t -> [ `Duplicate of key | `Invalid | `Ok ]
         end
       is not included in
         sig
           type key = Name.t
           type +'a t
           val empty : 'a t
           val is_empty : 'a t -> bool
           val mem : key -> 'a t -> bool
           val add : key -> 'a -> 'a t -> 'a t
           val singleton : key -> 'a -> 'a t
           val remove : key -> 'a t -> 'a t
           val merge :
             (key -> 'a option -> 'b option -> 'c option) ->
             'a t -> 'b t -> 'c t
           val compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int
           val equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
           val iter : (key -> 'a -> unit) -> 'a t -> unit
           val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
           val for_all : (key -> 'a -> bool) -> 'a t -> bool
           val exists : (key -> 'a -> bool) -> 'a t -> bool
           val filter : (key -> 'a -> bool) -> 'a t -> 'a t
           val partition : (key -> 'a -> bool) -> 'a t -> 'a t * 'a t
           val cardinal : 'a t -> int
           val bindings : 'a t -> (key * 'a) list
           val min_binding : 'a t -> key * 'a
           val max_binding : 'a t -> key * 'a
           val choose : 'a t -> key * 'a
           val split : key -> 'a t -> 'a t * 'a option * 'a t
           val find : key -> 'a t -> 'a
           val map : ('a -> 'b) -> 'a t -> 'b t
           val mapi : (key -> 'a -> 'b) -> 'a t -> 'b t
         end
       The field `split' is required but not provided
       The field `choose' is required but not provided
       The field `max_binding' is required but not provided
       The field `min_binding' is required but not provided
       The field `bindings' is required but not provided
       The field `cardinal' is required but not provided
       The field `partition' is required but not provided
       The field `filter' is required but not provided
       The field `exists' is required but not provided
       The field `for_all' is required but not provided
       The field `merge' is required but not provided
       The field `singleton' is required but not provided
make[1]: *** [update.cmx] Error 2


The full build log is available at:


http://ocaml.debian.net/debian/ocaml3120dev26r10544/failures/unison_2.32.52-1%2B3.12.0%2Bdev26%2B10544%2B1_amd64.build


Best regards,

--
Stéphane

--- End Message ---
--- Begin Message --- 
Source: unison
Source-Version: 2.32.52-2

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

unison-gtk_2.32.52-2_amd64.deb
  to main/u/unison/unison-gtk_2.32.52-2_amd64.deb
unison_2.32.52-2.debian.tar.gz
  to main/u/unison/unison_2.32.52-2.debian.tar.gz
unison_2.32.52-2.dsc
  to main/u/unison/unison_2.32.52-2.dsc
unison_2.32.52-2_amd64.deb
  to main/u/unison/unison_2.32.52-2_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 585453@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 unison 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, 10 Feb 2011 12:21:24 +0100
Source: unison
Binary: unison unison-gtk
Architecture: source amd64
Version: 2.32.52-2
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Description: 
 unison     - A file-synchronization tool for Unix and Windows
 unison-gtk - A file-synchronization tool for Unix and Windows with GTK+ interf
Closes: 585453
Changes: 
 unison (2.32.52-2) unstable; urgency=low
 .
   * Team upload
   * Switch source package format to 3.0 (quilt)
   * Add patch to fix build with OCaml 3.12 (Closes: #585453)
   * Add "set -e" to maintainer scripts
   * Remove conflicts older than oldstable
   * Bump Standards-Version to 3.9.1
Checksums-Sha1: 
 1762f7527badc5ac307c3173b11b52e6b4c2a5cd 2071 unison_2.32.52-2.dsc
 c7ad9c2b642c76c81b1869a2573b4964a7f1ad7d 21658 unison_2.32.52-2.debian.tar.gz
 f45bd9aed856bc2afae77a611425cdf27db97381 692822 unison_2.32.52-2_amd64.deb
 145da488104f79fc9403a666da23067d14bb314d 1226380 unison-gtk_2.32.52-2_amd64.deb
Checksums-Sha256: 
 520510c429d491b47de3dc24117ff428e45a755ef060c849c99ea3e6d4be54dd 2071 unison_2.32.52-2.dsc
 b8ddaac2481a9ed33f12e475594f1778895020592e02f9a4e0def4bb0d6fd31e 21658 unison_2.32.52-2.debian.tar.gz
 dd6baa3f3893c77c3543a8d65a53db32d7f2632823f4b8a637a62d73fe7995c4 692822 unison_2.32.52-2_amd64.deb
 7629abdca7cf61f94eeef66463af41f0e331aa3e86452d0fa3df95c78be24b18 1226380 unison-gtk_2.32.52-2_amd64.deb
Files: 
 e28fbb99c20893be08810bfaffae0ec8 2071 utils optional unison_2.32.52-2.dsc
 bb91aa74b7b7a019ff0c132a98556471 21658 utils optional unison_2.32.52-2.debian.tar.gz
 d35ac15c2cc61fd0f0fc6c4365cf454f 692822 utils optional unison_2.32.52-2_amd64.deb
 9e934caae68e8f0f2c114d1f6b3a2a5a 1226380 utils optional unison-gtk_2.32.52-2_amd64.deb

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

iQIcBAEBCgAGBQJNU8u6AAoJEHhT2k1JiBrT3bwP/RcI4d44NLAXtbUsSR17YlO0
K7kOFV12nNE475u7K32bh4X+QCr0POyiQp2xwOapyDbMHoNZPFsOCGZbCmhkJ4Br
bbC9V6s5pqqLURM1bJda5JkpKtY+bph1yVm2woISuK5xbHq6L3iJcIObB60Qe+VR
PNG0fvOG3jN0wsq+TnQ9CYo8VZJHpvBGXCDyfeAuwRuV97ccCiMUv6uQF4tOcEXX
69inn4Dfe95LrrwKExy3dy7rfib2TG6KRyh0MbkVrjVlMg9avonZVMYFTDL3MBdN
/bJlNPM3zJ96Y/9eMEA41NUpkDD/J9IzAZNz5lPePSr9UisJbRrUKNTRQ9cFKqzf
WSs+Oa2WnKKhh1jzG07ZcFkSr9qfIxG+Gfkh5t8AXZHscv53FtPeix0rPJbRDmwc
yMJfk+O+WwCBMKfhNP0ZfpVWXaPjs8DTFuT4JkIe6hD+of9rVMyKi/ipdCX8gOjD
B18EDfbhkMy/YnvPIyoT0llkK+W/yp1aukbDLrRc/y8WItEGP5LeRJrfXMJ3vWl1
IJOKkxaNuIksm0AxC/8B7I8ygr4wB+zKM9v1m8m5yHEXOiPK8B81y4yyYnOyIxDV
ZxgkvtmzcFZKnvvbdZMVoSfjagUoqIktDUEqbrFhOP/p2vSJjv3yrcwIe5EEl18f
zSfn11vqOXRBZRU+qSYi
=EUEo
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: