Hi, I see finzi has kfreebsd-kernel-headers/9.2~8 now. And openjdk-7 is built again on both kfreebsd-* arches, hurrah! (First attempt on kfreebsd-amd64 failed, suggesting a thread-related race to still be aware of). Thanks a lot, Regards, -- Steven Chamberlain steven@pyro.eu.org