Your message dated Sat, 23 Jan 2021 19:08:42 +0100
with message-id <yaxmkuexkdtq2...@dogguy.org>
and subject line FTBFS: build-dependency not installable: libmenhir-ocaml-dev-*
has caused the Debian Bug report #980614,
regarding frama-c: FTBFS: build-dependency not installable:
libmenhir-ocaml-dev-sg295
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.)
--
980614: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=980614
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: frama-c
Version: 20201209+titanium-4
Severity: serious
Justification: FTBFS on amd64
Tags: bullseye sid ftbfs
Usertags: ftbfs-20210120 ftbfs-bullseye
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: debhelper-compat (= 13), ocaml-nox (>= 4.08.1),
> dh-ocaml (>= 0.9~), graphviz, autoconf, libzarith-ocaml-dev, ocaml-findlib,
> libfindlib-ocaml-dev, libyojson-ocaml-dev, libwhy3-ocaml-dev (>= 1.3.1),
> libocamlgraph-ocaml-dev (>= 1.8.8), liblablgtk3-ocaml-dev (>= 3.0~beta4),
> liblablgtksourceview3-ocaml-dev, build-essential, fakeroot
> Filtered Build-Depends: debhelper-compat (= 13), ocaml-nox (>= 4.08.1),
> dh-ocaml (>= 0.9~), graphviz, autoconf, libzarith-ocaml-dev, ocaml-findlib,
> libfindlib-ocaml-dev, libyojson-ocaml-dev, libwhy3-ocaml-dev (>= 1.3.1),
> libocamlgraph-ocaml-dev (>= 1.8.8), liblablgtk3-ocaml-dev (>= 3.0~beta4),
> liblablgtksourceview3-ocaml-dev, 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 [490 B]
> Get:5 copy:/<<RESOLVERDIR>>/apt_archive ./ Packages [578 B]
> Fetched 2025 B in 0s (0 B/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:
> libwhy3-ocaml-dev : Depends: libmenhir-ocaml-dev-sg295 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/2021/01/20/frama-c_20201209+titanium-4_unstable.log
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 me
so that we can identify if something relevant changed in the meantime.
About the archive rebuild: The rebuild was done on EC2 VM instances from
Amazon Web Services, using a clean, minimal and up-to-date chroot. Every
failed build was retried once to eliminate random failures.
--- End Message ---
--- Begin Message ---
notfound 980621 coinst/1.9.3-3
notfound 980614 frama-c/20201209+titanium-4
notfound 980615 nurpawiki/1.2.4-1
thanks
This is due to a series of binNMUs that were not scheduled after
updating menhir. All needed binNMUs are now scheduled. Thus, closing
this bugreport.
Thanks,
--
Mehdi Dogguy
--- End Message ---
