It looks like libcorelinux still fails to build:

https://buildd.debian.org/status/package.php?p=libcorelinux

Thanks,
Jeremy Bicha

Reply via email to