Hi! To answer your question on irc: You get buildd maintainers on $arch@buildd.debian.org -> kfreebsd-amd64@buildd.debian.org. Currently that's me (and maybe still Aurelien). Doxygen "likes" to segfault. I assume the problem is actually doxygen but I think noone did actually debug the problem (yet) unfortunately. Cc-ing -bsd@ -- maybe one of the (other) porters has time right now and wants to look into it. Christoph