Bug#1003586: marked as done (FTBFS with OCaml 4.13.1)
Your message dated Mon, 17 Jan 2022 15:04:35 +0000
with message-id <E1n9TYh-0002sb-VB@fasolo.debian.org>
and subject line Bug#1003586: fixed in coq 8.15.0+dfsg-1
has caused the Debian Bug report #1003586,
regarding FTBFS with OCaml 4.13.1
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.)
--
1003586: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1003586
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Source: coq
Version: 8.14.1+dfsg-1
Severity: important
Tags: ftbfs
User: debian-ocaml-maint@lists.debian.org
Usertags: ocaml-4.13.1-transition
Dear Maintainer,
Your package FTBFS with OCaml 4.13.1 with the following error:
> $ (cd _build/default && /usr/bin/ocamlc.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -keep-locs -rectypes -w -9-27+40+60 -g -bin-annot -I topbin/.coqtop_byte_bin.eobjs/byte -I /usr/lib/ocaml/compiler-libs -I /usr/lib/ocaml/threads -I /usr/lib/ocaml/zarith -I clib/.clib.objs/byte -I config/.config.objs/byte -I engine/.engine.objs/byte -I gramlib/.gramlib.objs/byte -I interp/.interp.objs/byte -I kernel/.kernel.objs/byte -I kernel/byterun/.coqrun.objs/byte -I lib/.lib.objs/byte -I library/.library.objs/byte -I parsing/.parsing.objs/byte -I pretyping/.pretyping.objs/byte -I printing/.printing.objs/byte -I proofs/.proofs.objs/byte -I stm/.stm.objs/byte -I sysinit/.sysinit.objs/byte -I tactics/.tactics.objs/byte -I toplevel/.toplevel.objs/byte -I vernac/.vernac.objs/byte -no-alias-deps -opaque -o topbin/.coqtop_byte_bin.eobjs/byte/dune__exe__Coqtop_byte_bin.cmo -c -impl topbin/coqtop_byte_bin.ml)
> File "topbin/coqtop_byte_bin.ml", line 22, characters 29-52:
> 22 | begin match Hashtbl.find Toploop.directive_table "rectypes" with
> ^^^^^^^^^^^^^^^^^^^^^^^
> Error (alert deprecated): Toploop.directive_table
> File "topbin/coqtop_byte_bin.ml", line 31, characters 42-59:
> 31 | { load_obj = (fun f -> if not (Topdirs.load_file ppf f)
> ^^^^^^^^^^^^^^^^^
> Error (alert deprecated): Topdirs.load_file
> make[2]: *** [debian/rules:30: override_dh_auto_build] Error 1
Packages rebuilt with OCaml 4.13.1 are available at:
https://ocaml.debian.net/transitions/ocaml-4.13.1/
Cheers,
--
Stéphane
-- System Information:
Debian Release: bookworm/sid
APT prefers testing
APT policy: (990, 'testing'), (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386
Kernel: Linux 5.15.0-2-amd64 (SMP w/4 CPU threads)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8), LANGUAGE not set
Shell: /bin/sh linked to /usr/bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled
--- End Message ---
--- Begin Message ---
Source: coq
Source-Version: 8.15.0+dfsg-1
Done: Julien Puydt <jpuydt@debian.org>
We believe that the bug you reported is fixed in the latest version of
coq, 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 1003586@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 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 12:26:54 +0100
Source: coq
Architecture: source
Version: 8.15.0+dfsg-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1003586
Changes:
coq (8.15.0+dfsg-1) unstable; urgency=medium
.
* New upstream release. (Closes: #1003586)
* Refresh patches.
* Refresh lintian overrides.
Checksums-Sha1:
74a189e13b6ef88a43fbda29312d3a5e39851a8b 2607 coq_8.15.0+dfsg-1.dsc
48ac3b1751bcad0651f69567bf7407b362fd64b9 4669948 coq_8.15.0+dfsg.orig.tar.xz
68f0990cbf957670f0cf82877dbfb20ae8b2f78e 39660 coq_8.15.0+dfsg-1.debian.tar.xz
c7d66cfbc6c77a532421cf743d38ee68ff38f31e 15549 coq_8.15.0+dfsg-1_source.buildinfo
Checksums-Sha256:
4251cfcf1ad5182c3aa912b9fab7aa97cf7aca2bb9b994425f71c4a181814ff2 2607 coq_8.15.0+dfsg-1.dsc
dce3cc1633d9368bf4ce444e31bc837fa54d7cb186fbee50191dce03361d921d 4669948 coq_8.15.0+dfsg.orig.tar.xz
9f1d0052d4973a1beddf9d2bb2ff5ff4e176d67a451f41ae4e6908962df57e20 39660 coq_8.15.0+dfsg-1.debian.tar.xz
ecad907bb14acc2e7a1a1f9d792796712c0ce7b9ad395fd2d14917fa675c152a 15549 coq_8.15.0+dfsg-1_source.buildinfo
Files:
e264fcdb39e47d8d4bf5a3cd71ceedc7 2607 math optional coq_8.15.0+dfsg-1.dsc
f6d50c68f8defba269e5bb26417c5a25 4669948 math optional coq_8.15.0+dfsg.orig.tar.xz
2fccf55fb354ffc7cfb866935b637d65 39660 math optional coq_8.15.0+dfsg-1.debian.tar.xz
abd5c442bb915588530c90fb567fd76b 15549 math optional coq_8.15.0+dfsg-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmHlgZwSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRUYwQAJZ8MJIVH9c7Q5qfsoQbuNyl5icuRAsX
zWfUyLCDg+wmCx9CPjMIakvca3uONyQ745Gy13nXGCxBC63CdhAbCr0Ac0diGKDq
yKY00jbGiptllFzBUjLX4ryKNjYhbD5yVVGpCLwryZscK95LA5L9lc+VM5+U1Zed
uk0ews/c2K09jLIp9nU/Q74rxdfCdo0oP4e73ZSoaZKfFBiNro/Apk+VJ2IVtZn7
siw5F7P7FeOUM5b/sbtnvsv1QEYcJi9v8pSVZdGzKeOtXTqB0zeFhmSyCDga4tp7
sgPpOhbx5Iny7/T1VUsnJlesN6mYZBiNKKQH38UPaWmzpolbW/9YjJyuggppXj2j
B8rDVvuKu4gkUkWsqc86VIzOxA85k9uwgZtneAaODOFYK7yZ+Oiad4Rk4jl8bWt8
Vw3yEu2gGxPfbolb3ZpTFBQ1O1EM+QYz/Q4B9CgAr+l/MBfngmXmNcosjIMZbrj9
2TPGM124Dlasx/wj61tblNwPT6nepPhNwROMkm+DvFfDPzYAul75MPbP+fOdFy6W
b/MJPShJ3yShK3eQg0DQklvJgPp603cXHf5FvfhMk5863QWHQlNGMvNrNDyquwRS
D6HfELNWvroJB18iufVWIZNDJH3GWBklkyhww28vDPHUoaVIinkFFwwfta8LPDJn
doa13IG/N+Dm
=acz5
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: