Source: coq-doc Version: 8.20.0-1 Severity: important Tags: ftbfs User: debian-ocaml-ma...@lists.debian.org Usertags: ocaml-5.3.0-transition
Dear Maintainer, Your package FTBFS with OCaml 5.3.0 for the following reason: seems unrelated to OCaml A full log is available at: http://ocaml.debian.net/transitions/20250111/ocaml-5.3.0/pool/coq-doc/coq-doc_8.20.0-1+ocaml1_amd64-2025-01-13T07:10:18Z.build A repository with all relevant packages recompiled with OCaml 5.3.0 is available at the following address: http://ocaml.debian.net/transitions/ocaml-5.3.0/ Cheers, -- Stephane
