Binary package “libmudflap0-4.4-dev” in ubuntu precise

GCC mudflap support libraries (development files)

 The libmudflap libraries are used by GCC for instrumenting pointer and array
 dereferencing operations.
 .
 This package contains the headers and the static libraries.