Your message dated Mon, 17 Jan 2022 16:48:42 +0000
with message-id <e1n9vbs-000hm0...@fasolo.debian.org>
and subject line Bug#1002930: fixed in coq-hierarchy-builder 1.2.1-1
has caused the Debian Bug report #1002930,
regarding coq-hierarchy-builder: Error: Unable to locate library elpi with
prefix elpi.
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.)
--
1002930: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1002930
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: coq-hierarchy-builder
Version: 1.2.0-1
Severity: serious
Tags: ftbfs
Justification: fails to build from source
X-Debbugs-Cc: sramac...@debian.org
| make[3]: Entering directory '/<<PKGBUILDDIR>>'
| COQDEP VFILES
| *** Warning: in file structures.v, library elpi is required from root elpi
and has not been found in the loadpath!
| COQC structures.v
| File "./structures.v", line 15, characters 25-29:
| Error: Unable to locate library elpi with prefix elpi.
https://buildd.debian.org/status/fetch.php?pkg=coq-hierarchy-builder&arch=amd64&ver=1.2.0-1%2Bb1&stamp=1641041145&raw=0
Cheers
--
Sebastian Ramacher
signature.asc
Description: PGP signature
--- End Message ---
--- Begin Message ---
Source: coq-hierarchy-builder
Source-Version: 1.2.1-1
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 1002...@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: Mon, 17 Jan 2022 15:42:42 +0100
Source: coq-hierarchy-builder
Architecture: source
Version: 1.2.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org>
Changed-By: Julien Puydt <jpu...@debian.org>
Closes: 1002930
Changes:
coq-hierarchy-builder (1.2.1-1) unstable; urgency=medium
.
* Add explicit b-dep on libelpi-ocaml-dev. (Closes: #1002930)
* New upstream release.
* Drop patches (obsolete).
Checksums-Sha1:
552f35e2483bd1cfb136e94e79bff55d3b533e18 2215 coq-hierarchy-builder_1.2.1-1.dsc
045f0a087b3ca5de100a546056e9ec14faf3b09c 188565
coq-hierarchy-builder_1.2.1.orig.tar.gz
10ed51699b320b11641fb76e2547770ba75f1623 2628
coq-hierarchy-builder_1.2.1-1.debian.tar.xz
fc736d0da7ce361ae23e4a733e75b50f6bdacf3e 8040
coq-hierarchy-builder_1.2.1-1_source.buildinfo
Checksums-Sha256:
80d9cf68e774be42bf74faf799383402271abbf61e64158014930b0a60b8a24e 2215
coq-hierarchy-builder_1.2.1-1.dsc
a515d4fea55c30a6346877edfa6f23447a19c6875feb889ec21bed062c004060 188565
coq-hierarchy-builder_1.2.1.orig.tar.gz
87776b4928d906a11d5a96317ae68f7b05830d174a72c2ebb481013f499a215d 2628
coq-hierarchy-builder_1.2.1-1.debian.tar.xz
581fcaf0a08bd553371e8149cd078480e2cc0b1ceda50820984beb316f85d6a9 8040
coq-hierarchy-builder_1.2.1-1_source.buildinfo
Files:
81ca6c337d9368385fd813e95699f2c2 2215 ocaml optional
coq-hierarchy-builder_1.2.1-1.dsc
d58be118c53633852c814eb042f67129 188565 ocaml optional
coq-hierarchy-builder_1.2.1.orig.tar.gz
000ed56d5b26a77511bb762dbb5319f7 2628 ocaml optional
coq-hierarchy-builder_1.2.1-1.debian.tar.xz
65497eb189670ae229d082ec0eebca39 8040 ocaml optional
coq-hierarchy-builder_1.2.1-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmHlgI8SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRnAAP/1yDwKxyiz5ajZpiXEZXPubnzeUjzr6Q
iMqNCfIWDaGNQEtUGp/jxZmRc9HkzTDYI03eXMSxYBTxNupH/+3du8+/lJ/3gwHz
IWtsez8I64g3a/ceproEXSnj1LRpU6ztqO+EDKLBY19Yst8cFS38MIcxz80rVFSW
1gKyeYYRygJJXuzRFquvuldZMKcWoB+0+ri/ye1seIWWbXT02P47s5vEKncZZ2fR
uN1JkfGh4f8rMI8S/ganHcKEyrlgQrNUIqo1rIUWRLFYS0yzWTlzsecUxUbr5d/H
Imr+4ShH8olW6bWUVqAMG/svw+5u9ThAdkwx52xUukNMXeg4cVXMo2IQUyiQhmzy
SdNvvvPD/yPBj+6nr+S518uXFITe3d48n1pBL344OO9TWZoMVTtNhHHE+GPxrVEj
xN9Wh4B06R5Mj6evYVAlsy1lH2zn2C/MKVEdMxPBEUtMsGdeVPgyU3e6pcqvuyr9
kLjwqDGIWUJar+tr+GJedxGE+8EzI11ev0RTyQRdPHUNpYD9czdtExdr2icOXnpY
+w37SdEVWq+APn9a7KYNUqskJ2o8C+VRzrKsVItMSrEFGPyRdfyneqoSUan3XzcQ
/M4NfdOINl5jFRuwNyHwDRVYMZCR5rO2sOn3cOsHcL6CnCLK09D4TCxGagtx5FLa
feAdX8ZBI/qe
=3KkY
-----END PGP SIGNATURE-----
--- End Message ---
