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

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 > >

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

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

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

Hi, Le jeudi 16 novembre 2023 à 16:45 +0100, Gianfranco Costamagna a écrit : > Source: coq > Version: 8.17.0+dfsg-1 > Severity: serious > > Hello, > > https://tests.reproducible-builds.org/debian/rb-pkg/unstable/amd64/coq.html > > As said here, there is a build failure due to probably new dune

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

Source: coq Version: 8.17.0+dfsg-1 Severity: serious Hello, https://tests.reproducible-builds.org/debian/rb-pkg/unstable/amd64/coq.html As said here, there is a build failure due to probably new dune or something similar. I can reproduce locally, but not always, looks some concurrency issue