Control: tag -1 pending Hello,
Bug #1128189 in coq reported by you has been fixed in the Git repository and is awaiting an upload. You can see the commit message below and you can check the diff of the fix at: https://salsa.debian.org/ocaml-team/coq/-/commit/c7afde82030fde633c1eb7d981d866cd9e110b06 ------------------------------------------------------------------------ Fix non-native platform compilation thanks John Paul Adrian Glaubitz (Closes: #1128189) ------------------------------------------------------------------------ (this message was generated automatically) -- Greetings https://bugs.debian.org/1128189
