Your message dated Thu, 10 Nov 2022 15:49:24 +0000
with message-id <[email protected]>
and subject line Bug#1023763: fixed in mathcomp-algebra-tactics 1.0.0-8
has caused the Debian Bug report #1023763,
regarding mathcomp-algebra-tactics: autopkgtest regression: interface mismatch
on Elpi__BuiltinFindlib
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.)
--
1023763: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1023763
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: mathcomp-algebra-tactics
Version: 1.0.0-7
Severity: serious
User: [email protected]
Usertags: regression
Dear maintainer(s),
With a recent upload of mathcomp-algebra-tactics the autopkgtest of
mathcomp-algebra-tactics fails in testing when that autopkgtest is run
with the binary packages of mathcomp-algebra-tactics from unstable. It
passes when run with only packages from testing. In tabular form:
pass fail
mathcomp-algebra-tactics from testing 1.0.0-7
versioned deps [0] from testing from unstable
all others from testing from testing
I copied some of the output at the bottom of this report.
Currently this regression is blocking the migration to testing [1]. Can
you please investigate the situation and fix it?
More information about this bug and the reason for filing it can be found on
https://wiki.debian.org/ContinuousIntegration/RegressionEmailInformation
Paul
[0] You can see what packages were added from the second line of the log
file quoted below. The migration software adds source package from
unstable to the list if they are needed to install packages from
mathcomp-algebra-tactics/1.0.0-7. I.e. due to versioned dependencies or
breaks/conflicts.
[1] https://qa.debian.org/excuses.php?package=mathcomp-algebra-tactics
https://ci.debian.net/data/autopkgtest/testing/amd64/m/mathcomp-algebra-tactics/28060854/log.gz
Error:
Dynlink error: interface mismatch on Elpi__BuiltinFindlib paths:
/usr/lib/ocaml/coq/../coq-core/plugins/ltac
/usr/lib/ocaml/coq/../coq-core/plugins/ssreflect
/usr/lib/ocaml/coq/../coq-core/plugins/ring
/usr/lib/ocaml/coq/../coq-core/plugins/ssrmatching
/usr/lib/ocaml/coq/../coq-core/plugins/nsatz
/usr/lib/ocaml/coq/../coq-core/plugins/ltac2
/usr/lib/ocaml/coq/../coq-core/plugins/number_string_notation
/usr/lib/ocaml/coq/../coq-core/plugins/cc
/usr/lib/ocaml/coq/../coq-core/plugins/firstorder
/usr/lib/ocaml/coq/../coq-core/plugins/tauto
/usr/lib/ocaml/coq/../coq-core/plugins/rtauto
/usr/lib/ocaml/coq/../coq-core/plugins/extraction
/usr/lib/ocaml/coq/../coq-core/plugins/zify
/usr/lib/ocaml/coq/../coq-core/plugins/funind
/usr/lib/ocaml/coq/../coq-core/plugins/micromega
/usr/lib/ocaml/coq/../coq-core/plugins/derive
/usr/lib/ocaml/coq/../coq-core/plugins/btauto
/usr/lib/ocaml/coq/../coq-core/..
/usr/lib/ocaml/coq/user-contrib/Ltac2
/usr/lib/ocaml/coq/user-contrib/elpi
/usr/lib/ocaml/coq/user-contrib/elpi/apps
/usr/lib/ocaml/coq/user-contrib/elpi/apps/eltac
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive
/usr/lib/ocaml/coq/user-contrib/mathcomp
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra
/usr/lib/ocaml/coq/user-contrib/mathcomp/ssreflect
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra_tactics
/usr/lib/ocaml/coq/user-contrib/mathcomp/zify
/usr/lib/ocaml/coq/user-contrib/mathcomp/fingroup
/usr/local/lib/ocaml/4.13.1
/usr/lib/ocaml
/usr/lib/ocaml/METAS
autopkgtest [19:17:45]: test command1
OpenPGP_signature
Description: OpenPGP digital signature
--- End Message ---
--- Begin Message ---
Source: mathcomp-algebra-tactics
Source-Version: 1.0.0-8
Done: Julien Puydt <[email protected]>
We believe that the bug you reported is fixed in the latest version of
mathcomp-algebra-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.
Julien Puydt <[email protected]> (supplier of updated mathcomp-algebra-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: Thu, 10 Nov 2022 16:22:08 +0100
Source: mathcomp-algebra-tactics
Architecture: source
Version: 1.0.0-8
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <[email protected]>
Changed-By: Julien Puydt <[email protected]>
Closes: 1023763
Changes:
mathcomp-algebra-tactics (1.0.0-8) unstable; urgency=medium
.
* Fix elpi interface mismatch (Closes: #1023763).
Checksums-Sha1:
e1431beb1e30f63b68fc0ac93fc00025e2737e36 2282
mathcomp-algebra-tactics_1.0.0-8.dsc
05c8d6e93b9d417f69211e380187a16d8a3251a8 8704
mathcomp-algebra-tactics_1.0.0-8.debian.tar.xz
a90c12b5597cb06fae0c47aaadf9884e0306b4af 8254
mathcomp-algebra-tactics_1.0.0-8_source.buildinfo
Checksums-Sha256:
427102e021b1027cbaccf7b6bc4c851272440010b42257c9303a5ae2d3255484 2282
mathcomp-algebra-tactics_1.0.0-8.dsc
8bbf9a9d85b0bb47b7c438776dd9fb3bbb9ddbfd272b133f57470e6ab933115f 8704
mathcomp-algebra-tactics_1.0.0-8.debian.tar.xz
dc4e24845fa443eaf266e4f45f4cd967d77e5fe1543ce5833cec9cf4a4ba03da 8254
mathcomp-algebra-tactics_1.0.0-8_source.buildinfo
Files:
af8d77f1539be59c3051e8a84039c06b 2282 ocaml optional
mathcomp-algebra-tactics_1.0.0-8.dsc
8c77b59dcfa67e1c1e184c9dffea19bb 8704 ocaml optional
mathcomp-algebra-tactics_1.0.0-8.debian.tar.xz
b5f75cc47318d4b5a532c3dca1a4affd 8254 ocaml optional
mathcomp-algebra-tactics_1.0.0-8_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmNtF6ESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVREAAP/RT8zvbhOMD/aiRdBe+lfOpEEIkEkiD6
cCzzrY6zI+QDQWyXzrHk/3VXzOId32pFKbuuLCZJ304VK053T8Xl2onFYwP8r3RC
NLiMWmNgxrltQ9cbvNAd6QtwHVVRjaTjYUnQ89syL1PZpMc4Y+OE7C9aoCfyPORW
XZ12YiWD3wmvgsFywe70KrFx5VsRCgqD80ZpyzHww+0dMOXHgnfZvouUKwLO7moW
vEwnyBge0H/s2slRE69MKWbnTG4xlZe1cGXH44MZfKbfp5s/6nQ8oTyRK0zEDElW
qKM2d2OW88w59z61oJiF+KWQh872gmJBM6XDyhdFEqKX9lC27bk8UUDjE1i3nuTM
yW2YfwVfmCjNk3rbQaRW3f4Wcj8thBVw4OoGj4248yYnaLUceGq3wGpI8TcvbdO/
gDCGEk/ZTCaXLaVpBuFOiofZ4KMy57yOIasDJ4FVkEw8z+7T7exaqTM5zYX+se2q
AkeM85dacK+yzfbUS/dc37v5KZgCNvA4wMmGPlHlNJFb2DRlNwGtW5s3FlFCjlXk
XwAmSu1hWCYQjkkPyYpb+AcyfXynoM+bukN973lmQFl9T14T2aL4SVSc4IaPU2Ce
3lEculQ9i8DkYB+jrkeQIVQtwDP7WLHJrMhhCJE65hF/YNBN1O/i+NPJJYeQeRQn
3dvFfK5WBDFP
=nShK
-----END PGP SIGNATURE-----
--- End Message ---
