Source: coq
Version: 8.14.1+dfsg-1
Severity: important
Tags: ftbfs
User: debian-ocaml-ma...@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
