Emilio Jesús Gallego Arias (May 18 2020 at 20:27): Emilio Jesús Gallego Arias (May 18 2020 at 20:27):@Enrico Tassi it seems that some change upstream broke Elpi's CI?
Enrico Tassi (May 19 2020 at 07:56):Hum, the makefile was broken, now it is broken in another way... I pushed a hotfix, lets see
Last updated: Dec 07 2023 at 14:02 UTC