--- Begin Message ---
Source: frama-c
Version: 20130601+fluorine3+dfsg-2
Severity: serious
Tags: jessie sid
User: debian-qa@lists.debian.org
Usertags: qa-ftbfs-20140426 qa-ftbfs
Justification: FTBFS on amd64
Hi,
During a rebuild of all packages in sid, your package failed to build on
amd64.
Relevant part (hopefully):
>
> Warning 41: Never_tried belongs to several types: consolidated_status status
> The first one was selected. Please disambiguate if this is wrong.
> File "src/logic/property_status.ml", line 839, characters 9-20:
> Warning 41: Never_tried belongs to several types: consolidated_status status
> The first one was selected. Please disambiguate if this is wrong.
> File "src/logic/property_status.ml", line 881, characters 9-20:
> Warning 41: Never_tried belongs to several types: consolidated_status status
> The first one was selected. Please disambiguate if this is wrong.
> File "src/logic/property_status.ml", line 964, characters 6-17:
> Warning 41: Never_tried belongs to several types: consolidated_status status
> The first one was selected. Please disambiguate if this is wrong.
> File "src/logic/property_status.ml", line 1235, characters 35-46:
> Warning 41: Never_tried belongs to several types: t status
> The first one was selected. Please disambiguate if this is wrong.
> File "src/logic/property_status.ml", line 1392, characters 4-1999:
> Error: Signature mismatch:
> ...
> Values do not match:
> val vertex_attributes :
> v ->
> [> `Color of int
> | `Label of string
> | `Shape of [> `Box | `Diamond ]
> | `Style of [> `Bold | `Filled ]
> | `Width of float ]
> list
> is not included in
> val vertex_attributes :
> V.t -> Graph.Graphviz.DotAttributes.vertex list
> File "src/logic/property_status.ml", line 1425, characters 16-33:
> Actual declaration
> make[1]: *** [src/logic/property_status.cmo] Error 2
The full build log is available from:
http://aws-logs.debian.net/ftbfs-logs/2014/04/26/frama-c_20130601+fluorine3+dfsg-2_unstable.log
A list of current common problems and possible solutions is available at
http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute!
About the archive rebuild: The rebuild was done on EC2 VM instances from
Amazon Web Services, using a clean, minimal and up-to-date chroot. Every
failed build was retried once to eliminate random failures.
--- End Message ---
--- Begin Message ---
Source: frama-c
Source-Version: 20140301+neon+dfsg-1
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 746091@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 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: SHA256
Format: 1.8
Date: Sun, 27 Apr 2014 21:41:47 +0200
Source: frama-c
Binary: frama-c frama-c-base
Architecture: source amd64
Version: 20140301+neon+dfsg-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Mehdi Dogguy <mehdi@debian.org>
Description:
frama-c - Framework for source code analysis of software written in C
frama-c-base - Framework for C source code analysis (without gui)
Closes: 746091
Changes:
frama-c (20140301+neon+dfsg-1) unstable; urgency=medium
.
* New upstream release.
- Refresh patches
- Remove 0005-Fix-compilation-with-OCaml-4.01.0.patch
- Add 0004-Port-to-OCamlgraph-1.8.5.patch (Closes: #746091)
* Bump build-dependency of Ocamlgraph to 1.8.5~.
* Pass --enabe-zarith to configure script instead of patching it.
- Remove 0004-Fix-auto-detection-of-ocaml-zarith.patch.
Checksums-Sha1:
097689952a0140667b2fb948ffa74cb449aff355 2320 frama-c_20140301+neon+dfsg-1.dsc
a46275e19728887bd1295c209448f29942b14b34 2830503 frama-c_20140301+neon+dfsg.orig.tar.gz
eff5257e77651a7f7fecfade649f50e1c9ff92be 23456 frama-c_20140301+neon+dfsg-1.debian.tar.xz
1afdcab4a6128f988e16f96d7e261ef7c73bb066 3653822 frama-c_20140301+neon+dfsg-1_amd64.deb
25cdd1af4bd094395bbf5d5edfd19f7a60dc7a59 19071856 frama-c-base_20140301+neon+dfsg-1_amd64.deb
Checksums-Sha256:
81afe48b9da0ded5c337e542e7d74bc74d1dbebee5dac0ca07bd122bc3cf7645 2320 frama-c_20140301+neon+dfsg-1.dsc
464bb40ccec8eff4056d4f522aed9fd46cd02fd50fd1021cc9c4ea514b3c7361 2830503 frama-c_20140301+neon+dfsg.orig.tar.gz
71ee22829100751220232558800ec420b33e12611f58534925e77f98977ccaf0 23456 frama-c_20140301+neon+dfsg-1.debian.tar.xz
5db9bbf0c0ba96adbd6efacc27378f333d82069a42eb6e93f6e7fc60328b79eb 3653822 frama-c_20140301+neon+dfsg-1_amd64.deb
72607598414beb9d90d901356a68179824fe468cd70ba7d4d17be1e4b4cb3fd4 19071856 frama-c-base_20140301+neon+dfsg-1_amd64.deb
Files:
c5224a368db3db4b73745a3abb216096 3653822 devel optional frama-c_20140301+neon+dfsg-1_amd64.deb
e72111d5a955e1522a4bbc325de71549 19071856 devel optional frama-c-base_20140301+neon+dfsg-1_amd64.deb
07fbdfcbbb5a8fea6cdc2278098c174b 2320 devel optional frama-c_20140301+neon+dfsg-1.dsc
5186fb142b9d8e614cc2e83621227b39 2830503 devel optional frama-c_20140301+neon+dfsg.orig.tar.gz
e8a480a100760e58f60d0876c29c96ba 23456 devel optional frama-c_20140301+neon+dfsg-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCAAGBQJTXW0MAAoJEDO+GgqMLtj/VQ8P/A79cHt779JIH5lz060Qt5Uc
YhOY2W34yP+yAglL4foKhNMG5F+E7vCs/ZpfPTz4rKvlFPHGrSNc970N7RYX/gkC
pf6JDkzVQe8J+QOKCv8pzsXvmVrWn/pEb0vevKzB2pJ2xU3cUQlIE5N1og35ZW70
wJYAvv7+9fH43b7hBXDzIROUl1Sif2UUNYzCSDsKmBFmZzyOyiNL9MGDgWMFWmz3
IOLXKU8w9u15Kc9jhaXRxfxscQRH1ufs/XdzD2Y1VG9RSjL3ge6R1/wL9GeDeE9J
/CPi9gYinErNRvyPA56ZStpqUUApV4dNUy/sWIvCGk9/w6YGLs+WuG57c8uGXHY5
9EYyEHlzsiiK8LSUIPAI43sZ7v0+5kDUNZ3mLDLOllJHQGJ6W+jU2N09DfZVHEzl
HPpNBTWL9P59NRslYrghKCwgCDoksyxRlMVVwQXfyTOjNcbd30Las6LnLzGPjgay
4VUk71dFjTgAk/bNMkLxmufy2fPsC1UL/VtNLkyjKUiZ0jpPr047ggWsvstvmOPD
oThTbYMReGo+VFe1W0QToWdyWLPZR2hH7lB51QwsogchrUY5ECAzgBu6Uwy6Jby8
wLos7MaIb7TPUf6ztYxR8RYsYb/T1vm7L1p96Fsr7GjbFS48N1e8UE9aeEnmcnQV
JANBthQYT7hEyYDK9YzJ
=21zB
-----END PGP SIGNATURE-----
--- End Message ---