Bug#843020: marked as done (frama-c: FTBFS with ocaml 4.03)
Your message dated Thu, 27 Jul 2017 19:06:14 +0000
with message-id <E1dao6w-0004QB-Da@fasolo.debian.org>
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 owner@bugs.debian.org
immediately.)
--
843020: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=843020
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: submit@bugs.debian.org
- Subject: frama-c: FTBFS with ocaml 4.03
- From: Ralf Treinen <treinen@free.fr>
- Date: Thu, 3 Nov 2016 08:33:31 +0100
- Message-id: <20161103073331.tdmifus4u4g42m3r@seneca.home.org>
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 843020@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 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 ftpmaster@ftp-master.debian.org)
-----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 <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
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 ---
Reply to: