Bug#585453: marked as done (unison: FTBFS with OCaml 3.12 because of changes in Map)
Your message dated Thu, 10 Feb 2011 17:27:10 +0000
with message-id <E1PnaIQ-0004Sd-5D@franck.debian.org>
and subject line Bug#585453: fixed in unison2.27.57 2.27.57-3
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 ---
- To: Debian Bug Tracking System <submit@bugs.debian.org>
- Subject: unison: FTBFS with OCaml 3.12 because of changes in Map
- From: Stéphane Glondu <glondu@debian.org>
- Date: Thu, 10 Jun 2010 18:49:40 +0200
- Message-id: <4C1117A4.4010604@debian.org>
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: unison2.27.57
Source-Version: 2.27.57-3
We believe that the bug you reported is fixed in the latest version of
unison2.27.57, which is due to be installed in the Debian FTP archive:
unison2.27.57-gtk_2.27.57-3_amd64.deb
to main/u/unison2.27.57/unison2.27.57-gtk_2.27.57-3_amd64.deb
unison2.27.57_2.27.57-3.debian.tar.gz
to main/u/unison2.27.57/unison2.27.57_2.27.57-3.debian.tar.gz
unison2.27.57_2.27.57-3.dsc
to main/u/unison2.27.57/unison2.27.57_2.27.57-3.dsc
unison2.27.57_2.27.57-3_amd64.deb
to main/u/unison2.27.57/unison2.27.57_2.27.57-3_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.
Sylvain Le Gall <gildor@debian.org> (supplier of updated unison2.27.57 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 14:47:54 +0100
Source: unison2.27.57
Binary: unison2.27.57 unison2.27.57-gtk
Architecture: source amd64
Version: 2.27.57-3
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Sylvain Le Gall <gildor@debian.org>
Description:
unison2.27.57 - A file-synchronization tool for Unix and Windows
unison2.27.57-gtk - A file-synchronization tool for Unix and Windows with GTK+ interf
Closes: 585453
Changes:
unison2.27.57 (2.27.57-3) unstable; urgency=low
.
[ Stéphane Glondu ]
* 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
.
[ Sylvain Le Gall ]
* Backup files changed during build (lwt/depend, ubase/depend)
Checksums-Sha1:
8304bd88ec71031bd357acb4f9a7b01ead4fbad8 2134 unison2.27.57_2.27.57-3.dsc
3bc31588b17ee565bedc1084ec2c3180e51120d6 16351 unison2.27.57_2.27.57-3.debian.tar.gz
8021be44acd018abcc42c53f0741300c89efb703 628264 unison2.27.57_2.27.57-3_amd64.deb
72d939b60ae29bc1531b85c0288560c298f63f6b 1161432 unison2.27.57-gtk_2.27.57-3_amd64.deb
Checksums-Sha256:
d5dcb8129b015a0bb58134ada01c9f14c32e11ae3e46f5605726a4c9225e3cf1 2134 unison2.27.57_2.27.57-3.dsc
f53cad5e26b6b62e6fb1239416648b007ac50ca53f112ba28f22e2bb110f8e6c 16351 unison2.27.57_2.27.57-3.debian.tar.gz
f5b6dca51aed4504bff76b446e0511d44809453b848ea62c472a05129dd15246 628264 unison2.27.57_2.27.57-3_amd64.deb
9f07656e56d9beb2844a859411638e1f646411f042c71bb598edee8c33521ac2 1161432 unison2.27.57-gtk_2.27.57-3_amd64.deb
Files:
1cf0e350be6fbb71b4d3ed041a80697f 2134 utils optional unison2.27.57_2.27.57-3.dsc
56be42acd003276a2d6755c797e315c0 16351 utils optional unison2.27.57_2.27.57-3.debian.tar.gz
32e1328683d82065ead646f6b5e33bda 628264 utils optional unison2.27.57_2.27.57-3_amd64.deb
aff5afc8abf5d38efbff900a8a36e8b3 1161432 utils optional unison2.27.57-gtk_2.27.57-3_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCgAGBQJNU+1oAAoJEHhT2k1JiBrTZEoQAIQZ2Xzf9PiuEPmbPOMJi5fZ
vjtmToKYJTCYAwUEyxEDx6EFNoRrUMctqGj81e2pxcld+9K9Lj/nHIYXLS4itOGs
s5vhCDYuKxzGsbKiijJ2YUiG55J+WH5DslMjmgqaEF5afSX27CbtTPBoq/YvY0xC
L6HU9ySPogp1VUGTc86ziSTC28axvghzkDM3GQOt7HMorlZnOOLHzlh3PAxQhPos
A4HsZp0XT9rKm+gAH6PhUsZn0bAn2quIuP1K37dYLxMSK9KLE6jegwJ0zgWc61Ch
CvgkMC3OJg6Evkod5UtoOAgCXyOzhba3AEIb26b/DFrS3eq1KoQZ43yxk/QDdsVw
KRTkU8yyKuCVw5IrhAYVp7516pUUeKCJJYrHe4egdiZWRhuw3DQIlIcCgxPacDWb
SAcK/MKpGn5/PXYz9pRrm/lVMBQ64Esmxpq8rnvNmSRjvL0ThyJNx/bCMdwn2AZl
fuAWHkidGCBvtO5QtngSBz5SgvaFp+hX78jkGR7niyxYihONk92W7uhYle3U43ft
+wpep69g61a7j4axbl4qqi+teF283nqG3KKXvGZntpQgNZh+twLO6JlPHXbrkTXw
CyGENwjBH21/aG+qInJW+jZ5cI5kVW1Ua3UhJ9nD3LaXVWFPaVzT0H+6JXihRZiM
7r2n8Bd3oE8cxcuhA8/a
=GmSv
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: