Source: aac-tactics Version: 8.9.0-1 Severity: serious Hello, looks like some changes in sid made aac-tactics FTBFS in sid, log is available here: http://debomatic-amd64.debian.net/distribution#unstable/aac-tactics/8.9.0-1/buildlog
I: Running cd /build/aac-tactics-8.9.0/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin" HOME="/nonexistent" dpkg-buildpackage -us -uc dpkg-buildpackage: info: source package aac-tactics dpkg-buildpackage: info: source version 8.9.0-1 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Stéphane Glondu <glo...@debian.org> dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 debian/rules clean dh clean --with ocaml debian/rules override_dh_auto_clean make[1]: Entering directory '/build/aac-tactics-8.9.0' /usr/bin/make clean make[2]: Entering directory '/build/aac-tactics-8.9.0' coq_makefile -f _CoqProject -o Makefile.coq camlp5 macro files not supported anymore, please port src/aac.ml4 to coqpp Usage summary: coq_makefile .... [file.v] ... [file.ml[ig]?] ... [file.ml{lib,pack}] ... [any] ... [-extra[-phony] result dependencies command] ... [-I dir] ... [-R physicalpath logicalpath] ... [-Q physicalpath logicalpath] ... [VARIABLE = value] ... [-arg opt] ... [-opt|-byte] [-no-install] [-f file] [-o file] [-h] [--help] Full list of options: [file.v]: Coq file to be compiled [file.ml[ig]?]: Objective Caml file to be compiled [file.ml{lib,pack}]: ocamlbuild-style file that describes a Objective Caml library/module [any] : subdirectory that should be "made" and has a Makefile itself to do so. Very fragile and discouraged. [-extra result dependencies command]: add target "result" with command "command" and dependencies "dependencies". If "result" is not generic (do not contains a %), "result" is built by _make all_ and deleted by _make clean_. [-extra-phony result dependencies command]: add a PHONY target "result" with command "command" and dependencies "dependencies". Note that _-extra-phony foo bar ""_ is a regular way to add the target "bar" as as a dependencies of an already defined target "foo". [-I dir]: look for Objective Caml dependencies in "dir" [-R physicalpath logicalpath]: look for Coq dependencies recursively starting from "physicalpath". The logical path associated to the physical path is "logicalpath". [-Q physicalpath logicalpath]: look for Coq dependencies starting from "physicalpath". The logical path associated to the physical path is "logicalpath". [VARIABLE = value]: Add the variable definition "VARIABLE=value" [-byte]: compile with byte-code version of coq [-opt]: compile with native-code version of coq [-arg opt]: send option "opt" to coqc [-install opt]: where opt is "user" to force install into user directory, "none" to build a makefile with no install target or "global" to force install in $COQLIB directory [-f file]: take the contents of file as arguments [-o file]: output should go in file file (recommended) Output file outside the current directory is forbidden. [-h]: print this usage summary [--help]: equivalent to [-h] make[2]: *** [Makefile:9: Makefile.coq] Error 1 make[2]: Leaving directory '/build/aac-tactics-8.9.0' make[1]: *** [debian/rules:21: override_dh_auto_clean] Error 2 make[1]: Leaving directory '/build/aac-tactics-8.9.0' make: *** [debian/rules:18: clean] Error 2 dpkg-buildpackage: error: debian/rules clean subprocess returned exit status 2 I: copying local configuration Can you please have a look? G.