Source: graphviz Version: 14.1.1-1 Severity: serious Hello, why3 fails to build now due to missing ccomps tool. I didn't find a replacement, and I see in build log that graphviz is still building it. Moreover I can't find in changelog any reason for it being dropped.
Please bring it back 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 G.
