Actually we still have a couple of build failures, some test failures, and the commit messages are not conformant to the policy. Currently making the few remainig failures work should be the primary task. I will check the details. I already have an integration branch where I reorder commits and make commit messages conform. It would also be nice, if you could review the patches already sent to guix-patches. They are tagged [PATCH core-updates]. I guess we are waiting for the next core-updates cycle, until then these will not be pushed. These are the backwards compatible changes collected so far. Soon I will add the fix for the antlr3 bootstrap toolchain. Current issues: https://github.com/Boskovits/guix/issues/61 I'm will contact upstream to check if this issue is serious. Will cc to you. https://github.com/Boskovits/guix/issues/58 I will have a look at this once more. I've already solved two similar issues, I guess I can cope with this. https://github.com/Boskovits/guix/issues/57 I'm not sure about this one. I can try to check upstream if this is a problem on their site, but it seems not. It seems that some zeromq calls fail. Can this be related to our build container? https://github.com/Boskovits/guix/issues/56 I haven't looked into this one yet. https://github.com/Boskovits/guix/issues/55 I intend to remove this package if axoloti-patcher works with the current version. I did not do this yet, because the java-simple-xml issue also blocks axoloti-patcher, so I could not check yet if the current version is ok. The remaining five issues are the packages from the covering of icedtea7 that do not build. The rest does build. I don't know if we have any more issues between the marked problems and these five packages. > -- > Chris >