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

Bug#1023762: marked as done (mathcomp-analysis: autopkgtest regression: interface mismatch on Elpi__BuiltinFindlib)

Your message dated Thu, 10 Nov 2022 15:49:33 +0000
with message-id <E1ot9o5-0076AK-30@fasolo.debian.org>
and subject line Bug#1023762: fixed in mathcomp-analysis 0.5.4-3
has caused the Debian Bug report #1023762,
regarding mathcomp-analysis: 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.)


-- 
1023762: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1023762
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Source: mathcomp-analysis
Version: 0.5.4-2
Severity: serious
User: debian-ci@lists.debian.org
Usertags: regression

Dear maintainer(s),
With a recent upload of mathcomp-analysis the autopkgtest of mathcomp-analysis fails in testing when that autopkgtest is run with the binary packages of mathcomp-analysis from unstable. It passes when run with only packages from testing. In tabular form: 

                       pass            fail
mathcomp-analysis      from testing    0.5.4-2
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-analysis/0.5.4-2. I.e. due to versioned dependencies or breaks/conflicts. 
[1] https://qa.debian.org/excuses.php?package=mathcomp-analysis

https://ci.debian.net/data/autopkgtest/testing/arm64/m/mathcomp-analysis/28071927/log.gz

Error:
Dynlink error: interface mismatch on Elpi__BuiltinFindlib paths:
/usr/lib/ocaml/coq/../coq-core/plugins/zify
/usr/lib/ocaml/coq/../coq-core/plugins/derive
/usr/lib/ocaml/coq/../coq-core/plugins/funind
/usr/lib/ocaml/coq/../coq-core/plugins/micromega
/usr/lib/ocaml/coq/../coq-core/plugins/rtauto
/usr/lib/ocaml/coq/../coq-core/plugins/ssreflect
/usr/lib/ocaml/coq/../coq-core/plugins/number_string_notation
/usr/lib/ocaml/coq/../coq-core/plugins/extraction
/usr/lib/ocaml/coq/../coq-core/plugins/firstorder
/usr/lib/ocaml/coq/../coq-core/plugins/ssrmatching
/usr/lib/ocaml/coq/../coq-core/plugins/ltac
/usr/lib/ocaml/coq/../coq-core/plugins/ltac2
/usr/lib/ocaml/coq/../coq-core/plugins/nsatz
/usr/lib/ocaml/coq/../coq-core/plugins/tauto
/usr/lib/ocaml/coq/../coq-core/plugins/btauto
/usr/lib/ocaml/coq/../coq-core/plugins/ring
/usr/lib/ocaml/coq/../coq-core/plugins/cc
/usr/lib/ocaml/coq/../coq-core/..
/usr/lib/ocaml/coq/user-contrib/HB
/usr/lib/ocaml/coq/user-contrib/elpi
/usr/lib/ocaml/coq/user-contrib/elpi/apps
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive
/usr/lib/ocaml/coq/user-contrib/elpi/apps/eltac
/usr/lib/ocaml/coq/user-contrib/mathcomp
/usr/lib/ocaml/coq/user-contrib/mathcomp/field
/usr/lib/ocaml/coq/user-contrib/mathcomp/ssreflect
/usr/lib/ocaml/coq/user-contrib/mathcomp/bigenough
/usr/lib/ocaml/coq/user-contrib/mathcomp/solvable
/usr/lib/ocaml/coq/user-contrib/mathcomp/finmap
/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis
/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/altreals
/usr/lib/ocaml/coq/user-contrib/mathcomp/fingroup
/usr/lib/ocaml/coq/user-contrib/Ltac2
/usr/local/lib/ocaml/4.13.1
/usr/lib/ocaml
/usr/lib/ocaml/METAS


autopkgtest [16:17:00]: test command1

Attachment: OpenPGP_signature
Description: OpenPGP digital signature


--- End Message ---
--- Begin Message --- 
Source: mathcomp-analysis
Source-Version: 0.5.4-3
Done: Julien Puydt <jpuydt@debian.org>

We believe that the bug you reported is fixed in the latest version of
mathcomp-analysis, 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 1023762@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-analysis 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:23:11 +0100
Source: mathcomp-analysis
Architecture: source
Version: 0.5.4-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1023762
Changes:
 mathcomp-analysis (0.5.4-3) unstable; urgency=medium
 .
   * Fix elpi interface mismatch (Closes: #1023762)
Checksums-Sha1:
 9575431669ca908843ea3057df9a341f5b3a4e6f 2343 mathcomp-analysis_0.5.4-3.dsc
 48bc201e62da9a1c514ebb323ea9bd116586920d 8784 mathcomp-analysis_0.5.4-3.debian.tar.xz
 d422b7c1c21797143c6e3e2a2a61d9d0af4d39ae 8411 mathcomp-analysis_0.5.4-3_source.buildinfo
Checksums-Sha256:
 3f6d7f192bff43956065f64ded9449fedc21ba6696f7561a941727e378c0c00e 2343 mathcomp-analysis_0.5.4-3.dsc
 32f53317e91e25e2fc20694de5d82a7d75310a32ace5cacb1427997a7e977672 8784 mathcomp-analysis_0.5.4-3.debian.tar.xz
 2b74314976c27133ed04c253abe8d63cc5625245bca1b913369a14bdb93be9d7 8411 mathcomp-analysis_0.5.4-3_source.buildinfo
Files:
 d5a3209713ed7a228548cff46968205c 2343 ocaml optional mathcomp-analysis_0.5.4-3.dsc
 95832e0ac591df4794d9a2b71a5ef11f 8784 ocaml optional mathcomp-analysis_0.5.4-3.debian.tar.xz
 6d92532f628d35d29b6d753b6b242687 8411 ocaml optional mathcomp-analysis_0.5.4-3_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmNtF58SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRYCoQAJTVwUYHP2mVT6uYG9rP2SlkSt9RFIop
7/HQW6XzKhPXdd5DAfu0E9S/uLqTL4GLzbCjNgb74a8W44koyV0yOGCBuZFwXjPF
CVmYoDUZJcfEIH45yTmOhp/Kucjeaa3Wdw8YoReJDUqyn+AsKr5HkOGQnvjgVl/W
DKzNT6Fv9gmDeoM+p11hCi+hcKF3o2OVDBke5iDLat/y4ULAdBdYgPbs2496pXuY
8iPOKh4hWTchITaiELoIE5nFodTJyAr77oT1kBaDgVRCLAA+tt23SoeBuempdH5j
bOOWaLxxs0QZKJPncz4KPygrAVMLyd0YYy8VhLdAjmwmylGs6tMO/txvhCqaP1lm
af6wrnNjMMhxebVgptoU6MNAGO/iEjoaBA7lhbW1LamfWCaw4E99dViM26b4nLn/
z/B0H7Uve2YT9su+FhbxxREnSsXhKo75Y2xp2a242vLthmafxXzW5/BgkxpIT7DD
ofcoqoork3qAHAFEducJlTMEtKQJaxp3kzOIkzFPThJFL6MaMtss+Tsv4sYUzicu
PiaQ7ZiNPMzBfGlwuAkxZAMZqCmvwBSo1DGbR2+ryYjksh7W/YKQtzSJzRYuRccT
iXv9B0/oiYQhQjh5mBiKoV7FG05PXe+LnggeW1mMyWe0mxdvrkiwKUpG0Pm0LHUO
lOFDRU80LmLL
=1/8x
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: