Your message dated Wed, 26 Jul 2023 07:35:56 +0000
with message-id <e1qoz3s-002s87...@fasolo.debian.org>
and subject line Bug#1042022: fixed in coq-hierarchy-builder 1.4.0-6
has caused the Debian Bug report #1042022,
regarding coq-hierarchy-builder FTBFS with elpi 1.17.0
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.)
--
1042022: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1042022
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: coq-hierarchy-builder
Version: 1.4.0-5
Severity: serious
Tags: ftbfs
https://buildd.debian.org/status/fetch.php?pkg=coq-hierarchy-builder&arch=ppc64&ver=1.4.0-5%2Bb4&stamp=1690315855&raw=0
...
make -f Makefile.coq
make[3]: Entering directory '/<<PKGBUILDDIR>>'
COQDEP VFILES
COQC structures.v
File "./structures.v", line 341, characters 0-15:
Error:
File "/<<PKGBUILDDIR>>/HB/howto.elpi", line 102, column 0, character
3984:Cannot spill: unknown arity of gref-deps
make[4]: *** [Makefile.coq:844: structures.vo] Error 1
--- End Message ---
--- Begin Message ---
Source: coq-hierarchy-builder
Source-Version: 1.4.0-6
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 1042...@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, 26 Jul 2023 09:12:38 +0200
Source: coq-hierarchy-builder
Architecture: source
Version: 1.4.0-6
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org>
Changed-By: Julien Puydt <jpu...@debian.org>
Closes: 1042022
Changes:
coq-hierarchy-builder (1.4.0-6) unstable; urgency=medium
.
* Add patch to work with recent elpi (Closes: #1042022).
Checksums-Sha1:
9f443721010424aee3f6ded595884e8f994dc458 2225 coq-hierarchy-builder_1.4.0-6.dsc
db9746390908a852d0dff676b91e6e1a954a1912 5616
coq-hierarchy-builder_1.4.0-6.debian.tar.xz
5d874f77e887d33155edae7f8ab31dd7a0755456 8173
coq-hierarchy-builder_1.4.0-6_source.buildinfo
Checksums-Sha256:
d9bea7b89bf30e2eec47d6bc5105ebf706425288a21ab3680bc83bb6e1f7131d 2225
coq-hierarchy-builder_1.4.0-6.dsc
3fa5efbeafb78802ac649cb1f7ae93bdd1b13c38fcdb8a1736e8cc8de66e2232 5616
coq-hierarchy-builder_1.4.0-6.debian.tar.xz
b6e30139d2a7b7a9b2c8c00410239b62dfea0f2f400e3e5ae9e92c4349b8df54 8173
coq-hierarchy-builder_1.4.0-6_source.buildinfo
Files:
d39d61e9244b7488fb3f562464628d47 2225 ocaml optional
coq-hierarchy-builder_1.4.0-6.dsc
87647711a15046f5fb97a4c0692adeed 5616 ocaml optional
coq-hierarchy-builder_1.4.0-6.debian.tar.xz
f0f6a4c5b8fe9ffd5435dd11821173aa 8173 ocaml optional
coq-hierarchy-builder_1.4.0-6_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmTAx44SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRoQIP/2S6r8lAc8l+uuIb9i/ULX+Ptp5Y2rXi
hleqY+z6yihmv5JPtopi6g5Zxn03H21CvgfWIjE2hiFpRuBsuNS/hCgmpsfaHC01
ITJz0MIclYj9acZvT/sB5FTiN24Q/4h3lcOQS4bHMXSWRZ1IA1HUsFvy9QiUyYIG
Or9GHX3fVjUJM3vfdzbr+h85KKppOzZ92DBO8dOvDOn5qWg06mMDPPmLSQwDxCSF
3bvEjToBHdjBb02PDIIr2xBTB28ui2kuC8L0PG4TzsquksLApN3lJ/l1Ig9xb0xk
mZcVXckAGwfMex3pKjCPiSMFdzfkbKisnAROs+MHSzHhcC4QFAk3IXw9gx7wK1s0
L8/IhEMfAOUQ1ajT2uzfruJWxSmterMLIeX4PUoB7x+N3FeSDcbY10ZlpYJ6zZDE
FVKiZoEq6yooAf/ToAWkgV0pvZ3NZ8533cWamg8/0O7zQrrao7dI4xZd5MxRNHVJ
FBQ3oeTJvcwWTxCIihWp4Z1z5ky98Wdj1nB10y5raRvIGjMjLGm/2fBuXHNsvINX
0VOxEFYmeqWxegePOC6Lh3rjvzSBLJ/l33ByOSZ5yinMoyBiwl2ntBeEW89bDZ76
aemxnwn0nPsoO0An+aGBZF7JDFTT3BZ/mD3wDx43RSGlpfY5lzxhHVa8nP5OCKra
jcPH88eyLe0n
=TR1+
-----END PGP SIGNATURE-----
--- End Message ---
