Your message dated Mon, 18 Feb 2019 02:55:04 +0000 with message-id <[email protected]> and subject line Bug#919463: fixed in aac-tactics 8.8.0+1.gbp069dc3b-1 has caused the Debian Bug report #919463, regarding aac-tactics ftbfs in unstable 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.) -- 919463: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=919463 Debian Bug Tracking System Contact [email protected] with problems
--- Begin Message ---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
--- End Message ---
--- Begin Message ---Source: aac-tactics Source-Version: 8.8.0+1.gbp069dc3b-1 We believe that the bug you reported is fixed in the latest version of aac-tactics, 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. Benjamin Barenblat <[email protected]> (supplier of updated aac-tactics 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, 17 Feb 2019 20:29:23 -0500 Source: aac-tactics Binary: libaac-tactics-coq libaac-tactics-ocaml libaac-tactics-ocaml-dbgsym libaac-tactics-ocaml-dev Architecture: source all amd64 Version: 8.8.0+1.gbp069dc3b-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: Benjamin Barenblat <[email protected]> Description: libaac-tactics-coq - Coq tactics for reasoning modulo AC (theories) libaac-tactics-ocaml - Coq tactics for reasoning modulo AC (plugin) libaac-tactics-ocaml-dev - Coq tactics for reasoning modulo AC (devt files) Closes: 919463 Changes: aac-tactics (8.8.0+1.gbp069dc3b-1) unstable; urgency=medium . ** SNAPSHOT build @069dc3bd125ca18f5712759d54edcf9addb4cdd4 ** . * Team upload * New upstream release * Build an unreleased snapshot to support Coq 8.9 (Closes: 919463) Checksums-Sha1: 1bfd5839c62464d7e02e7830c787f4d744dd80ec 2277 aac-tactics_8.8.0+1.gbp069dc3b-1.dsc 6a348aec1983313a9341b874a960a168758731ed 65943 aac-tactics_8.8.0+1.gbp069dc3b.orig.tar.gz 4bae44570f4413f9d4e19430222f2dc967e40dae 3524 aac-tactics_8.8.0+1.gbp069dc3b-1.debian.tar.xz c09789095b526c344a67cf38b7a40516345f7f6a 7426 aac-tactics_8.8.0+1.gbp069dc3b-1_amd64.buildinfo bf3467fcb18dfdf11b271ab98b47ca917ce800a8 220700 libaac-tactics-coq_8.8.0+1.gbp069dc3b-1_all.deb ff301e41033295615ca0a93975d4d3d1df826d1d 16672 libaac-tactics-ocaml-dbgsym_8.8.0+1.gbp069dc3b-1_amd64.deb 619dd106f2fa6593fb36ae6f719cc90f2bb5aae9 37944 libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1_amd64.deb 5b861f4b004bf8ab736f3b73a625547f32c37457 123092 libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1_amd64.deb Checksums-Sha256: d20ba56d4e9eb5905962d3f370147907547a15086ad5f5c27e2124a68e5a5325 2277 aac-tactics_8.8.0+1.gbp069dc3b-1.dsc 2a4273bfcd7be376077c8160f949272e0028b66d69bfaddce66129b47267a95f 65943 aac-tactics_8.8.0+1.gbp069dc3b.orig.tar.gz 33856dd20250e48b1386e46f3e7247862e347adb611c1e15e86a1e2a8d981ff0 3524 aac-tactics_8.8.0+1.gbp069dc3b-1.debian.tar.xz 52411bb342529096b4c29365dccc68043a0fe5e550f940193935077b4d3fc1c4 7426 aac-tactics_8.8.0+1.gbp069dc3b-1_amd64.buildinfo 7c09734a15fc3fd3ec8fc0bbc5b6d35968d11b9183e2d5ac3163b0a8b56dbf7d 220700 libaac-tactics-coq_8.8.0+1.gbp069dc3b-1_all.deb 7ee5f307e4d1b1b8ab106b943d51401769188b0ce4bf91a169a0c22db1c29ca5 16672 libaac-tactics-ocaml-dbgsym_8.8.0+1.gbp069dc3b-1_amd64.deb 28c02092b65c79bdcfa6cc45eddd80b28a6d448fc21abf253612811fe1716b24 37944 libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1_amd64.deb 967a6892441ecabfbb070bf2929dba41d4abaf1abdb37d3ad9cce835823a0add 123092 libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1_amd64.deb Files: af4ca89c26efb40c8e8f914aefac6668 2277 math optional aac-tactics_8.8.0+1.gbp069dc3b-1.dsc 622e53bb329b77950b4083d5bb76fb0a 65943 math optional aac-tactics_8.8.0+1.gbp069dc3b.orig.tar.gz 6351d8cdbb1c09c4616e6f7d71ba614c 3524 math optional aac-tactics_8.8.0+1.gbp069dc3b-1.debian.tar.xz 63ab3430ad952b63ea1486fda9eb99d9 7426 math optional aac-tactics_8.8.0+1.gbp069dc3b-1_amd64.buildinfo ca419566fe1b3688f30a62669161a6a5 220700 math optional libaac-tactics-coq_8.8.0+1.gbp069dc3b-1_all.deb b96044d4c46b7b984964ab29664d46a9 16672 debug optional libaac-tactics-ocaml-dbgsym_8.8.0+1.gbp069dc3b-1_amd64.deb cab4c7a71bb63b2b7682814f5d5b4126 37944 ocaml optional libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1_amd64.deb d1b8695dbe9aaf146547187a0d105d1f 123092 ocaml optional libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEQbf+q7LkywHKVTMA5ZUVm53A7cMFAlxqDN4ACgkQ5ZUVm53A 7cP0URAAkxYFetKXCGyBrD/GLePaCgXy7khb9XBePkA+IPrffNk5knOwMQ9XGoRP HzHjkAPCXAGfPjmDPC/bCrwoVv45e8OxXUH8PdyX+q9QLbzDrlSkbdN+K/x6lai2 D3qBN2GEwjO7MFkEJILYZqSuRuOFkxnMfl8H/yuRs9DWLDqv0gv8KPxXJ5IP5JVl CqwMfIMH/sHqKZ2nA3kRdidUZISbnXZBIgXrENB7rNMDETioNrzHMn9kFqdmzd9L 23EkGg5/QK8S5TczpVt0RtQ9rJpQKzZ2Rnroin/HhN/ROZvXqYGkRpJIU7if/jdu nOjqRF9O4ZF3DTxg9jaZiPkOGw3oaQSkFRLo304ydmYR6XevRNOsbhuOXfGWlVPQ ot6PvBiImePdzqHwUoOxkH0WALYcOPmZVM6jyKKhz/mFIDW2LsYsIPqofEBUG5ED ecR8QraPwcj/Pn1bnc6z6YAM5KGqaiBxJLzU2+7eYcTAqaej5jQwD15l9neCqM43 Vhj9qcn9wlIBILdqoslIi9vn7h8L0FcloHToFNpha377uDt9VargSrSa0zYE0rEt tU84H3UdtT5bOy3Vw7Jb+is6lIFFpNDQJqfMzZJnqN81/wJCP/LuyA0uTZdUkdFz fKfEKUwo+fvhRLCFI1OTGZpsjTgA/qtSTR1/YPTayo877OWvFGs= =mGYI -----END PGP SIGNATURE-----
--- End Message ---
