Your message dated Sun, 04 Jan 2026 09:18:54 +0000
with message-id <[email protected]>
and subject line Bug#1122492: fixed in why3 1.8.2-2
has caused the Debian Bug report #1122492,
regarding why3: FTBFS:/bin/sh: 1: ccomps: not found
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.)
--
1122492: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1122492
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: src:why3
Version: 1.8.2-1
Severity: serious
Tags: ftbfs forky sid
Dear maintainer:
During a rebuild of all packages in unstable, this package failed to build.
Below you will find the last part of the build log (probably the most
relevant part, but not necessarily). If required, the full build log
is available here:
https://people.debian.org/~sanvila/build-logs/202512/
About the archive rebuild: The build was made on virtual machines from AWS,
using sbuild and a reduced chroot with only build-essential packages.
If you cannot reproduce the bug please contact me privately, as I
am willing to provide ssh access to a virtual machine where the bug is
fully reproducible.
If this is really a bug in one of the build-depends, please use
reassign and add an affects on src:why3, so that this is still
visible in the BTS web page for this package.
Thanks.
--------------------------------------------------------------------------------
[...]
debian/rules clean
Fatal error: exception
Sys_error("debian/why3/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/commands/why3ide.cma:
No such file or directory")
Fatal error: exception
Sys_error("debian/why3/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/plugins/hypothesis_selection.cma:
No such file or directory")
dh clean --with ocaml,tex
dh_ocamlclean
dh_clean
debian/rules binary
Fatal error: exception
Sys_error("debian/why3/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/commands/why3ide.cma:
No such file or directory")
Fatal error: exception
Sys_error("debian/why3/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/plugins/hypothesis_selection.cma:
No such file or directory")
dh binary --with ocaml,tex
dh_update_autotools_config
dh_autoreconf
autoreconf: warning: autoconf input should be named 'configure.ac', not
'configure.in'
aclocal: warning: autoconf input should be named 'configure.ac', not
'configure.in'
dh_ocamlinit
[... snipped ...]
Ocamldep src/mlw/dexpr.ml
Ocamldep src/mlw/big_real.ml
Ocamldep src/mlw/pinterp_core.ml
Ocamldep src/mlw/rac.ml
Ocamldep src/mlw/pinterp.ml
Ocamldep src/mlw/check_ce.ml
Ocamldep src/extract/mltree.ml
Ocamldep src/extract/compile.ml
Ocamldep src/extract/mlinterp.ml
Ocamldep src/extract/pdriver.ml
Ocamldep src/extract/ml_printer.ml
Ocamldep src/extract/c.ml
Ocamldep src/extract/ocaml.ml
Ocamldep src/extract/cakeml.ml
Ocamldep src/extract/java.ml
Ocamldep src/parser/ptree.ml
Ocamldep src/parser/ptree_helpers.ml
Ocamldep src/parser/glob.ml
Ocamldep src/parser/typing.ml
Ocamldep src/parser/parser_messages.ml
Ocamldep src/parser/parser.ml
Ocamldep src/parser/report.ml
Ocamldep src/parser/lexer.ml
Ocamldep src/parser/mlw_printer.ml
Ocamldep src/parser/sexp_parser.ml
Ocamldep src/transform/simplify_formula.ml
Ocamldep src/transform/inlining.ml
Ocamldep src/transform/split_goal.ml
Ocamldep src/transform/args_wrapper.ml
Ocamldep src/transform/reduction_engine.ml
Ocamldep src/transform/compute.ml
Ocamldep src/transform/remove_unused.ml
Ocamldep src/transform/detect_polymorphism.ml
Ocamldep src/transform/eliminate_definition.ml
Ocamldep src/transform/extensional.ml
Ocamldep src/transform/abstract_quantifiers.ml
Ocamldep src/transform/eliminate_unknown_types.ml
Ocamldep src/transform/eliminate_unknown_lsymbols.ml
Ocamldep src/transform/eliminate_symbol.ml
Ocamldep src/transform/eliminate_inductive.ml
Ocamldep src/transform/eliminate_let.ml
Ocamldep src/transform/eliminate_if.ml
Ocamldep src/transform/libencoding.ml
Ocamldep src/transform/eliminate_algebraic.ml
Ocamldep src/transform/discriminate.ml
Ocamldep src/transform/encoding.ml
Ocamldep src/transform/encoding_select.ml
Ocamldep src/transform/encoding_guards_full.ml
Ocamldep src/transform/encoding_tags_full.ml
Ocamldep src/transform/encoding_guards.ml
Ocamldep src/transform/encoding_tags.ml
Ocamldep src/transform/encoding_twin.ml
Ocamldep src/transform/encoding_sort.ml
Ocamldep src/transform/simplify_array.ml
Ocamldep src/transform/filter_trigger.ml
Ocamldep src/transform/abstraction.ml
Ocamldep src/transform/close_epsilon.ml
Ocamldep src/transform/lift_epsilon.ml
Ocamldep src/transform/eliminate_epsilon.ml
Ocamldep src/transform/instantiate_predicate.ml
Ocamldep src/transform/smoke_detector.ml
Ocamldep src/transform/prop_curry.ml
Ocamldep src/transform/eliminate_literal.ml
Ocamldep src/transform/generic_arg_trans_utils.ml
Ocamldep src/transform/case.ml
Ocamldep src/transform/apply.ml
Ocamldep src/transform/subst.ml
Ocamldep src/transform/introduction.ml
Ocamldep src/transform/ind_itp.ml
Ocamldep src/transform/destruct.ml
Ocamldep src/transform/cut.ml
Ocamldep src/transform/congruence.ml
Ocamldep src/transform/induction.ml
Ocamldep src/transform/induction_pr.ml
Ocamldep src/transform/prepare_for_counterexmp.ml
Ocamldep src/transform/reflection.ml
Ocamldep src/transform/keep_only_arithmetic.ml
Ocamldep src/printer/cntexmp_printer.ml
Ocamldep src/printer/alt_ergo.ml
Ocamldep src/printer/why3printer.ml
Ocamldep src/printer/smtv1.ml
Ocamldep src/printer/smtv2.ml
Ocamldep src/printer/coq.ml
Ocamldep src/printer/pvs.ml
Ocamldep src/printer/isabelle.ml
Ocamldep src/printer/simplify.ml
Ocamldep src/printer/gappa.ml
Ocamldep src/printer/cvc3.ml
Ocamldep src/printer/yices.ml
Ocamldep src/printer/mathematica.ml
Ocamldep src/session/compress.ml
Ocamldep src/session/xml.ml
Ocamldep src/session/termcode.ml
Ocamldep src/session/session_itp.ml
Ocamldep src/session/strategy.ml
Ocamldep src/session/strategy_parser.ml
Ocamldep src/session/controller_itp.ml
Ocamldep src/session/server_utils.ml
Ocamldep src/session/itp_communication.ml
Ocamldep src/session/itp_server.ml
Ocamldep src/session/json_util.ml
Ocamldep src/session/unix_scheduler.ml
Ocamldep src/driver/driver_ast.mli
cmp -s src/util/recompat.ml src/util/re.ml || cp src/util/recompat.ml
src/util/re.ml
Ocamlopt src/util/config.ml
Ocamlopt src/driver/whyconf.ml
Ocamlopt src/driver/call_provers.ml
Ocamlopt src/driver/driver_lexer.ml
Ocamlopt src/driver/driver.ml
Ocamlopt src/driver/autodetection.ml
Ocamlopt src/mlw/pinterp_core.ml
Ocamlopt src/mlw/rac.ml
Ocamlopt src/mlw/pinterp.ml
Ocamlopt src/mlw/check_ce.ml
Ocamlopt src/extract/pdriver.ml
Ocamlopt src/extract/ml_printer.ml
Ocamlopt src/extract/c.ml
Ocamlopt src/extract/ocaml.ml
Ocamlopt src/extract/cakeml.ml
Ocamlopt src/extract/java.ml
Ocamlopt src/transform/inlining.ml
Ocamlopt src/transform/eliminate_definition.ml
Ocamlopt src/transform/encoding_select.ml
Ocamlopt src/transform/case.ml
Ocamlopt src/transform/introduction.ml
Ocamlopt src/transform/prepare_for_counterexmp.ml
Ocamlopt src/transform/reflection.ml
Ocamlopt src/printer/alt_ergo.ml
Ocamlopt src/printer/smtv2.ml
Ocamlopt src/session/session_itp.ml
Ocamlopt src/session/strategy.ml
Ocamlopt src/session/strategy_parser.ml
Ocamlopt src/session/controller_itp.ml
Ocamlopt src/session/itp_communication.ml
Ocamlopt src/session/server_utils.ml
Ocamlopt src/session/itp_server.ml
Ocamlopt src/session/json_util.ml
Ocamlc src/util/config.ml
Linking lib/why3/why3.cmo
Linking lib/why3/why3.cmx
Ocamlopt plugins/parser/genequlin.ml
Linking lib/plugins/genequlin.cmxs
Ocamlopt plugins/parser/dimacs.ml
Linking lib/plugins/dimacs.cmxs
Ocamlc plugins/tptp/tptp_ast.mli
Ocamlc plugins/tptp/tptp_parser.mli
Ocamlopt plugins/tptp/tptp_parser.ml
Ocamlc plugins/tptp/tptp_typing.mli
Ocamlopt plugins/tptp/tptp_typing.ml
Ocamlc plugins/tptp/tptp_lexer.mli
Ocamlopt plugins/tptp/tptp_lexer.ml
Ocamlopt plugins/tptp/tptp_printer.ml
Linking lib/plugins/tptp.cmxs
Ocamlc plugins/python/py_ast.mli
Ocamlc plugins/python/py_parser.mli
Ocamlopt plugins/python/py_parser.ml
Ocamlc plugins/python/py_lexer.mli
Ocamlopt plugins/python/py_lexer.ml
Ocamlopt plugins/python/py_main.ml
Linking lib/plugins/python.cmxs
Ocamlc plugins/microc/mc_ast.mli
Ocamlc plugins/microc/mc_parser.mli
Ocamlopt plugins/microc/mc_parser.ml
Ocamlc plugins/microc/mc_lexer.mli
Ocamlopt plugins/microc/mc_lexer.ml
Ocamlc plugins/microc/mc_printer.mli
Ocamlopt plugins/microc/mc_printer.ml
Ocamlopt plugins/microc/mc_main.ml
Linking lib/plugins/microc.cmxs
Ocamlc plugins/coma/coma_logic.mli
Ocamlopt plugins/coma/coma_logic.ml
Ocamlc plugins/coma/coma_syntax.mli
Ocamlopt plugins/coma/coma_syntax.ml
Ocamlc plugins/coma/coma_parser.mli
Ocamlopt plugins/coma/coma_parser.ml
Ocamlc plugins/coma/coma_lexer.mli
Ocamlopt plugins/coma/coma_lexer.ml
Ocamlc plugins/coma/coma_typing.mli
Ocamlopt plugins/coma/coma_typing.ml
Ocamlopt plugins/coma/coma_main.ml
Linking lib/plugins/coma.cmxs
Ocamlc plugins/cfg/cfg_ast.mli
Ocamlc plugins/cfg/cfg_parser.mli
Ocamlopt plugins/cfg/cfg_parser.ml
Ocamlc plugins/cfg/cfg_lexer.mli
Ocamlopt plugins/cfg/cfg_lexer.ml
Ocamlc plugins/cfg/cfg_paths.mli
Ocamlopt plugins/cfg/cfg_paths.ml
Ocamlc plugins/cfg/subregion_analysis.mli
Ocamlopt plugins/cfg/subregion_analysis.ml
Ocamlc plugins/cfg/cfg_main.mli
Ocamlopt plugins/cfg/cfg_main.ml
Ocamlc plugins/cfg/stackify.mli
Ocamlopt plugins/cfg/stackify.ml
Ocamlopt plugins/cfg/cfg_stackify.ml
Linking lib/plugins/cfg.cmxs
Ocamlopt plugins/strategies/forward_propagation.ml
Linking lib/plugins/forward_propagation.cmxs
Ocamlopt plugins/transform/hypothesis_selection.ml
Linking lib/plugins/hypothesis_selection.cmxs
Linking lib/why3/why3.cmxa
Linking lib/why3/why3.cmxs
Ocamlopt src/tools/main.ml
Linking bin/why3.opt
Ocamlopt src/tools/why3config.ml
Linking bin/why3config.cmxs
Ocamlopt src/tools/why3execute.ml
Linking bin/why3execute.cmxs
Ocamlopt src/tools/why3extract.ml
Linking bin/why3extract.cmxs
Ocamlopt src/tools/why3prove.ml
Linking bin/why3prove.cmxs
Ocamlopt src/tools/why3realize.ml
Linking bin/why3realize.cmxs
Ocamlopt src/tools/why3replay.ml
Linking bin/why3replay.cmxs
Ocamlopt src/tools/why3show.ml
Linking bin/why3show.cmxs
Ocamlopt src/tools/why3wc.ml
Linking bin/why3wc.cmxs
Ocamlopt src/tools/why3bench.ml
Linking bin/why3bench.cmxs
Ocamlc src/ide/gconfig.mli
Ocamlopt src/ide/gconfig.ml
Ocamlopt src/ide/why3ide.ml
Linking bin/why3ide.cmxs
Ocamlopt src/ide/wserver.ml
Ocamlopt src/ide/why3web.ml
Linking bin/why3webserver.cmxs
Ocamlc src/why3session/why3session_lib.mli
Ocamlopt src/why3session/why3session_lib.ml
Ocamlc src/why3session/why3session_info.mli
Ocamlopt src/why3session/why3session_info.ml
Ocamlc src/why3session/why3session_html.mli
Ocamlopt src/why3session/why3session_html.ml
Ocamlc src/why3session/why3session_latex.mli
Ocamlopt src/why3session/why3session_latex.ml
Ocamlc src/why3session/why3session_update.mli
Ocamlopt src/why3session/why3session_update.ml
Ocamlc src/why3session/why3session_output.mli
Ocamlopt src/why3session/why3session_output.ml
Ocamlc src/why3session/why3session_create.mli
Ocamlopt src/why3session/why3session_create.ml
Ocamlopt src/why3session/why3session_main.ml
Linking bin/why3session.cmxs
Ocamlopt src/tools/why3shell.ml
Linking bin/why3shell.cmxs
Ocamlopt src/isabelle-client/isabelle_client_main.ml
Linking bin/isabelle_client.opt
Ocamlopt src/tools/why3pp.ml
Linking bin/why3pp.cmxs
Ocamlopt src/why3doc/doc_html.ml
Ocamlc src/why3doc/doc_def.mli
Ocamlopt src/why3doc/doc_def.ml
Ocamlopt src/why3doc/doc_lexer.ml
Ocamlopt src/why3doc/doc_main.ml
Linking bin/why3doc.cmxs
ln -sf why3.opt bin/why3
ln -snf ../drivers share/drivers
ln -snf ../extraction_drivers share/extraction_drivers
ln -snf ../stdlib share/stdlib
Generate drivers/coq-realizations.aux
Generate drivers/pvs-realizations.aux
Generate drivers/isabelle-realizations.aux
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
/usr/bin/make doc
make[2]: Entering directory '/<<PKGBUILDDIR>>'
cmp -s src/util/recompat.ml src/util/re.ml || cp src/util/recompat.ml
src/util/re.ml
doc/drv_depgraph drivers/alt_ergo.drv drivers/alt_ergo_26.dr
[too-long-redacted] > doc/generated/drivers-all.dot
ccomps -X smt-libv2.gen doc/generated/drivers-all.dot >
doc/generated/drivers-smt.dot
/bin/sh: 1: ccomps: not found
make[2]: *** [Makefile:1878: doc/generated/drivers-smt.dot] Error 127
make[2]: *** Deleting file 'doc/generated/drivers-smt.dot'
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
make[1]: *** [debian/rules:29: override_dh_auto_build-indep] Error 2
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
make: *** [debian/rules:10: binary] Error 2
dpkg-buildpackage: error: debian/rules binary subprocess returned exit status 2
--------------------------------------------------------------------------------
--- End Message ---
--- Begin Message ---
Source: why3
Source-Version: 1.8.2-2
Done: Gianfranco Costamagna <[email protected]>
We believe that the bug you reported is fixed in the latest version of
why3, 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.
Gianfranco Costamagna <[email protected]> (supplier of updated why3
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: Sun, 04 Jan 2026 10:00:25 +0100
Source: why3
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.2-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <[email protected]>
Changed-By: Gianfranco Costamagna <[email protected]>
Closes: 1122492
Changes:
why3 (1.8.2-2) unstable; urgency=medium
.
* Team upload
* Add b-d on graphviz to fix missing ccomps during build (Closes: #1122492)
Checksums-Sha1:
51de91c07e510bed7fab98a0bcd40b62a4848ff5 2681 why3_1.8.2-2.dsc
0c011f6bb0a2b6ec51d03475e68dd061c5094608 19552 why3_1.8.2-2.debian.tar.xz
ff15bb6d85fcc90d251388c26f6a31c45f4e29fb 9509 why3_1.8.2-2_source.buildinfo
Checksums-Sha256:
c3c64e999af2633968f969ea02bbc7d689ce97f8f25520df2d58bbb7bc207f74 2681
why3_1.8.2-2.dsc
f17f04bba805bcffcdf96c6f2e3444688f76dbdd114ad03d300bfa17a0eadf9c 19552
why3_1.8.2-2.debian.tar.xz
0dc4d4228c72c57ad29c8c76ec6c02f097165f520f594292cbc6bba220c73098 9509
why3_1.8.2-2_source.buildinfo
Files:
1f421d883e7e081187265a3b5fed0382 2681 math optional why3_1.8.2-2.dsc
f57bd68d84352d68e6e8bd976220d168 19552 math optional why3_1.8.2-2.debian.tar.xz
09c1a98207823ac38dc8bd0ba37933bb 9509 math optional
why3_1.8.2-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmlaLPsACgkQ808JdE6f
Xdki5hAAoZrEbhPZwXaPiIwfWnE94/dfZPSKeO28/eKBvfmXObe6+6KNkNI34WE5
3sYp6vyfJ73VtLmzmUSYnLcWBrGzLKCS5WDF9mnj1DFM9IanK0wCRhacbrTV3NvH
yRCScmSIWHWyanczfI4xIj4AH1GKT4BieEzIaWsC490SxTqX1mjcq1649xBkC4cE
KCobjfxQhZzoBk4Tg0rLJs5/lQ92jvR1u+dSVbMQFzj/9WD4E15gJfuJEAyluL2O
mk5/ONawxV5F92/Lz41Ush2hAvmNxX6Jc7BssLLmF/VXfmxQ8vmRmOofFFME+JLO
xPrHdENHR5Od17z7czgPWiC8sM7m1rm48YQpyPwzWqG6oVslIBUCOkCX9EGirOHb
9U2v01r30cE1CIr+3IeDgU/bsE/PBt5aReGiWSw17rcI57IcpQzZQ6G+OebfLzRK
T653J2xyZWAzlTIXv5Ai1XMnJqWO6hx4Dxyiv/aGBJ96lD+ArNjB0FCTCz9LVMRO
dxMW6SQ7H21RsO0gwcqH340Oib3Ugdv6kuBgm/B3Vnc659yfRP9YZM5hSGul+Awj
wggTwaK2Actr0J6lts8py++mBxDmfvnkvtpkwbznXXQdcINBkBmGqmNkZUZVSNIV
0B1bEve4MuA52JkwIldbLNkK1MIFfLsx823+5Y7sCm8iuJekFgY=
=lRXC
-----END PGP SIGNATURE-----
pgpJhdWZWpNmW.pgp
Description: PGP signature
--- End Message ---
