Bug#1016748: marked as done (mathcomp-analysis: FTBFS: test failure: Error: apply-w-params)
Your message dated Sat, 06 Aug 2022 21:53:42 +0000
with message-id <E1oKRjq-00HOBM-BT@fasolo.debian.org>
and subject line Bug#1016748: fixed in mathcomp-analysis 0.5.2-2
has caused the Debian Bug report #1016748,
regarding mathcomp-analysis: FTBFS: test failure: Error: apply-w-params
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.)
--
1016748: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1016748
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: Debian Bug Tracking System <submit@bugs.debian.org>
- Subject: mathcomp-analysis: FTBFS: test failure: Error: apply-w-params
- From: Sebastian Ramacher <sramacher@debian.org>
- Date: Sat, 6 Aug 2022 16:09:02 +0200
- Message-id: <Yu51/hfJj7+MhWG3@ramacher.at>
Source: mathcomp-analysis
Version: 0.5.2-1
Severity: serious
Tags: ftbfs
Justification: fails to build from source (but built successfully in the past)
Rebuilds of mathcomp-analysis failed:
COQC theories/realfun.v
COQC theories/exp.v
COQC theories/lebesgue_measure.v
File "./theories/lebesgue_measure.v", line 133, characters 0-76:
Warning: Casts are ignored in patterns [cast-in-pattern,automation]
File "./theories/lebesgue_measure.v", line 133, characters 0-76:
Warning: Casts are ignored in patterns [cast-in-pattern,automation]
COQC theories/lebesgue_integral.v
COQC theories/trigo.v
File "./theories/lebesgue_integral.v", line 201, characters 0-51:
Error: apply-w-params
make[3]: *** [Makefile.coq:764: theories/lebesgue_integral.vo] Error 1
make[3]: *** Waiting for unfinished jobs....
make[2]: *** [Makefile.coq:387: all] Error 2
Cheers
--
Sebastian Ramacher
--- End Message ---
--- Begin Message ---
Source: mathcomp-analysis
Source-Version: 0.5.2-2
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 1016748@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: Sat, 06 Aug 2022 23:25:50 +0200
Source: mathcomp-analysis
Architecture: source
Version: 0.5.2-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1016259 1016748
Changes:
mathcomp-analysis (0.5.2-2) unstable; urgency=medium
.
* Add patch to support more recent elpi versions (Closes: #1016748).
* Upload will trigger rebuild (Closes: #1016259).
Checksums-Sha1:
bd88b3bb31e1d4d7a2bd0af2d005fe14d6c4ce3c 2366 mathcomp-analysis_0.5.2-2.dsc
ca301eb5d2f5365f7e35251a18c023884c9a52f9 9008 mathcomp-analysis_0.5.2-2.debian.tar.xz
5b72aa5cd499f6eef5bd71a9f4801ecb8b0de6d5 7901 mathcomp-analysis_0.5.2-2_source.buildinfo
Checksums-Sha256:
8ae93b458e65574dde936d7d041ef5bf1250f08bd0b3ad6d978d8b06d4af2c30 2366 mathcomp-analysis_0.5.2-2.dsc
5a784bba5d1e8b9fb17a6b54f5f02de56a1b03eea77832a351778727f67c7c30 9008 mathcomp-analysis_0.5.2-2.debian.tar.xz
f91fe02b36918407847a83b6e010a52af7756954506fd41ec0f21d03c9fa9a1b 7901 mathcomp-analysis_0.5.2-2_source.buildinfo
Files:
583d557ed9c92fabe2911039282f42a9 2366 ocaml optional mathcomp-analysis_0.5.2-2.dsc
070a708d7c3f897cd803cdc2e9186b57 9008 ocaml optional mathcomp-analysis_0.5.2-2.debian.tar.xz
f3f4445625a0f9c9211db52238496375 7901 ocaml optional mathcomp-analysis_0.5.2-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLu3LYSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRDtkP/1sid6VGeZfxdIUP7Cqu7neb60zXqMec
fIa+w1aXYBTQHd7KizDqmr/iifZ2ZC+Zdxs7F0InZ6IaRi7kymeZ0rMojRKWPE8z
dGU0MQbV+r9CDS8+jrvkq6qcA3bTGwoSJy20wXYKdsmfOJsxrpq0qAyhoQNbLaY3
9hqg9RLbwEyoTHSuE89cT8fxi6ninspQE1P6tW/NLofBu68/O38XqAhj3aW5aoab
o3Zr4L7X9YCYlXBRZsd81rsIfVKyQwLnaSn0cizUsQ59bc2+oGXqzHyUSgveEa6B
+QuNTmyeW5sg0lPMfScVMLAGI1D4QTAgxY+1anxLxI4hmmwxJlaJGk1kd1neGA7j
8+dvOcSgx96U13nInhvhMI4aZKaN3eb4Wyp59aeJK0I1OkfNaDiJ56em6QLmNXKc
j/IKleqt1k/L5vNHIF+E5IdeFc+qTbKpsTng3UcbzvsnLfaoO93te+dFh9g0oCpF
eE9rwWs9Cw1Yv3vxe9Me9aqzj9IKma7OZJtyKA3IaVVnbHF3WkzeQBPhhpX6DH3p
QF6OkKSjlMFO7tkJUXw0RElmi9VE6j6Ifj83b2rvZLoSdsDG2pHn9sa15yJGiDqO
tySobPCBRDaT+CYGNGuAN1ARZzeWneddRALan8o74qk25o63TMIzCZMcUBMuXwXB
4rzGvkFPfr7F
=jsU7
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: