Your message dated Thu, 27 Jul 2017 19:06:14 +0000 with message-id <[email protected]> and subject line Bug#843020: fixed in frama-c 20161101+silicon+dfsg-6 has caused the Debian Bug report #843020, regarding frama-c: FTBFS with ocaml 4.03 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 [email protected] immediately.) -- 843020: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=843020 Debian Bug Tracking System Contact [email protected] with problems
--- Begin Message ---Source: frama-c Version: 20151002+magnesium+dfsg-1 Severity: important Hi. frama-c magnesium fails to build with ocaml 4.03, which should be uploaded to sid very soon: File "src/plugins/wp/wpo.ml", line 1: Error: The implementation src/plugins/wp/wpo.ml does not match the interface src/plugins/wp/wpo.cmi: ... In module Gmap: The value `union' is required but not provided share/Makefile.generic:77: recipe for target 'src/plugins/wp/wpo.cmo' failed make[1]: *** [src/plugins/wp/wpo.cmo] Error 2 Note that upstream has released a new version Aluminium-20160501, which might solve the problem (I haven't checked, yet). -Ralf.
--- End Message ---
--- Begin Message ---Source: frama-c Source-Version: 20161101+silicon+dfsg-6 We believe that the bug you reported is fixed in the latest version of frama-c, which is due to be installed in the Debian FTP archive. 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 [email protected], and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Stéphane Glondu <[email protected]> (supplier of updated frama-c 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 [email protected]) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 27 Jul 2017 19:03:40 +0200 Source: frama-c Binary: frama-c frama-c-base Architecture: source amd64 Version: 20161101+silicon+dfsg-6 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: Stéphane Glondu <[email protected]> Description: frama-c - Platform dedicated to the analysis of source code written in C frama-c-base - Platform dedicated to the analysis of source code written in C (w Closes: 843020 Changes: frama-c (20161101+silicon+dfsg-6) unstable; urgency=medium . * Team upload * Fix FTBFS with OCaml 4.05.0 (Closes: #843020) Checksums-Sha1: 01c57b0e6d1201fa162f6d7b203ae54cbba7c679 2383 frama-c_20161101+silicon+dfsg-6.dsc f6e0da2dbcb071585492db291f0a598a01b139a3 27652 frama-c_20161101+silicon+dfsg-6.debian.tar.xz 6e45b65c2a2d15c926e65529fb0f6102b9ae6633 1061764 frama-c-base-dbgsym_20161101+silicon+dfsg-6_amd64.deb 49a07f00d68cff3ea707c306736182e2a686eb97 20012008 frama-c-base_20161101+silicon+dfsg-6_amd64.deb 653e5592c9c3f983d62fc2d6fbd71a23e2848eb1 1098488 frama-c-dbgsym_20161101+silicon+dfsg-6_amd64.deb d3c11c53675ebc121977026c5fe59eba4fd12582 13740 frama-c_20161101+silicon+dfsg-6_amd64.buildinfo 23086152dfd4b756f6b690ad9cc0afe524a4f734 10630874 frama-c_20161101+silicon+dfsg-6_amd64.deb Checksums-Sha256: ffaf3b390f68c97cb2c159dfaef26e4805b932fef2f98706a7f22055ef3645e9 2383 frama-c_20161101+silicon+dfsg-6.dsc 60eb36cd00aede7a82f17aa8285beb25df89b67bf00ef5ee32f5209a0c90e260 27652 frama-c_20161101+silicon+dfsg-6.debian.tar.xz 6f96aacccaad3f4176305f02b2ea51e88e56c836c26eacbcd87ec90b90f2709f 1061764 frama-c-base-dbgsym_20161101+silicon+dfsg-6_amd64.deb 4e2e708b4ea9a5879c3c612fe8ffad3178078f51211ea96f0ca07ae4102f5273 20012008 frama-c-base_20161101+silicon+dfsg-6_amd64.deb 5d887505c41524fc6870619d57d04c68a252d0e8ef521c22bf617afc7de2951e 1098488 frama-c-dbgsym_20161101+silicon+dfsg-6_amd64.deb 4cdb0febaa4478c5b70708d287aec945c307e7debcc3ac02c7a7f1bb4a869e1c 13740 frama-c_20161101+silicon+dfsg-6_amd64.buildinfo 04695fa7854471219663a169218ffc78718511c9864f24fb53db74a326e27af5 10630874 frama-c_20161101+silicon+dfsg-6_amd64.deb Files: c754649936251165f5cacd673216bb20 2383 devel optional frama-c_20161101+silicon+dfsg-6.dsc 67ea8d97e5317016ad06ffa744b7add8 27652 devel optional frama-c_20161101+silicon+dfsg-6.debian.tar.xz 4cee2f13f1774cd1cf0bf4567f24d943 1061764 debug extra frama-c-base-dbgsym_20161101+silicon+dfsg-6_amd64.deb fd8147e88a910bf4cf7f8378d1a44c8d 20012008 devel optional frama-c-base_20161101+silicon+dfsg-6_amd64.deb 0d90b548d2c052149cd08840d266c27e 1098488 debug extra frama-c-dbgsym_20161101+silicon+dfsg-6_amd64.deb 499bd6eb84171a15b3618cf395c1515c 13740 devel optional frama-c_20161101+silicon+dfsg-6_amd64.buildinfo 64920a1bf74b6134df263452f1058eca 10630874 devel optional frama-c_20161101+silicon+dfsg-6_amd64.deb -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEWOsJmcZOiX7olLgDeFPaTUmIGtMFAll6NYEACgkQeFPaTUmI GtOswQ/+Ksk7Px1dtbFokeeFrQiiXs2KR1/pKlQVANBcsRPe9TQv7ULcwbVof4fc OUadwFzpeaVyEF+o0FlVRz1xGjPtORISVBUDI3XPJGe+x23kFJvl3bm5mBeX3Jib n/J0z4TOP7PpQVGeIF44MVuoFvJHYDdWdkhppEtvv9Yg6VQsniyDRlVC/CGDNuhh QQ/kHqL4S9NLptZaxp9IMHwHKcC5tHnhGV7sAqabuvJUnMPQV38I2F12O9/sMIU/ Kd2zi1GvxzD5xgFw2MdjDraUIs3buHY75vaRpTJ2JQ29Kmn/Ne3B3heEP79lE3fG bKJBjvSrVsjJhq5BYTmUK10oxNjY4RJgBF/6/hSwXhje7uJf7c8PX7vm20rJtXid 8yBfFdZOO0/x7y0Pr6UMxwynjEonOeo9DrCsyKaOWo0RqYfqSmipE1YLwhM9RDKQ hE3Aua0h7Hu4FUxtwJinNArjOUfYb0jpCTQac4Es5Uo3iphxbJwFlshHyyT/0wfm sn9vPX3I7YMuTV2PKMLZPEoqWtZzx3zh9JP17baAYIyxLxTqEq/nMO7oblp/D3GG P0H6vur3djiRSB0DirNwyMDkF3YU0l6DGuEKOvpXgS1RAxY6NJzn2AIfJ9OElb4t jgDe70UQZvP3O4pFg5WjCeLV4ewMcnX9aLa2GuDwWKTaONyXTOA= =RZwN -----END PGP SIGNATURE-----
--- End Message ---
