Bug#1003586: Fixed in next upstream

To: 1003586@bugs.debian.org
Subject: Bug#1003586: Fixed in next upstream
From: Julien Puydt <julien.puydt@gmail.com>
Date: Mon, 17 Jan 2022 09:11:26 +0100
Message-id: <[🔎] 0bf3d2d04be2c7f513172c623ea6711e57694cd7.camel@gmail.com>
Reply-to: Julien Puydt <julien.puydt@gmail.com>, 1003586@bugs.debian.org
References: <[🔎] 164197364234.868788.14394611714100927946.reportbug@malt.loria.fr>

Hi,

I checked that next upstream (currently at RC1 stage) has a fix for
that ; depending on the schedule of that next upstream, I'll either
adapt the patch for us or wait for it.

Cheers,

J.Puydt

Reply to:

References:
- Bug#1003586: FTBFS with OCaml 4.13.1
  - From: Stéphane Glondu <glondu@debian.org>

Prev by Date: [Git][ocaml-team/coq] Pushed new tag debian/8.14.1+dfsg-2
Next by Date: Processing of coq-elpi_1.11.2-2_source.changes
Previous by thread: Bug#1003586: FTBFS with OCaml 4.13.1
Next by thread: Processed: Bug#1003586 marked as pending in coq
Index(es):
- Date
- Thread