[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 Tue, 22 Feb 2022 13:33:54 +0000
with message-id <E1nMVIg-000Hd5-93@fasolo.debian.org>
and subject line Bug#1005920: fixed in coq-doc 8.15.0-3
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-3
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: Tue, 22 Feb 2022 14:02:25 +0100
Source: coq-doc
Binary: coq-doc coq-doc-html coq-doc-pdf
Architecture: source all
Version: 8.15.0-3
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-3) unstable; urgency=medium
 .
   * Fix b-deps again (Closes: #1005920).
Checksums-Sha1:
 9a4863315a8588f3dc42308f6861794fc1640b66 2554 coq-doc_8.15.0-3.dsc
 c988c5eab24607a2193eb56b16c7b515002e6e1b 7600 coq-doc_8.15.0-3.debian.tar.xz
 deb82347022764be625cf88532db3ff83a3b9082 1419864 coq-doc-html_8.15.0-3_all.deb
 b5a6a9067bca7917cd677f1ed64c210697a3c76f 4065372 coq-doc-pdf_8.15.0-3_all.deb
 122b53266462daac288102a04f909b8e046370b0 6484 coq-doc_8.15.0-3_all.deb
 508194bda0f821298477ce33cc0e97aef73fd299 13368 coq-doc_8.15.0-3_amd64.buildinfo
Checksums-Sha256:
 738df330b2eeb0b1cba3e8c7852253cfab2ca595b8376e4e420578df9afd43b7 2554 coq-doc_8.15.0-3.dsc
 215ec135c804ec5fe7788c56efca77378fbfc92cee61f8ea9e68f58576472fb9 7600 coq-doc_8.15.0-3.debian.tar.xz
 9b5f7e65f4b0aa0f633e1dbe3350db4eb49640123be9d75534a760fd5f1e216e 1419864 coq-doc-html_8.15.0-3_all.deb
 e342d7620a4b1f6545c7ba1b8a2684ce0f1dd7d5b38bbde11913b12598a51554 4065372 coq-doc-pdf_8.15.0-3_all.deb
 e7ef103d650e7637a7ddca9dd1da2d777d237f6346f9cb9c75d8834c91387034 6484 coq-doc_8.15.0-3_all.deb
 22cddc8a128520b93dcb2615c3839599c8c31cb58d10bee45d7d3a52c315fa16 13368 coq-doc_8.15.0-3_amd64.buildinfo
Files:
 0186ed69112aafb5ec43f2c4e144ded0 2554 non-free/doc optional coq-doc_8.15.0-3.dsc
 ecbbf32e0a19e11ddbf511c83022f00a 7600 non-free/doc optional coq-doc_8.15.0-3.debian.tar.xz
 56470b77a3d65025fb9e555f8bdbb1bf 1419864 non-free/doc optional coq-doc-html_8.15.0-3_all.deb
 c8fd7ccc2d2c15a5a2b51f95e074af44 4065372 non-free/doc optional coq-doc-pdf_8.15.0-3_all.deb
 3b705342b7a1ad64b715075125407091 6484 non-free/doc optional coq-doc_8.15.0-3_all.deb
 e8fe0330b68f92908bf3bbe651d8e662 13368 non-free/doc optional coq-doc_8.15.0-3_amd64.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmIU4M8SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR8+sP+QGzmDKA85xka2wmT4s4mtKpJEoo9AHZ
YVMLVITenT45vvRgVPMNl5i4Sofk+/BG55u7noFyyCGF+hzkxTApqEnzEdeMfuJF
DkTACmoHhayznm++X2WZ805Q4xELmk5uEee7X44y/lyhhjqbum5OcnVfPkXHnFHe
rLLmVtkeymLH9wgUl311NeC8eRtraA5wDaoupvJcHYm45oxe39KKdJrs8O/98o+9
ezOSp4WfqLzVY380EkDg+fRcjtICTjF8CprlHRW0T9akFqkxaTD3gMrq8GimgkaY
itQAYxvgLsYqVYZnvVJo64ZVWONUVuNOxrdkDBtJ/dcwjc//329mlIPL7LyLpOaX
YJK2Attj64mdrtlRP8N0UvvNwgVdlFdrKdFJtyLcKogXz64A+WBOkH7FUI1cyQws
+7J6d0RmV3wLyxFyuNuiZi+2PEYfoRKNet/zBkYw7W9ZLTbV3EYIXIdRVEIIoJst
Qu/f06vteaEthbDjIaY2lmGDzj6EZNhQpDZQZL43F4HWpjm8qstIoaGxRPgb2QWz
Ndtq5F62jk9Ohu/sBHdQSPNfOg1GNdRTXfKyNfEcctCq+BHdAHKTpDqH3JRo9VeQ
00i5N4iNGUMliAsLZs7jCc9ch0VUaNTTjJrrXbS5RbOg3GQjNVPLCZy5lULubECX
6Gq+KnI82y1p
=/sKs
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: