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

Bug#1005920: marked as done (coq-doc: FTBFS: Error: Library "zarith" not found.)

Your message dated Thu, 17 Feb 2022 12:48:52 +0000
with message-id <E1nKgDM-000Cod-GM@fasolo.debian.org>
and subject line Bug#1005920: fixed in coq-doc 8.15.0-2
has caused the Debian Bug report #1005920,
regarding coq-doc: FTBFS: Error: Library "zarith" not found.
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.)


-- 
1005920: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1005920
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Source: coq-doc
Version: 8.15.0-1
Severity: serious
Tags: ftbfs
Justification: fails to build from source

Hi,

I cannot rebuild coq-doc in sid (minimal pbuilder chroot), it fails with

[...]
dh binary --with sphinxdoc
   dh_update_autotools_config
   dh_autoreconf
   debian/rules override_dh_auto_build
make[1]: Entering directory '/build/coq-doc-8.15.0'
dune build @refman-html @refman-pdf --display=verbose
Workspace root: /build/coq-doc-8.15.0
Running[0]: /usr/bin/nproc > /tmp/dune0e9ce7.output 2> /dev/null
Auto-detected concurrency: 16
disable binary cache
Running[1]: /usr/bin/ocamlc.opt -config > /tmp/duneedc787.output
[...]
Running[1244]: (cd _build/default && tools/configure/configure.exe -no-ask -native-compiler no -bin-annot)
[...]
Command [1244] exited with code 1:
$ (cd _build/default && tools/configure/configure.exe -no-ask -native-compiler no -bin-annot)
ocamlfind: Package `zarith' not found
Error while running '/usr/bin/ocamlfind query zarith -format %v' (exit code 2)
Configuration script failed!
File "interp/dune", line 6, characters 12-18:
6 |  (libraries zarith pretyping))
                ^^^^^^
Error: Library "zarith" not found.
Hint: try:
  dune external-lib-deps --missing --display verbose @refman-html @refman-pdf
make[1]: *** [debian/rules:9: override_dh_auto_build] Error 1
[...]


Andreas

Attachment: coq-doc_8.15.0-1_sid.build.gz
Description: application/gzip


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

We believe that the bug you reported is fixed in the latest version of
coq-doc, 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 1005920@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-doc 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: Thu, 17 Feb 2022 13:27:49 +0100
Source: coq-doc
Binary: coq-doc coq-doc-html coq-doc-pdf
Architecture: source all
Version: 8.15.0-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 coq-doc    - documentation for Coq
 coq-doc-html - documentation for Coq in html format
 coq-doc-pdf - documentation for Coq in pdf format
Closes: 1005920
Changes:
 coq-doc (8.15.0-2) unstable; urgency=medium
 .
   * Fix b-deps (Closes: #1005920).
Checksums-Sha1:
 a6169cf6126ce3aba90a37eb28f5df2927c7f440 2412 coq-doc_8.15.0-2.dsc
 e3ec5dff4c5da4d167042b86ff4ef9c6b90a9a99 7528 coq-doc_8.15.0-2.debian.tar.xz
 e84e1ddbee8aba91a64878b5dee6212b4134154d 1419852 coq-doc-html_8.15.0-2_all.deb
 70fb01b1ecc84ee6f8597bada1a0ae178e3f3d1a 4065332 coq-doc-pdf_8.15.0-2_all.deb
 dc4d4f8178f042e4d1ae606d35b725232fd3e05d 6460 coq-doc_8.15.0-2_all.deb
 ee7578798f59e51ba91aff82df77209f8ce914ae 12871 coq-doc_8.15.0-2_amd64.buildinfo
Checksums-Sha256:
 9ae98adf9a39e01ae0174c7afd6fe482e50258fc8079d2f523f52275a7ba7d55 2412 coq-doc_8.15.0-2.dsc
 fd7e69a1f6263198db9de91526da7dfd742498d23f4e017327b208b6b709f99c 7528 coq-doc_8.15.0-2.debian.tar.xz
 da1c31dc796e9f211be0191db3e9b6bd56eb52d1e3ba3c4533c7d50a55204b66 1419852 coq-doc-html_8.15.0-2_all.deb
 2742b205c8efa6b1952eff89d9813c872de4726c5d2e37cc6916c60e3e12aff0 4065332 coq-doc-pdf_8.15.0-2_all.deb
 aa196a9ff2f2d36aedcd420299f65d7789ca3c6db5b3b45cd434b9f5dfebb18f 6460 coq-doc_8.15.0-2_all.deb
 a30c97dfadfd4243015b786c38ee2692e01ce0f5f8cf6b9bd6c2171bc7fc34df 12871 coq-doc_8.15.0-2_amd64.buildinfo
Files:
 0114fe6d91a6d83e42194953dc6efb0f 2412 non-free/doc optional coq-doc_8.15.0-2.dsc
 b1f0886128ad7877bcb3ac8ace7f54e6 7528 non-free/doc optional coq-doc_8.15.0-2.debian.tar.xz
 9c105fcfbcef15bd45e0be2fb8503eca 1419852 non-free/doc optional coq-doc-html_8.15.0-2_all.deb
 585732218041735795ccb88cd3bc6174 4065332 non-free/doc optional coq-doc-pdf_8.15.0-2_all.deb
 be64606018a6605d48fc615fccccf730 6460 non-free/doc optional coq-doc_8.15.0-2_all.deb
 fa6523711b5cf0f76c50bf20a511bb02 12871 non-free/doc optional coq-doc_8.15.0-2_amd64.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmIOQWMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRCdQP/jXOZFXN5auqbHzgcfrSBTN8B8lIgfGU
v/QwlU4YNfYyYyi3LIBLu8XPzaHV9zfpoheWUOSCOZw0XezYmD0xqnyPKYbMJoTS
ocqar2GbCcsSIzscYb9fZolLnIb7SDYPd4JiEZxL6wyhUgD8xvQyNRU6yGfk5Dow
s2EDaIhE5SY8Hhqur70AEPDa/eMQ1pxvmtXEUAbkIXHYLCfYz3E9CuNctoG17Unn
sBz6SviKFjafh0Jj2NCYKUwE2E+SHOHusBVZ5TWtHjuzRSvNFdSiA1k8reswvwqP
R88LbA7NoFb3geXQd0KaUYuLFwi4qVQ9we19+3590o7rQu1Xm9ly9Fxqte0mO3ul
xV+Bhef3JoEb/+Y/rj8EUI7GwjxS6M9oerMRvIYBG95VtDZnM39uKhnLmrKA77PE
fbzt2Eg1cFn7eJc9qFSXwOll2yNm7nr0eXT/ZKJm/3KJsREcdR7ZlnUEhY89wZts
d7/Oz5pb1pWAqHAQvo+vcdHcftrXNO/nbN8Xxo9l+/ikhfPr2TihY50KWRRNxus2
t+sWV04rD04m2xjqH8W4PGWtIt3dps29B8DOtT4cL6mARp/6W/0GEPtlN/6S4ReJ
GpL3REvJHV8UJ40KOYWGdpwMuopg2RK2LqqH7nm5Fgi9vEGOZIk38KXQ2DrEixJ6
YHYXXu8856ZG
=Fy/p
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: