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

Bug#1016259: marked as done (mathcomp-analysis: FTBFS: build-dependency not installable: libcoq-elpi-b71f8)

Your message dated Sat, 06 Aug 2022 21:53:42 +0000
with message-id <E1oKRjq-00HOBJ-Ad@fasolo.debian.org>
and subject line Bug#1016259: fixed in mathcomp-analysis 0.5.2-2
has caused the Debian Bug report #1016259,
regarding mathcomp-analysis: FTBFS: build-dependency not installable: libcoq-elpi-b71f8
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.)


-- 
1016259: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1016259
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Source: mathcomp-analysis
Version: 0.5.2-1
Severity: serious
Justification: FTBFS
Tags: bookworm sid ftbfs
User: lucas@debian.org
Usertags: ftbfs-20220728 ftbfs-bookworm

Hi,

During a rebuild of all packages in sid, your package failed to build
on amd64.


Relevant part (hopefully):
> +------------------------------------------------------------------------------+
> | Install package build dependencies                                           |
> +------------------------------------------------------------------------------+
> 
> 
> Setup apt archive
> -----------------
> 
> Merged Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-elpi, libcoq-elpi-ocaml-dev, libcoq-hierarchy-builder, libcoq-mathcomp-algebra, libcoq-mathcomp-field, libcoq-mathcomp-fingroup, libcoq-mathcomp-solvable, libcoq-mathcomp-ssreflect, libcoq-mathcomp-bigenough, libcoq-mathcomp-finmap, ocaml-dune, build-essential, fakeroot
> Filtered Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-elpi, libcoq-elpi-ocaml-dev, libcoq-hierarchy-builder, libcoq-mathcomp-algebra, libcoq-mathcomp-field, libcoq-mathcomp-fingroup, libcoq-mathcomp-solvable, libcoq-mathcomp-ssreflect, libcoq-mathcomp-bigenough, libcoq-mathcomp-finmap, ocaml-dune, build-essential, fakeroot
> dpkg-deb: building package 'sbuild-build-depends-main-dummy' in '/<<RESOLVERDIR>>/apt_archive/sbuild-build-depends-main-dummy.deb'.
> Ign:1 copy:/<<RESOLVERDIR>>/apt_archive ./ InRelease
> Get:2 copy:/<<RESOLVERDIR>>/apt_archive ./ Release [957 B]
> Ign:3 copy:/<<RESOLVERDIR>>/apt_archive ./ Release.gpg
> Get:4 copy:/<<RESOLVERDIR>>/apt_archive ./ Sources [464 B]
> Get:5 copy:/<<RESOLVERDIR>>/apt_archive ./ Packages [549 B]
> Fetched 1970 B in 0s (80.5 kB/s)
> Reading package lists...
> Reading package lists...
> 
> Install main build dependencies (apt-based resolver)
> ----------------------------------------------------
> 
> Installing build dependencies
> Reading package lists...
> Building dependency tree...
> Some packages could not be installed. This may mean that you have
> requested an impossible situation or if you are using the unstable
> distribution that some required packages have not yet been created
> or been moved out of Incoming.
> The following information may help to resolve the situation:
> 
> The following packages have unmet dependencies:
>  libcoq-hierarchy-builder : Depends: libcoq-elpi-b71f8 but it is not installable
> E: Unable to correct problems, you have held broken packages.
> apt-get failed.


The full build log is available from:
http://qa-logs.debian.net/2022/07/28/mathcomp-analysis_0.5.2-1_unstable.log

All bugs filed during this archive rebuild are listed at:
https://bugs.debian.org/cgi-bin/pkgreport.cgi?tag=ftbfs-20220728;users=lucas@debian.org
or:
https://udd.debian.org/bugs/?release=na&merged=ign&fnewerval=7&flastmodval=7&fusertag=only&fusertagtag=ftbfs-20220728&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.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 1016259@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: