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
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
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
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:
> >
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:
>
>
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
6 matches
Mail list logo
