Your message dated Wed, 13 Apr 2022 13:03:56 +0000
with message-id <e1necf6-00041c...@fasolo.debian.org>
and subject line Bug#1009449: fixed in coq-hierarchy-builder 1.2.1-4
has caused the Debian Bug report #1009449,
regarding coq-hierarchy-builder: FTBFS: make[2]: coq_makefile: No such file or
directory
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.)
--
1009449: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1009449
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: coq-hierarchy-builder
Version: 1.2.1-3
Severity: serious
Justification: FTBFS
Tags: bookworm sid ftbfs
User: lu...@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>>'
> /bin/sh: 1: coqtop: not found
> /bin/sh: 1: coqtop: not found
> ocamlc unix.cma str.cma -g hb.ml -o coq.hb
> coq_makefile -f _CoqProject -o Makefile.coq
> make[2]: coq_makefile: No such file or directory
> make[2]: *** [Makefile:70: Makefile.coq] Error 127
The full build log is available from:
http://qa-logs.debian.net/2022/04/12/coq-hierarchy-builder_1.2.1-3_unstable.log
All bugs filed during this archive rebuild are listed at:
https://bugs.debian.org/cgi-bin/pkgreport.cgi?tag=ftbfs-20220412;users=lu...@debian.org
or:
https://udd.debian.org/bugs/?release=na&merged=ign&fnewerval=7&flastmodval=7&fusertag=only&fusertagtag=ftbfs-20220412&fusertaguser=lu...@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: coq-hierarchy-builder
Source-Version: 1.2.1-4
Done: Julien Puydt <jpu...@debian.org>
We believe that the bug you reported is fixed in the latest version of
coq-hierarchy-builder, 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 1009...@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 coq-hierarchy-builder
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: Wed, 13 Apr 2022 14:41:15 +0200
Source: coq-hierarchy-builder
Architecture: source
Version: 1.2.1-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org>
Changed-By: Julien Puydt <jpu...@debian.org>
Closes: 1009449
Changes:
coq-hierarchy-builder (1.2.1-4) unstable; urgency=medium
.
* Rework b-deps (Closes: #1009449).
Checksums-Sha1:
8ea63410bdbe7e9c4a4444a2a978dd5d2214cd2b 2214 coq-hierarchy-builder_1.2.1-4.dsc
c748ab7b175c666fc6408a9c0aa893a17912567e 2800
coq-hierarchy-builder_1.2.1-4.debian.tar.xz
f389577581c77702d03cba9760b67400092ffee9 7298
coq-hierarchy-builder_1.2.1-4_source.buildinfo
Checksums-Sha256:
7677a45381111caa824c5f22346592b908d5e04bc494a4ee4a6c37dd7d847968 2214
coq-hierarchy-builder_1.2.1-4.dsc
379cb25691a9150597a9f398a19783a46b3ecc0635ce68980460e24f3b588b48 2800
coq-hierarchy-builder_1.2.1-4.debian.tar.xz
7f7224c4e54ab27a61a2bd16c811b8baba2759b4af96c9a563daeefc1a2badd3 7298
coq-hierarchy-builder_1.2.1-4_source.buildinfo
Files:
f3f14fb64af2740ebb2eecdfc1d86b97 2214 ocaml optional
coq-hierarchy-builder_1.2.1-4.dsc
123799891b38a164e260dd41b8356071 2800 ocaml optional
coq-hierarchy-builder_1.2.1-4.debian.tar.xz
f6c4300c139fdf7579d4334cec66b1c1 7298 ocaml optional
coq-hierarchy-builder_1.2.1-4_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJWxP4SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRSjEP/A3sfMnDagzIRd4Ijhlp78szoUwFm+O7
ESfyaNkUB+NyN88SM59b7v/lHAceB3AymnTN+gEuabfPq4ndWTptPofSIUvC2Bw0
35Ik/c8z4wDLNH46WWq4rCPxZrS/cdUc9iBQQwxLvwE+rOHyIwQwhUn5tIAfKJL6
IVsCuzzUgTQsc0qWBdhT134yoh4RqQbXfjQTDwArPRUgFP7Vh4XXDDmzP7CHMZ9P
eCL9AADP0RSvRsaoPVZK/JNAIDTEppuloZDR/tx45I8PrXhT5axzrt6GA1XjYV4H
2ONHQpMVwnAKZBRMa2XmqRHAIEIMreuqZ18aAomdAL5gz1SopnWjfdnQECAjvssf
DoVRl5IKjA9SbpVIptVD0QcFIAoE5C6HRXfMo9NbgxCyTLG99nrXdU2UKXB8LLwP
3dUzARBlVkppxiTZk5SSsffyfYNxZMnfor6vsFnRbjqG4x5hrIZw9C3lnOYq1Oek
Mdf5INIXTziscrfQs8/IbE+nvqWVhLN9kubwjOUNWP9Z2QZR+KgwPjqamY6szCJ6
jgttvAmwLqorBcpWhd0e5jCWllywF4jjKbXhgM7DELsaytOjMl0NpUeTQaLJ0n0w
lKfDHY9fF37X/Jdy7rGg+Jne02Q4envhE3xbbPZYHfbax6GwhIp+YznDHGUvrRNJ
B7uhdmBPucrg
=tBuS
-----END PGP SIGNATURE-----
--- End Message ---
