Bug#1038450: patch probably available

Le mercredi 21 juin 2023 à 22:56 +0200, Adrien Nader a écrit : > On Wed, Jun 21, 2023, julien.pu...@gmail.com wrote: > > Le mardi 20 juin 2023 à 22:38 +0200, Adrien Nader a écrit : > > > > > > > > > The patch seems to fix the issue. I say "seem" because the build > > > compiled the file that was

Bug#1038450: patch probably available

On Wed, Jun 21, 2023, julien.pu...@gmail.com wrote: > Le mardi 20 juin 2023 à 22:38 +0200, Adrien Nader a écrit : > > > > > > The patch seems to fix the issue. I say "seem" because the build > > compiled the file that was failing to build but the build is not done > > yet: emulated armhf isn't fa

Bug#1038450: patch probably available

Le mardi 20 juin 2023 à 22:38 +0200, Adrien Nader a écrit : > > > The patch seems to fix the issue. I say "seem" because the build > compiled the file that was failing to build but the build is not done > yet: emulated armhf isn't fast. :) > > But since I reprocued the build failure before, I a

Bug#1038450: patch probably available

On Tue, Jun 20, 2023, julien.pu...@gmail.com wrote: > Hi, > > Le mardi 20 juin 2023 à 15:35 +0200, Adrien Nader a écrit : > > I was looking at the migration for coq on Ubuntu and a build failure > > on armhf is preventing it. > > > > I expect that this issue is fixed by the following commit: > >

Bug#1038450: patch probably available

Hi, Le mardi 20 juin 2023 à 15:35 +0200, Adrien Nader a écrit : > I was looking at the migration for coq on Ubuntu and a build failure > on armhf is preventing it. > > I expect that this issue is fixed by the following commit: >   > https://github.com/UniMath/UniMath/commit/1716c078b00c18dcabf63f

Bug#1038450: patch probably available

Hi, I was looking at the migration for coq on Ubuntu and a build failure on armhf is preventing it. I expect that this issue is fixed by the following commit: https://github.com/UniMath/UniMath/commit/1716c078b00c18dcabf63f671e414d7ba33cb23c Split the proof of associators_equiv to make sur