Bug#919463: aac-tactics ftbfs in unstable
Package: src:aac-tactics
Version: 8.6.1-2
Severity: serious
Tags: sid buster
aac-tactics ftbfs in unstable:
[...]
dh build --with ocaml
dh_update_autotools_config
dh_ocamlinit
dh_auto_configure
debian/rules override_dh_auto_build
make[1]: Entering directory '/home/packages/tmp/aac-tactics-8.6.1'
/usr/bin/make Makefile.coq
make[2]: Entering directory '/home/packages/tmp/aac-tactics-8.6.1'
coq_makefile -f Make -o Makefile.coq
make -f Makefile.coq Makefile
make[3]: Entering directory '/home/packages/tmp/aac-tactics-8.6.1'
COQDEP VFILES
*** Warning: aac_rewrite.mli already found in . (discarding ./aac_rewrite.mli)
*** Warning: print.mli already found in . (discarding ./print.mli)
*** Warning: theory.mli already found in . (discarding ./theory.mli)
*** Warning: matcher.mli already found in . (discarding ./matcher.mli)
*** Warning: search_monad.mli already found in . (discarding ./search_monad.mli)
*** Warning: helper.mli already found in . (discarding ./helper.mli)
*** Warning: coq.mli already found in . (discarding ./coq.mli)
*** Warning: print.ml already found in . (discarding ./print.ml)
*** Warning: theory.ml already found in . (discarding ./theory.ml)
*** Warning: matcher.ml already found in . (discarding ./matcher.ml)
*** Warning: search_monad.ml already found in . (discarding ./search_monad.ml)
*** Warning: helper.ml already found in . (discarding ./helper.ml)
*** Warning: coq.ml already found in . (discarding ./coq.ml)
*** Warning: aac_rewrite.ml4 already found in . (discarding ./aac_rewrite.ml4)
CAMLDEP aac_rewrite.mli
CAMLDEP print.mli
CAMLDEP theory.mli
CAMLDEP matcher.mli
CAMLDEP search_monad.mli
CAMLDEP helper.mli
CAMLDEP coq.mli
COQDEP aac.mlpack
CAMLDEP print.ml
CAMLDEP theory.ml
CAMLDEP matcher.ml
CAMLDEP search_monad.ml
CAMLDEP helper.ml
CAMLDEP coq.ml
CAMLDEP -pp aac_rewrite.ml4
make[3]: Nothing to be done for 'Makefile'.
make[3]: Leaving directory '/home/packages/tmp/aac-tactics-8.6.1'
make[2]: 'Makefile.coq' is up to date.
make[2]: Leaving directory '/home/packages/tmp/aac-tactics-8.6.1'
/usr/bin/make -f Makefile.coq opt html
make[2]: Entering directory '/home/packages/tmp/aac-tactics-8.6.1'
make[3]: Entering directory '/home/packages/tmp/aac-tactics-8.6.1'
CAMLC -c coq.mli
File "coq.mli", line 26, characters 45-56:
Warning 3: deprecated: Term.constr
Alias for Constr.t
File "coq.mli", line 30, characters 35-48:
Warning 3: deprecated: Tacmach.sigma
alias of Evd.sigma
File "coq.mli", line 32, characters 44-57:
Warning 3: deprecated: Tacmach.sigma
alias of Evd.sigma
File "coq.mli", line 32, characters 61-71:
Warning 3: deprecated: Term.types
Alias for Constr.types
File "coq.mli", line 32, characters 75-86:
Warning 3: deprecated: Term.constr
Alias for Constr.t
File "coq.mli", line 33, characters 48-58:
Warning 3: deprecated: Term.types
Alias for Constr.types
File "coq.mli", line 33, characters 63-74:
Warning 3: deprecated: Term.constr
Alias for Constr.t
File "coq.mli", line 34, characters 28-39:
Warning 3: deprecated: Term.constr
Alias for Constr.t
File "coq.mli", line 34, characters 43-54:
Warning 3: deprecated: Term.constr
Alias for Constr.t
File "coq.mli", line 35, characters 30-40:
Warning 3: deprecated: Term.types
Alias for Constr.types
File "coq.mli", line 35, characters 45-56:
Warning 3: deprecated: Term.constr
Alias for Constr.t
File "coq.mli", line 36, characters 28-39:
Warning 3: deprecated: Term.constr
Alias for Constr.t
File "coq.mli", line 36, characters 44-55:
Warning 3: deprecated: Term.constr
Alias for Constr.t
File "coq.mli", line 37, characters 31-42:
Warning 3: deprecated: Term.constr
Alias for Constr.t
File "coq.mli", line 37, characters 46-57:
Warning 3: deprecated: Term.constr
Alias for Constr.t
File "coq.mli", line 38, characters 33-44:
Warning 3: deprecated: Term.constr
Alias for Constr.t
File "coq.mli", line 38, characters 48-59:
Warning 3: deprecated: Term.constr
Alias for Constr.t
File "coq.mli", line 39, characters 24-35:
Warning 3: deprecated: Term.constr
Alias for Constr.t
File "coq.mli", line 39, characters 40-51:
Warning 3: deprecated: Term.constr
Alias for Constr.t
File "coq.mli", line 41, characters 29-40:
Warning 3: deprecated: Term.constr
Alias for Constr.t
File "coq.mli", line 41, characters 46-57:
Warning 3: deprecated: Term.constr
Alias for Constr.t
File "coq.mli", line 43, characters 13-24:
Warning 3: deprecated: Term.constr
Alias for Constr.t
File "coq.mli", line 45, characters 18-29:
Warning 3: deprecated: Term.constr
Alias for Constr.t
File "coq.mli", line 45, characters 60-77:
Warning 3: deprecated: Term.kind_of_term
Alias for Constr.kind_of_term
File "coq.mli", line 45, characters 33-77:
Error: The type constructor Term.kind_of_term expects 4 argument(s),
but is here applied to 2 argument(s)
make[4]: *** [Makefile.coq:589: coq.cmi] Error 2
make[3]: *** [Makefile.coq:318: all] Error 2
make[3]: Leaving directory '/home/packages/tmp/aac-tactics-8.6.1'
make[2]: *** [Makefile.coq:745: opt] Error 2
make[2]: Leaving directory '/home/packages/tmp/aac-tactics-8.6.1'
make[1]: *** [debian/rules:19: override_dh_auto_build] Error 2
make[1]: Leaving directory '/home/packages/tmp/aac-tactics-8.6.1'
make: *** [debian/rules:14: build] Error 2
Reply to: