Bug#1059090: elpi: add build support for loongarch64
Hi,
On Wed, 20 Dec 2023 08:28:45 +0100 Julien Puydt
wrote:
> I would like
to remind you that the compilation dependencies of loong64
> > elpi are not yet satisfied.
> > If you have any questions, you can contact me at any
time.
> >
>
> I guess you're working your way up and you want to remove
future easy
> hurdles already.
Yes, as you said.
> I'll get this out of your way, but notice all Coq packages
are mostly
> blocked since weeks - I'll push the change for elpi on
salsa but won't
> upload before I can get everything in shape, probably not
before january.
>
Thanks for your understanding and help.
Sincerely,
Dandan Zhang
Reply to: