Your message dated Thu, 10 Nov 2022 15:49:33 +0000
with message-id <e1ot9o5-0076ak...@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 ow...@bugs.debian.org
immediately.)
--
1023762: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1023762
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: mathcomp-analysis
Version: 0.5.4-2
Severity: serious
User: debian...@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
OpenPGP_signature
Description: OpenPGP digital signature
--- End Message ---
--- Begin Message ---
Source: mathcomp-analysis
Source-Version: 0.5.4-3
Done: Julien Puydt <jpu...@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 1023...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Julien Puydt <jpu...@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 ftpmas...@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-ma...@lists.debian.org>
Changed-By: Julien Puydt <jpu...@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 ---
