Bug#1009400: marked as done (mathcomp-analysis: FTBFS: Error: Cannot find library elpi.elpi in loadpath)
Your message dated Wed, 13 Apr 2022 15:10:51 +0000
with message-id <E1needv-000Hu0-1v@fasolo.debian.org>
and subject line Bug#1009400: fixed in mathcomp-analysis 0.5.0-3
has caused the Debian Bug report #1009400,
regarding mathcomp-analysis: FTBFS: Error: Cannot find library elpi.elpi in loadpath
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.)
--
1009400: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1009400
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Source: mathcomp-analysis
Version: 0.5.0-2
Severity: serious
Justification: FTBFS
Tags: bookworm sid ftbfs
User: lucas@debian.org
Usertags: ftbfs-20220412 ftbfs-bookworm
Hi,
During a rebuild of all packages in sid, your package failed to build
on amd64.
Relevant part (hopefully):
> make[2]: Entering directory '/<<PKGBUILDDIR>>'
> COQDEP VFILES
> COQC theories/mathcomp_extra.v
> COQC theories/boolp.v
> COQC theories/forms.v
> COQC theories/altreals/xfinmap.v
> File "./theories/forms.v", line 124, characters 0-52:
> Warning: class_of_axiom does not respect the uniform inheritance condition
> [uniform-inheritance,typechecker]
> File "./theories/forms.v", line 140, characters 0-48:
> Warning: additiver does not respect the uniform inheritance condition
> [uniform-inheritance,typechecker]
> File "./theories/forms.v", line 141, characters 0-45:
> Warning: linearr does not respect the uniform inheritance condition
> [uniform-inheritance,typechecker]
> COQC theories/signed.v
> COQC theories/classical_sets.v
> COQC theories/functions.v
> COQC theories/reals.v
> File "./theories/functions.v", line 3, characters 0-34:
> Error: Cannot find library elpi.elpi in loadpath
>
> make[3]: *** [Makefile.coq:764: theories/functions.vo] Error 1
The full build log is available from:
http://qa-logs.debian.net/2022/04/12/mathcomp-analysis_0.5.0-2_unstable.log
All bugs filed during this archive rebuild are listed at:
https://bugs.debian.org/cgi-bin/pkgreport.cgi?tag=ftbfs-20220412;users=lucas@debian.org
or:
https://udd.debian.org/bugs/?release=na&merged=ign&fnewerval=7&flastmodval=7&fusertag=only&fusertagtag=ftbfs-20220412&fusertaguser=lucas@debian.org&allbugs=1&cseverity=1&ctags=1&caffected=1#results
A list of current common problems and possible solutions is available at
http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute!
If you reassign this bug to another package, please marking it as 'affects'-ing
this package. See https://www.debian.org/Bugs/server-control#affects
If you fail to reproduce this, please provide a build log and diff it with mine
so that we can identify if something relevant changed in the meantime.
--- End Message ---
--- Begin Message ---
Source: mathcomp-analysis
Source-Version: 0.5.0-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 1009400@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: Wed, 13 Apr 2022 15:07:43 +0200
Source: mathcomp-analysis
Architecture: source
Version: 0.5.0-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1009400
Changes:
mathcomp-analysis (0.5.0-3) unstable; urgency=medium
.
* Rework b-deps (Closes: #1009400).
Checksums-Sha1:
22d47a9099a78a5a72f0717901fd2dad8162e840 2201 mathcomp-analysis_0.5.0-3.dsc
feade0712e6de1378aec05a4ade74a605ecf7c60 8416 mathcomp-analysis_0.5.0-3.debian.tar.xz
5a67e0a234de6f282fa57768a9f6d04a6e0dc76e 7695 mathcomp-analysis_0.5.0-3_source.buildinfo
Checksums-Sha256:
bf9a052cee38b5e66fa26f49e8f6cac21b67e88243d143e56df817381130db8c 2201 mathcomp-analysis_0.5.0-3.dsc
900753fbd912d7a762ab520022095ad0ff0d17d1ba00303fde08a0ebbbb3d715 8416 mathcomp-analysis_0.5.0-3.debian.tar.xz
494faa15c99b50a652a1cc097ba3329e87261324196182e3a5e78c1173dbfe53 7695 mathcomp-analysis_0.5.0-3_source.buildinfo
Files:
838d3e5275fac119f73d816f279ab2b5 2201 ocaml optional mathcomp-analysis_0.5.0-3.dsc
5e251daf66cbafe698377033ca68b68f 8416 ocaml optional mathcomp-analysis_0.5.0-3.debian.tar.xz
416a1f31618e995c830f2d28f588217a 7695 ocaml optional mathcomp-analysis_0.5.0-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJWy0cSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRxroP/R/BLowFkiHKgDmC1yklWGIzV4ydst1i
ZErpmN2GoQLyXzRMNr0kz9isWV7O9OK2NydSO58n+h8TAmRU985dYMcHtEOgxmO8
29wSqM6hFlC32vprax/Unu8VVqS6UicQUL+StDXOMPe2qW93DGmPX5Xh9JZ2WM0R
DS2ZVivgumdS9q30X9nbd/8wN/rvn2MANoOqaJTdrAo9g+1Z1XqxmZkxbK8mWmZJ
L6KaCepQpNtIoCBhra7+uQR/1nqNrJDBvhNYA5yPB4cHyhpAC2DX6MMvYkY81K7Q
3a3A7IbInppsYm+Tc4V+t/b6ipFKCYQT74i8JeFq6cBK+fP8WQRXPw4+FSTRNbVg
hAkUDIUphSrfmhu9p/OmhG1Pp+aCt2z4Xcx4nlkwgfDeq4jkA/rkpz4XwjCWu9G1
Lz6JfIowsli10fMYTdl0sAlhwsD9rNKt8cf+s6ITuG8/y7sFQbY766gP2E0QDyap
TZ9Npm1ozsOqzv8n/5nUmTikQdtYSAEc3pYeEOGr5YmoiBs0NZI+bhpKQv/mOX8j
zp35I0pN0J6GiIA2lWXueI2UAf7AHam7iFfAfLchN59Tugy/oJfq04/5WR3afPGT
dIqNKATAj1LiCAtdVx7NxHOhOV+7VDlkiKrVqdUSa6zPauqXuhP4pYEBPVHj120J
bCyo3ZISA2ra
=D9iE
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: