Processing commands for [email protected]: > #frama-c (20090601~beta1+dfsg-2) unstable; urgency=low > # > # * Add two patches: > # + Fix weak pattern-matching in dynlink_lower_311_byte.ml, fixes FTBFS > # on non-native architectures. > # 0003-Fix-weak-pattern-matching-in-dynlink_lower_311_byte..patch > # + Fix issuess when linking statically Jessie plugin (Closes: #544404) > # 0004-Add-JCCM-O-X-to-BYTE-OPT-_LIBS-when-linking-statical.patch > # > package frama-c Limiting to bugs with field 'package' containing at least one of 'frama-c' Limit currently set to 'package':'frama-c'
> tags 544404 + pending Bug #544404 [frama-c] Fail to load plugins at startup Added tag(s) pending. > End of message, stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database) -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
