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

Bug#1002930: marked as done (coq-hierarchy-builder: Error: Unable to locate library elpi with prefix elpi.)



Your message dated Mon, 17 Jan 2022 08:34:00 +0000
with message-id <E1n9NSi-00072E-Ch@fasolo.debian.org>
and subject line Bug#1002930: fixed in coq-elpi 1.11.2-2
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 owner@bugs.debian.org
immediately.)


-- 
1002930: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1002930
Debian Bug Tracking System
Contact owner@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: sramacher@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

Attachment: signature.asc
Description: PGP signature


--- End Message ---
--- Begin Message ---
Source: coq-elpi
Source-Version: 1.11.2-2
Done: Julien Puydt <jpuydt@debian.org>

We believe that the bug you reported is fixed in the latest version of
coq-elpi, 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 1002930@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 coq-elpi 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: Mon, 17 Jan 2022 08:46:21 +0100
Source: coq-elpi
Architecture: source
Version: 1.11.2-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1002930
Changes:
 coq-elpi (1.11.2-2) unstable; urgency=medium
 .
   * Fix -dev package not depending on the lib package. (Closes: #1002930)
Checksums-Sha1:
 69a012f0c2c91d387e13f9b9dd9c90bf00a6fdad 2078 coq-elpi_1.11.2-2.dsc
 7521cbe647492d0dd56ab9b0475de6ba03bc472a 3988 coq-elpi_1.11.2-2.debian.tar.xz
 f0098e4f8d0501f3f30cd7c6a0eb79794fc1669c 8092 coq-elpi_1.11.2-2_source.buildinfo
Checksums-Sha256:
 aea1d2e5c4f65fff7804cc0a79b1b6ab9e511baa87749f2953d3a86c871a6bcf 2078 coq-elpi_1.11.2-2.dsc
 3338dc0fde8b3d8a0e2aa7bfb8e37798d5a13d44ac8dc39d6d1250fe1435a33f 3988 coq-elpi_1.11.2-2.debian.tar.xz
 fc684947f07d1644f65d05d311026771c01e6261d74845785a976633cfdb39a1 8092 coq-elpi_1.11.2-2_source.buildinfo
Files:
 d3c730c4a1ce84521b24b0dfaafdf06d 2078 ocaml optional coq-elpi_1.11.2-2.dsc
 c1febf1d9b079479700abf2edb4afcf0 3988 ocaml optional coq-elpi_1.11.2-2.debian.tar.xz
 8cc10f3be09bb65c1bf3d89f0f1cc948 8092 ocaml optional coq-elpi_1.11.2-2_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmHlHxUSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRSvoQAIKtK/DhyztOYutx35Z4vUxApE1Tl1YU
Uzeq/JuHMC3RnfdXYOjTAt3C+YvrwcBpMnLbV6C0xJ1ljO1esGL/JYFFjfUdRPnm
Sq/hjGYX1xoEj0nWyJZC9MrEINU1WEI8zOcC5Est7mi1NUj5dm3voaiaky3DIav/
G/aRW1V5ENrD9gbdUXsO6mfmkQQ2w0x0tBbKSR3qA7dM0qQ+LaiUDLaEH36O3o+s
IcGsMmXPBnjn13owOgy/YWP14TQUIQLY7vdsHO6fJkp75VZqBvs19ExOCpJpsmoV
/CgD2QotUzqNJg+QdOXgBHm2wTAl4NklvwL/tld89QiD9otTaM1Tdn6uVj/ETXtn
zJF4nfJyQSdvuZX+Hl5VhyO0S0V81h217hpumJOHWMHiQtqX/tLdol0nCre+536N
pU6+HjCDzJmo9bdaGSmzUUMsCNgspEXKT8c5vpb0abAk1R4yj/ShMe2/GvlK7DWd
XZS7bzwlOZXivoJWLWrZPELZei7roQhkBEulj0Hf/IK9bYlwt1OQvlLWLR/x2yzQ
gI6xRCGEKMQ+fHz+CW6RFTI4k5svq3u/XAbHgqWgiWrJTehLo3YZ8ZJGzsy2Zo9p
F9vPOqn2f6cnZYcG7JG+rwWFzKHHgup1sJAb5+AkO1ztUR6uWLNtUUVwuZscZd1U
nxftA30m1fBN
=Q/yD
-----END PGP SIGNATURE-----

--- End Message ---

Reply to: