Bug#1056062: coq: FTBFS in sid (dune update?)

[julien.puydt@gmail.com]

Hi,

Le mercredi 22 novembre 2023 à 18:48 +0100, Gianfranco Costamagna a
écrit :
> control: tags -1 patch
> 
> Hello, not sure why and how, but this upstream commit
> fbe9e28b667e795a5ceb41bd7784bd2ea7ab10bf
> 
> https://launchpadlibrarian.net/699029680/coq_8.17.0+dfsg-1build4_8.17.0+dfsg-1ubuntu1.diff.gz
> 
> Subject: [PATCH] make-library-index: use mktemp, general cleanup
> 
> This fixes the "sed: can't read tmp" error on my machine, not that I
> understand why it happened.
> 
> Looks fixing the issue
> 

Good: that means the problem will be fixed when I'll be able to upload
8.18.0+dfsg-1 to unstable.

control: fixed -1 8.18.0+dfsg-1

Thanks!

J.Puydt