Bug#743072: marked as done (alt-ergo: FTBFS: Error: Signature mismatch)
Your message dated Sun, 30 Mar 2014 21:18:57 +0000
with message-id <E1WUN85-0003p8-6h@franck.debian.org>
and subject line Bug#743072: fixed in alt-ergo 0.95.2-2
has caused the Debian Bug report #743072,
regarding alt-ergo: FTBFS: Error: Signature mismatch
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.)
--
743072: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=743072
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Source: alt-ergo
Version: 0.95.2-1
Severity: serious
Tags: jessie sid
User: debian-qa@lists.debian.org
Usertags: qa-ftbfs-20140329 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):
> ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/instantiation.mli
> ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/theories/instantiation.ml
> ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/custom_theory.mli
> ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/theories/custom_theory.ml
> ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/cc.mli
> ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/theories/cc.ml
> ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/sat/sat.mli
> ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/sat/sat.ml
> ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/preprocess/pruning.mli
> ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/preprocess/pruning.ml
> File "src/preprocess/pruning.ml", line 59, characters 3-349:
> Error: Signature mismatch:
> ...
> Values do not match:
> val vertex_attributes :
> HS.t -> Graph.Graphviz.DotAttributes.vertex list
> is not included in
> val vertex_attributes :
> V.t -> Graph.Graphviz.DotAttributes.vertex list
> File "src/preprocess/pruning.ml", line 64, characters 8-25:
> Actual declaration
> make[2]: *** [src/preprocess/pruning.cmx] Error 2
The full build log is available from:
http://aws-logs.debian.net/ftbfs-logs/2014/03/29/alt-ergo_0.95.2-1_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: alt-ergo
Source-Version: 0.95.2-2
We believe that the bug you reported is fixed in the latest version of
alt-ergo, 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 743072@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 alt-ergo 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, 30 Mar 2014 23:07:47 +0200
Source: alt-ergo
Binary: alt-ergo libalt-ergo-ocaml-dev
Architecture: source amd64
Version: 0.95.2-2
Distribution: sid
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Mehdi Dogguy <mehdi@debian.org>
Description:
alt-ergo - Automatic theorem prover dedicated to program verification
libalt-ergo-ocaml-dev - Theorem prover dedicated to program verification - libraries
Closes: 743072
Changes:
alt-ergo (0.95.2-2) sid; urgency=medium
.
* Port to OCamlgraph 1.8.4 (Closes: #743072)
- add 0002-Port-to-OCamlgraph-1.8.4.patch
Checksums-Sha1:
da6d156de079f42028beb3d921082ef3674b6825 2234 alt-ergo_0.95.2-2.dsc
15196ba55daa2dc4b4a02cd66d1b4f82b9a23a73 11476 alt-ergo_0.95.2-2.debian.tar.xz
fab6346d09a90a0c827485e4085e0c5a6e967c79 1577838 alt-ergo_0.95.2-2_amd64.deb
e7604ffaf013c138834c38a0710429bc6c86478d 716856 libalt-ergo-ocaml-dev_0.95.2-2_amd64.deb
Checksums-Sha256:
c389abae790f793dad86be4269097b88bc50e9d42357613e72494aa8a2ed6ff0 2234 alt-ergo_0.95.2-2.dsc
45295b974e6d2b65e23d2702f1260ed034e50d0b39d3f946522c7b1b4d271b72 11476 alt-ergo_0.95.2-2.debian.tar.xz
9b9a8498ab942fea8e71ce1da2a648f3385951b1ffbbfbe8ad7eeb4eb5ea79ed 1577838 alt-ergo_0.95.2-2_amd64.deb
7366dcfff1745d361cecdc00ba9f4ed77bd48d4b327b64274b2a99bbbd54fa48 716856 libalt-ergo-ocaml-dev_0.95.2-2_amd64.deb
Files:
7278436408524313a828827189073492 2234 math optional alt-ergo_0.95.2-2.dsc
a58b1a7bd4bbf12fb53002a65c0d502c 11476 math optional alt-ergo_0.95.2-2.debian.tar.xz
c5bb85d9fb467df57e0bd7e75acb2959 1577838 math optional alt-ergo_0.95.2-2_amd64.deb
563b7d171fefd50f8265c711074d7124 716856 ocaml optional libalt-ergo-ocaml-dev_0.95.2-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCAAGBQJTOImKAAoJEDO+GgqMLtj/Ab4QAM0I4oiVi5CvQRS1Uu+T429Y
ZVDw4LWfglHJVPKzgdr4jDdXk3O72/LaefutCdzDLT3KMMTVWHudZKTSAIsnZIZH
bL5fDrQkILNoi1fjdRpVdvvlDbGkM8al25krSU7kf1ZxgquJoGZ/atB9QsUQsdEK
YaEQjMHjYJN7ekuHmvieAAXxahgDJxt843rZOyao1URgCfPN926Xz8yGFJ1CV3os
8BylK+cj5YW25JDmikcqJt3lP+U6WSj3gPFqVUMgux03x/dOKaFoZRBjgQxWh6Ep
drwajYcH2nZ40E2wo2NFhQh23MDs/mwhT8SkPH4DPxsHuPxaf0t/htGNNtXFgLXO
ACqg/YxiSwpx4KgOEp92g3rI4ymO0aGnVqUmKulk76w+d3YY0+Zf1InRYzxJAf2f
Vl6FexZg/qpOOfg3pAuSVqC/s5T66igR5vlCbgn1aC073c28o1pzj8oCDzKUZK09
Zc2yyF7Qmkf8FQOHKDcW/J3E7Ku3To0LyOrVfHp/KgRatP7stiXtPHa91W+W8/ny
ECIW7ueOC7U56p5lO6RBduRxeE00wBFEoke+x2lMzXHyDAaSpTaQGRkRjLo7Whwb
cHugGJJL5hXAsVRs0vzD9xlER+OhDctQ6AhNnnZJDu60iQtSBPSzkF4LB1Toy6de
0vIwu6QU4uOrO9nN1ntz
=4F38
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: