K 10 svn:author V 8 olivierd K 8 svn:date V 27 2013-09-21T10:00:54.512678Z K 7 svn:log V 128 Remove devpet extension, because of "undefined symbol in backtrace_symbol()" While I'm here Use the new format for LIB_DEPENDS END