Some packages are failing to build
Hi,
I was looking at https://cuirass.nonguix.org/eval/1479340/dashboard and saw that some packages are failing to build:
compcert: Fails with unsupported coq version because the coq we use is too new. There is already a allow-newer-coq-version
phase but this is based on a coq version that is no longer available.
eduke32: fails with ld: undefined reference to 'startbanner_pixdata'
fury: Same error. -> both fixed: https://cuirass.nonguix.org/eval/1505369
As I am not at all familiar with these packages I don't feel comfortable to try fix them myself.
Edited by Jonathan Brielmaier