Bug#585459: marked as done (why: FTBFS with OCaml 3.12 because of changes in Map)
Your message dated Tue, 20 Jul 2010 18:29:07 +0000
with message-id <E1ObHYx-0006wv-HW@franck.debian.org>
and subject line Bug#585459: fixed in why 2.26+dfsg-2
has caused the Debian Bug report #585459,
regarding why: 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.)
--
585459: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=585459
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: Debian Bug Tracking System <submit@bugs.debian.org>
- Subject: why: FTBFS with OCaml 3.12 because of changes in Map
- From: Stéphane Glondu <glondu@debian.org>
- Date: Thu, 10 Jun 2010 19:02:40 +0200
- Message-id: <4C111AB0.6070309@debian.org>
Package: src:why
Version: 2.26+dfsg-1
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:
Ocamlopt c/cutil.ml
File "c/cutil.ml", line 81, characters 0-576:
Error: Signature mismatch:
Modules do not match:
sig
module M :
sig
type key = Int32.t
type 'a t = 'a Map.Make(Int32).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
val to32 : (int -> 'a) -> int32 -> 'a
type key = int
type 'a t = 'a M.t
val empty : 'a M.t
val is_empty : 'a M.t -> bool
val add : int -> 'a -> 'a M.t -> 'a M.t
val find : int -> 'a M.t -> 'a
val remove : int -> 'a M.t -> 'a M.t
val mem : int -> 'a M.t -> bool
val iter : (int -> 'a -> unit) -> 'a M.t -> unit
val fold : (int -> 'a -> 'b -> 'b) -> 'a M.t -> 'b -> 'b
val map : ('a -> 'b) -> 'a M.t -> 'b M.t
val mapi : (int -> 'a -> 'b) -> 'a M.t -> 'b M.t
val compare : ('a -> 'a -> int) -> 'a M.t -> 'a M.t -> int
val equal : ('a -> 'a -> bool) -> 'a M.t -> 'a M.t -> bool
end
is not included in
sig
type key = int
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]: *** [c/cutil.cmx] Error 2
The full build log is available at:
http://ocaml.debian.net/debian/ocaml3120dev26r10544/failures/why_2.26%2Bdfsg-1%2B3.12.0%2Bdev26%2B10544%2B1_amd64.build
Best regards,
--
Stéphane
--- End Message ---
--- Begin Message ---
Source: why
Source-Version: 2.26+dfsg-2
We believe that the bug you reported is fixed in the latest version of
why, which is due to be installed in the Debian FTP archive:
libwhy-coq_2.26+dfsg-2_all.deb
to main/w/why/libwhy-coq_2.26+dfsg-2_all.deb
why-examples_2.26+dfsg-2_all.deb
to main/w/why/why-examples_2.26+dfsg-2_all.deb
why_2.26+dfsg-2.debian.tar.gz
to main/w/why/why_2.26+dfsg-2.debian.tar.gz
why_2.26+dfsg-2.dsc
to main/w/why/why_2.26+dfsg-2.dsc
why_2.26+dfsg-2_i386.deb
to main/w/why/why_2.26+dfsg-2_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 585459@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Mehdi Dogguy <mehdi@debian.org> (supplier of updated why 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: SHA256
Format: 1.8
Date: Tue, 20 Jul 2010 19:35:51 +0200
Source: why
Binary: why why-examples libwhy-coq
Architecture: source i386 all
Version: 2.26+dfsg-2
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Mehdi Dogguy <mehdi@debian.org>
Description:
libwhy-coq - Why library for Coq
why - A software verification tool
why-examples - Examples of programs certified with Why
Closes: 585459
Changes:
why (2.26+dfsg-2) unstable; urgency=low
.
[ Stéphane Glondu ]
* Add 0006-Cope-with-OCaml-3.12-s-Map.patch (Closes: #585459)
.
[ Mehdi Dogguy ]
* Rebuild with Coq 8.2pl2
* Convert to 3.0 (quilt) source format.
* Bump standards version to 3.9.0, no changes needed.
* Bump minimum frama-c-base's version to 20100401+boron+dfsg-4~.
* Add "make" to runtime dependencies of Why.
Checksums-Sha1:
1f3365558299409d00d7bdb23eb1fa15d98ddc1e 2224 why_2.26+dfsg-2.dsc
16d40e2f8f045e0b7ea81077dd08aaaa6fce6ac2 10637 why_2.26+dfsg-2.debian.tar.gz
bf514e5f15e1842d400ef2f0d25423ccb66f0183 7155814 why_2.26+dfsg-2_i386.deb
f1ad2ce1c44eac2dc996b32d05c618e837dc3e2e 186046 why-examples_2.26+dfsg-2_all.deb
9479ff59cfe3a21fbf1f270b9a9c4efc0df0352a 509050 libwhy-coq_2.26+dfsg-2_all.deb
Checksums-Sha256:
6b6725ca4a6a299b617d2ae33a0858f87ea9e595934b73a98cd87be4a6c44934 2224 why_2.26+dfsg-2.dsc
ba7425547eb92a1522a7273cb489afbc8ae0c83dba43be21780d9bf294262873 10637 why_2.26+dfsg-2.debian.tar.gz
98096f6d9ff0cc3d7649f1d6c5d7173ef5978d7d0f174e0dfcf7eeb757c4f723 7155814 why_2.26+dfsg-2_i386.deb
044cccde7dc430b4736357f40f6aad88acb3bca6e1ca66c9bdecbbb73eca9aba 186046 why-examples_2.26+dfsg-2_all.deb
0009b969bcd8c972cad5fab1e51325a15152021b11272b5bdd43df7368396fd3 509050 libwhy-coq_2.26+dfsg-2_all.deb
Files:
416ed82e6da4ea481a9704e625b0f8dd 2224 math optional why_2.26+dfsg-2.dsc
398bd27c2a03574aa5ed12713ef51f26 10637 math optional why_2.26+dfsg-2.debian.tar.gz
d647039f2413286596befd76e3bc7920 7155814 math optional why_2.26+dfsg-2_i386.deb
9b2f7cc0b3adeba021ffe41db4f5d3a5 186046 doc optional why-examples_2.26+dfsg-2_all.deb
daafe18787cdeb0f38b5808a2ba23ec8 509050 libdevel optional libwhy-coq_2.26+dfsg-2_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCAAGBQJMReHUAAoJEDO+GgqMLtj/9qUP/29wsReHn5XOSXHe8FSUVGBi
pN4S7tHW+pQlft/oZV6CKD8mgwOAMN0Ww1Uht/SPAZqGXqKobw3yWuK469mg3i96
wXFZj3ggc5krQvtercvi1bYzSNiSg6cUjm9Pf+oveqM2djcPSCaXGw3T2eS19eCU
bm+iJlQACZwVG+CRvpVU12R4ZBekmyahoiYPmt/FInLbtkkPal7Its8uhyqp8PqK
rUE73BmZv+2mx3cxa+uxa2cQu40I9MaiKHGqqh21YZ49eBTzl1VZhgPRIURdVBFx
XPtTNDU89X1Bc95uwTByDRubz6d0MUUQVRBnshjN0e5aVvdbT+rUY+nLTbUrr82x
iwNDqXpRCt4sHu5NbirMq2xh5DASdjVRzuopGE5BRyPsYSmdXYG9m+f5A8H6qT+I
iQk47+kY5AFNL5AFkY2vGTLPMefXq5oaQPogBT2w6nZnieSuvCQ2QYzgZUgLKB9y
Jp87xXJ6FQGZfJcCV+7vJNfhVE+42nWvj+/KvXpiCFr0kqlDWHaL2m7JOpdjvjbU
9CUDeWbwtd1VSadkNHmBz8c0lIJO9r4wDiR/0wLhj7b4qq9bDYfXDzK8n312wgU8
gfRtqVEwEZQSdwIw9qQEoBEkHcAn2wRU37QEzLoGmhi3fcR2h2UitTb8kRjHYk0k
Y4vbPYZQWDT96XSI1YqW
=nEtD
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: