[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#1023763: marked as done (mathcomp-algebra-tactics: autopkgtest regression: interface mismatch on Elpi__BuiltinFindlib)

Your message dated Thu, 10 Nov 2022 15:49:24 +0000
with message-id <E1ot9nw-00768c-0E@fasolo.debian.org>
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 owner@bugs.debian.org
immediately.)


-- 
1023763: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1023763
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Source: mathcomp-algebra-tactics
Version: 1.0.0-7
Severity: serious
User: debian-ci@lists.debian.org
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

Attachment: OpenPGP_signature
Description: OpenPGP digital signature


--- End Message ---
--- Begin Message --- 
Source: mathcomp-algebra-tactics
Source-Version: 1.0.0-8
Done: Julien Puydt <jpuydt@debian.org>

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 1023763@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Julien Puydt <jpuydt@debian.org> (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 ftpmaster@ftp-master.debian.org)


-----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 <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
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 ---
Reply to: