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