On Tue, Jan 29, 2019 at 04:42:09PM +0100, Paolo Greppi wrote: > chai 4.2 has landed in testing, and all tests pass. > can this be closed now ? AFAIK, yes (unless there is yet another different version in experimental of either this package or a build-dependency, which I have not tested). Thanks.