Source: frama-c Version: 20130601+fluorine3+dfsg-2 Severity: serious Tags: jessie sid User: [email protected] 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. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
